Danke, mit dieser Änderung klappt es. Ich habe jetzt auch herausgefunden warum es im alten Profil ging und in den neuen nicht: im alten Profil war dieser Eintrag unter about:config schon auf false. Da muss ich den wohl irgendwann mal geändert haben, ohne, wie sonst bei mir üblich, diese Änderung dokumentiert zu haben.
Nein, der Code war schon in der userContent.css.
Danke euch beiden.