change color scheme to solarized