use solarized-dark-theme