Change theme back to solarized