change theme back to solarized