color theme changed; solarized