updated colors for gnome-terminal