Use solarized dark color scheme