// Cookie Variablen
myname = "Schrift";
myvalue = "10pt";
var zeit=1000*60*60*24*365; // 1 Jahr gueltig
myexpires = new Date();
myexpires.setTime(myexpires.getTime()+zeit);
mypath = "/";
mydomain = location.host;
mysecure = false;

function getCookie(name) {  
 var dc = document.cookie;  
 var prefix = name + "=";  
 var begin = dc.indexOf("; " + prefix);  
 if (begin == -1) {    
  begin = dc.indexOf(prefix);
  if (begin != 0) return null;
 } else begin += 2;  
  var end = document.cookie.indexOf(";", begin);  
  if (end == -1) end = dc.length;  
  return unescape(dc.substring(begin + prefix.length, end));
}

function setCookie (name, value, expires, path, domain, secure) {  
 var curCookie = name + "=" + escape(value) +      
                 ((expires) ? "; expires=" + expires.toGMTString() : "") +      
                 ((path) ? "; path=" + path : "") +     
                 ((domain) ? "; domain=" + domain : "") +  
                 ((secure) ? "; secure" : "");
 document.cookie = curCookie;  
}

function WriteCookie() {
 var myvalue = document.getElementById("myBody").style.fontSize;
 setCookie (myname, myvalue, myexpires, mypath, mydomain, mysecure);
}

function InitFont() {
 var values = getCookie(myname);
 if (values != null ) {
  myvalue = values;
 } else {
  myvalue = "10pt";
 }
 document.getElementById("myBody").style.fontSize = myvalue;
}
function smaller() {
 var p = parseInt(document.getElementById("myBody").style.fontSize);
 p -= 2;
 document.getElementById("myBody").style.fontSize = p.toString() + 'pt';
}
function larger() {
 var p = parseInt(document.getElementById("myBody").style.fontSize);
 p += 2;
 document.getElementById("myBody").style.fontSize = p.toString() + 'pt';
}