Change color theme to solarized-dark, and disable cabbage-theme