Tab-Widget-Header: etwas weniger Padding