tweaked theme for solarized.