DotSize

Diameter of the dot shown after a tab label.