change color theme to solarized