Customization of the gnome terminal's tabs style