changed theme to solarized