Change theme to Solarized