Ersteinmal vielen Danke für die Antworten.
Die Sache mit den auswählbaren Alternativ-Stylesheets übers Browser-Menü würde zwar genau das bewerkstelligen, was ich möchte, aber wie schon gesagt wurde, geht das nur mit "vernünftigen" Browsern. Zudem wissen die meisten User nicht einmal, dass es eine solche Möglichkeit gibt bzw. sie nehmen sie nur selten wahr.
Auch den Download der FF-Extension kann ich dem User nicht vorschreiben.
Also bleibt nichts weiteres übrig, als mein Anliegen durch JS (oder PHP) zu realisieren, nicht?
Folgendes script schwebt mir vor: http://css.fractatulum.net/sample/wechsel.htm
aber ist wirklich soviel JavaScript nötig, nur um die Schriftfarbe zu ändern oder kennt jemand ein schlichteres script?
Danke bis hierhin und in dem Sinne,
Ser4phiM