I added a new property CaptionHeight to the TabAppearance. It is automatically determined by the height of the TabHeaderFont when CaptionHeight is at its default value, -1. Otherwise the tab height is set to this pixel value (no high-dpi scaling of this value done yet). The height of the total toolbar adapts automatically.