Make solarized-dark the default theme again.