Change to solarized-dark as the default theme