Set solarized-dark theme as default theme