Use solarized dark as new theme