changed to solarized themes