// Farbwahl mit Javascript und Cookies

 /* 
 JS-Datei für die HTML-Datei 'index.htm' (= Startseite),
 die nur das Cookie auslesen und den
 CSS-Pfad ermitteln soll
 */

 // Arrays mit Bezeichnungen für die CSS-Dateien
 // Größe entspr. der Anzahl-Css-Dateien anpassen!!!
 var stylesheet = new Array(8);
 var bezeichnung = new Array(8);

  stylesheet[0] = "style01.css";
  bezeichnung[0] = "Standard-Farbstil";
  stylesheet[1] = "style02.css";
  bezeichnung[1] = "weiß Schrift: schwarz";
  stylesheet[2] = "style03.css";
  bezeichnung[2] = "schwarz Schrift: weiß";
  stylesheet[3] = "style04.css";
  bezeichnung[3] = "dunkelrot Schrift: weiß";
  stylesheet[4] = "style05.css";
  bezeichnung[4] = "weiß Schrift: dunkelblau";
  stylesheet[5] = "style06.css";
  bezeichnung[5] = "gelb Schrift: dunkelblau";
  stylesheet[6] = "style07.css";
  bezeichnung[6] = "dunkelblau Schrift: gelb";
  stylesheet[7] = "style08.css";
  bezeichnung[7] = "Systemfarben";


 // CSS-Datei aus Cookie ermitteln:
 if(document.cookie)
 {
  var cssdatei = document.cookie;
  // alert(cssdatei);
 }
 else // Standard-CSS-Datei einbinden, falls kein Cookie
 {
  var cssdatei = "style01.css";
 }
 // Link auf CSS-Datei ins Dokument schreiben
 document.writeln('<link rel="stylesheet" href="./css/'+cssdatei+'" type="text/css">');


 // Name der CSS-Datei im Cookie speichern 
 function setzeCSSDatei()
 {
  document.cookie = document.farbwahl.cssdatei.value;
 }


 // Gewählte CSS-Datei im Formular vorbelegen
 function setzeFarbwahlOption() 
 {
  if(document.cookie) 
  {
   var cssdatei = document.cookie;
   for(var i = 0; i < stylesheet.length; i++)
   {
    if(cssdatei == stylesheet[i])
     document.farbwahl.cssdatei.options[i].selected = true;
   }
  }
  else
  {
   document.farbwahl.cssdatei.options[0].selected = true;
  }
 }


 // Dokument neu laden und gewählte CSS-Datei in Cookie aktualisieren
 function setzeNeueFarben() 
 {
  document.location.reload();
  setzeCSSDatei();
 }