Mein Browser ist so eingestellt, daß er normalerweise eine für mich akzeptable Schriftgröße bringt
Dann hast du das deinem Browser offenbar nur unzureichend klarzumachen versucht, denn ein !important; im UserStyleSheet hätte meine 12px wohl ignoriert...
Guter Witz. Es ist dir als technischem Meistergenie vielleicht noch nicht aufgefallen (oder es ist dir zu primitiv, nur für den niederen Pöbel gedacht), aber es gibt in den Browsereinstellungen die sehr leicht zu erreichende Möglichkeit, die Normalschriftgröße anzupassen.
Anstatt dem Benutzer diese Möglichkeit offen zu lassen und einfach besagte Normalschriftgröße auf deinen Seiten nicht zu verändern, zu verlangen, daß Otto Normaluser außer in besagten Einstellungen noch irgendwelche Stylesheets zusammenpfriemelt, ist arrogant.
Aber wie ich schon sagte: Ich muß mir den Quark ja nicht anschauen.