default theme to solarized