Converted highlighting to Solarized