tweaking dark solarized theme