Use Solarized as default theme