switch to dark solarized