solarized theme: TODO: remove color-there