Default to solarized dark theme.