use color-theme-solarized