changing theme to solarized