Another tweak of the Solarized theme.