Moving from solarized to gotham color theme