Better options for the solarized theme