Hallo Armin,

Dafuer ist es schwieriger in Mozilla eigene Stylesheets einzubinden, Otto
Normalsurfer wird wohl kaum mit prefs.js und aehnlichen Sachen rumspielen.
Bevor er die findet hat er die Optionen im IE schon zig mal gefunden...

Ja, das bedauer ich als "Poweruser" an Mozilla. Dem Normalbenutzer diverse Einstellmöglichkeiten eines Benutzerstylesheets über benutzerfreundliche Menüs zu bieten, halte ich dagegen für einen enormen Vorteil.

• Tim