Use different solarized theme.