trying solarized dark theme