use solarized dark as default