Switch default theme to solarized dark.