add color-theme-solarized