Change color theme to solarized