gnome_terminal: updated colours