Tool tips

There are tips displayed when the mouse is placed on elements, such as a service, the logos of the tab, the close icon of the tab, and the icons of the widget.