Ist Number Formatting mit CSS möglich?

[Auge]

Hallo

Aber damit "gewinnt" wieder die vom Seitenautor für die jeweilige Sprache präferierte Notation, und nicht die vom Nutzer in seinem locale festgelegte. Wo bleibt da wieder der Wille des Endanwenders?

in seinem user.css

nope. Auch wenn wir hier nur über hypothetische Geschichten diskutieren: Warum sollte ich Dinge, die ich schon systemweit festgelegt habe, in der Konfiguration einzelner Anwendungen (hier: Browser) nochmal wiederholen? Das passt nicht ins DRY-Prinzip.
Applikationen haben sich an systemweite Festlegungen zu halten, auch ohne dass man es jeder einzelnen Applikation extra vorbetet.

Wer bitte ändert sein Browserstylesheet oder legt sich ein explizites user.css? Es wäre aber überhaupt kein Problem, den Browser diese Angabe vom System übernehmen, quasi erben zu lassen.

Tschö, Auge