change default theme to solarized dark