Change to lighter syntax color theme for better printing.