Included package color-theme-solarized.