changed to solarized theme