wird in der userChrome.css nicht unterstützt und daher musst du den Selektor global ansprechen
Danke, BrokenHeart, für deine Hinweise dazu. Dann muss ich mich notgedrungen den Gegebenheiten anpassen, ist ja kein Beinbruch.
Mit dem Script (nutze ich auch) wäre dann ja eine Möglichkeit, aber da enden dann meine bescheidenen Kenntnisse, um das in den Griff zu bekommen.