reintroduce solarized color theme by default.