Made solarized default theme again.