solarized is now the default