solarized as default theme