changed color scheme to solarized