Make solarized the default theme.