making solarized the default theme