switch to solarized dark theme