Use modified solarized theme.