Hallo Matthias,
resource://gre-resources/html.css
Ok, sehr interessant, kannte ich noch nicht. Es gibt also doch so etwas wie ein User-Agent-Stylesheet.
Kann man diese "Datei" auch editieren? Hab eben mal nachgeschaut, scheint nicht als einzelne Datei vorzuliegen, sondern befindet sich offenbar in einer Container-Datei.
Gruß - Michael Sy.