Use solarized dark.