solarized dark theme for st