Customization of the gnome terminal tabs style