Ich hatte vorher die flexiblen Leerräume dazu missbraucht (siehe Beitrag #12 dieses Threads).
Habe den Code erst dann aus der userChrome.css entfernt, nachdem ich das "space_and_separator_restorer.uc.js" Script installiert hatte und das wie gewünscht funktionierte.
Vielleicht ist das der Grund. Muss ich mal probieren ...