Theme is changed to solarized