// CHANGE STYLESHEET per JScript:

//Initialize Fontsize:            
if (readCookie('Fontsize') != null){
  document.getElementById("mystylesheet").href = readCookie('Fontsize');
}

//Get Servername
function getDomain(){
  var href = document.location.href;
  servername = href.substring(href.indexOf('//')+2, href.length);
  servername = servername.substring(0, servername.indexOf('/'));
  
  return servername;
}


function setstylesize(what){
  currenthref = document.getElementById("mystylesheet").href;
    
  if (what == 'normal'){
    document.getElementById("mystylesheet").href="/custom/css/screen.css";
    setCookie('Fontsize','/custom/css/screen.css'); 
  }
  if (what == 'big'){
    document.getElementById("mystylesheet").href="/custom/css/screen_gross.css";
    setCookie('Fontsize','/custom/css/screen_gross.css');
  }
  if (what == 'bigger'){
    document.getElementById("mystylesheet").href="/custom/css/screen_groesser.css";
    setCookie('Fontsize','/custom/css/screen_groesser.css');
  }
}


function setCookie(name, value){
   //Um ein "globales" Cookie zu setzen, das Ÿber alle seiten gŸltig ist, muss der rootpath angegeben werden !!
   document.cookie = name+"="+value+"; path=/; domain=" + getDomain();
}


function readCookie(name) {
   var keks = document.cookie;
   //alert(keks);

   // Anfangsposition des Name=Wert-Paars suchen
   var posName = keks.indexOf("; " + name + "=");
   if (posName == -1) {
      // vielleicht war's der erste Name in der Liste?
      if (keks.indexOf(name + "=") == 0) posName = 0;
      // nein? dann abbrechen mit RŸckgabewert null
      else return null;
   }

   // Anfangs- und Endposition des KrŸmelwerts suchen
   var wertAnfang = keks.indexOf("=", posName)+1;
   var wertEnde = keks.indexOf(";", posName+1);
   if (wertEnde == -1) wertEnde = keks.length;

   // KrŸmelwert auslesen und zurŸckgeben
   var wert = keks.substring(wertAnfang, wertEnde);
   return unescape(wert);
}