use solarized-dark as default theme