changing color scheme to solarized