switch theme to solarized