Change to use solarized-dark theme.