updated theme back to solarized