Set solarized-dark as default theme