Always use the solarized dark theme