changed gnome profile to Solarized.