n'abend,

Also ist dieser Versuch eines Workarounds rein für Safari gedacht?

Korrekt. In den anderen - gängigen - Browsern tut der tabManager wie er soll. Das Problem - und dessen Lösung - sind rein safarischer Natur.

Ja, das dachte ich mir.
Sofern Safari computedStyle/currentStyle o.ä. unterstützt, könnte man die jeweiligen Werte dynamisch auslesen ... aber auch nicht sonderlich schön, bzw. frickelig.

Eine "schöne" Lösung des Problems wird es wohl sowieso nicht geben. Workarounds sind per Definition "unschön".
Du sprichst hier von computedStyle / currentStyle, von denen ich bislang noch nichts gehört habe. Werde mich mal auf die Suche machen. Wenn dennoch nützliche Links in deiner Sammlung rumschwirren, werde ich mich nicht beschweren, wenn du diese mit mir teilst ;)

weiterhin schönen abend...