Tag miteinander,
bei mir zeigen sämtliche Änderungen an der Datei "userChrome" keine Wirkung am Browserverhalten...
Beispiel:
menu[label="Hilfe"] { display: none !important; }
Der Eintrag bewirkt gar nichts, auch nicht in anderer Form. label="Help" nützt auch nix, die Einträge in der user.dtd sind ja auch in deutsch, da ich die deutsche Version habe.
Ebenso ist es mit allen anderen Einträgen, die Datei ist im Pfad /defaults/profile/chrome zusammen mit der "userContent".
Version 0.93.
Vielen Dank für Hilfe!
Grüße
r1d1
P.S.:
Auch in exakt kopierter Form geht's nicht:
/* Menü "Extensions" ausblenden */
menu[label="Extensions"]{
display: none !important;
}