// Erreigniswaechter einstellen: Nach dem Laden der Seite die Funktion pruefeSchriftgroesse() aufrufen
if (typeof window.addEventListener != 'undefined') window.addEventListener('load', pruefeSchriftgroesse, false);  
else if (typeof document.addEventListener != 'undefined') document.addEventListener('load', pruefeSchriftgroesse, false);
else if (typeof window.attachEvent != 'undefined') window.attachEvent('onload', pruefeSchriftgroesse);





// 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++;
     } 
   }
     
  if (wert) aendereSchriftgroesse(wert); 
 }



  

// Wechsel der Schriftgroesse im Layout / Speichern der gewaehlten Schriftgroesse via Cookie
function aendereSchriftgroesse(wert)
 {
  if (document.getElementById) 
   {
    document.body.style.fontSize = wert + "%"; // + ".01%";
    
	// 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" + "=" + wert + "; expires=" + verfallsDatum.toGMTString() + ";";
     } 
   }	
 }