Hallo Salokin!
Vielen Dank für die Antwort.
Muß zugeben, daß ich noch nicht so viel Erfahrung mit JS habe, deswegen noch eine Frage: Wie schreibe ich die link-Elemente gezielt in die Datei, ohne alles andere zu überschreiben (document.write ist es ja wohl nicht)?
Also habe ich das richtig verstanden: man schreibt jedesmal alle Style-Links, nur das gewünschte erhält kein "alternate"? (Denn die Möglichkeit, über das Mozilla-Menu Ansicht den Style auszuwählen, soll ja erhalten bleiben.)
Die Nichtausführung von ...disabled... kann man nicht beeinflussen? Habe schon versucht, die ganze Prozedur in start() einzubauen - nützt auch nichts.
Das mit dem Anfügen des Fensternamens statt Überschreiben ist wohl kein Problem - ich nehme an, bei onUnload restauriert man wieder den ursprünglichen Namen.
Gruß
Peter
(Das Konzept Deiner Seite finde ich sehr originell.)