Switch theme to solarized.