some Solarized settings