Add solarized theme (but don't use)