using solarized-light as default theme