Change default theme to Solarized