Change theme to solarized