Change theme to solarized.