Using the solarized theme.