change default theme to solarized-dark