use the Solarized theme