/*******************************************************************************
	This JS was built by O.R.
	Dieses JS wurde erstellt von O.R.
    Version 0.1.1
	
	+++ Beschreibung der Funktionsweise +++
	
	Die folgende Funktion styleWechsel () veraendert die 
	Schriftgroesse der beiden DIV-Bereich ("kopf" und "inhalt"),
	je nach dem welche gewuenschte Anzeigegroesse der Anwender 
	im select-Feld ausgewaehlt hat. 
	Die aktuelle Auswahl (Schriftgroesse in Prozent) wird
	anschliessend in einem Cookie gespeichert.
	
	Die Funktion pruefeSchriftgroesse () wird bei jedem Laden
	der Seite geladen und prueft, ob das Cookie bereits einen
	Wert, also eine ausgewaehlte Schriftgroesse enthaelt und
	aendert in diesem Fall umgehend die Groesse der Schrift
	im Layout. 
	
 
    document.getElementById("kopf").style.fontSize = WERT; 
    ... diese Anweisung aendert die CSS-Beschreibung fuer 
	die Schriftgroesse
	
********************************************************************************/



// Pruefen, ob bereits ein Cookie mit einem Wert fuer die Schriftgroesse vorhanden ist
function pruefeSchriftgroesse()
 {
  
  // ... falls ein Cookie vorhanden ist ... 
  if(document.cookie) 
   {
  
  
  
    // Wert fuer die Schriftgroesse aus dem Cookie auslesen
    var i = 0; 
    var bezeichner = "schrift" + "=";
    
    while (i < document.cookie.length) 
     {
      if (document.cookie.substring(i, i + bezeichner.length) == bezeichner) 
       {
         var wertEnde = document.cookie.indexOf(";", i + bezeichner.length);
         wertEnde = (wertEnde > -1) ? wertEnde : document.cookie.length;
         var wert = document.cookie.substring(i + bezeichner.length, wertEnde);
         wert = unescape(wert);
       }
      i++;
     } 
   }
        
    var schriftgroesse = wert;
    

    // Falls ein ungueltiger Wert aus dem Cookie gelesen wurde, soll ein Standardwert genutzt werden    
    if ( (schriftgroesse != "10px") && (schriftgroesse != "12px") && (schriftgroesse != "14px") )
     {
      schriftgroesse = "12px";
     }

     
    // ... das eigentliche Aendern der Schriftgroesse 
    document.getElementById("kopf_mitte_links").style.fontSize = schriftgroesse; 
    document.getElementById("koerper_container").style.fontSize = schriftgroesse;
    
   }





// Wechsel der Schriftgroesse im Layout / Speichern der gewaehlten Schriftgroesse via Cookie
function styleWechsel(selIndex)
 {
  
  if (document.getElementById) 
   {
    
    var docHead = document.getElementById("kopf_mitte_links"); 
    var docBody = document.getElementById("koerper_container");  
    var schriftgroesse = "12px"; 
     
    switch (selIndex) 
     {
      // kleine Schriftgroesse
	  case 0:
	   {
	    schriftgroesse = "10px";
		docHead.style.fontSize = "9px";
		docBody.style.fontSize = "10px";
		break; 
	   }
	  // normale Schriftgroesse 	
	  case 1:
	   {
	    schriftgroesse = "12px";
		docHead.style.fontSize = "11px";
		docBody.style.fontSize = "12px";
		break; 
	   }
	  // grosse Schriftgroesse 
	  case 2:
	   {
	    schriftgroesse = "14px";
		docHead.style.fontSize = "13px";
		docBody.style.fontSize = "14px";
		break; 
	   }
	  // ... sonst 
	  default:
       {
	    schriftgroesse = "12px";
		docHead.style.fontSize = "11px";
		docBody.style.fontSize = "12px";
		break;  	   	   	   	   
	   }	   
	 }
	
	 // wenn Cookies im Browser aktiviert sind 
	 if (navigator.cookieEnabled == true)
	  {
       var cookieLebensdauer = 1000 * 60 * 60; // * 24 * 365;
       var aktuellesDatum = new Date();
       var verfallsDatum = new Date(aktuellesDatum.getTime() + cookieLebensdauer);	
     
       // Schreiben des Wertes fuer die Schriftgroesse in den Cookie
       document.cookie = "schrift" + "=" + schriftgroesse + "; expires=" + verfallsDatum.toGMTString() + ";";
   	  }
   	  
   }	
 }