ça marche avec le userChrome.css J'avais juste pas fait les choses comme il faut
Pour ceux que ça intéresserait (sait-on jamais...) il faut spécifier la taille de la police ET lui dire d'abord à quoi ça doit s'appliquer (ce que je n'avais pas fait espérant qu'il l'appliquerait à toute l'interface, mais du coup il s'en fichait)
Bref, en l'occurence, j'ai rajouté

et il est content comme ça (moi aussi, donc youpie )

Maintenant, savoir pourquoi le passage à FF 2.0 m'avait changé la taille des caractères, ça...