changing color theme to solarized