changing the theme to solarized-dark