Use the solarized dark color scheme