Changed theme to solarized