var prefsLoaded = false;
var fontsize = 13;  // default-value

function start_setfont() {
	var cookie = readCookie("fontSize");
	if ( cookie ) fontsize = cookie;
	setsize(fontsize);
}

function textSize(dec) {
	if ( dec ) fontsize--;
        else fontsize++;
        fontsize = Math.max(9,Math.min(fontsize,18));
        setsize(fontsize);
}

function setsize(fontsize){
	var headsize = parseInt(fontsize)+2;
        var elem;

	if ( typeof(document.getElementById)=="function" ) {

		if ( elem=document.getElementById("text_normal") )
			elem.style.fontSize=String(fontsize)+"px";
		if ( elem=document.getElementById("einleitung") )
			elem.style.fontSize=String(fontsize)+"px";
		if ( elem=document.getElementById("ueberschrift") )
			elem.style.fontSize=String(headsize)+"px";

        	    for( var i=1; i< 11; i++ ) {

			if ( elem=document.getElementById("text_normal"+i) )
				elem.style.fontSize=String(fontsize)+"px";
			if ( elem=document.getElementById("einleitung"+i) )
				elem.style.fontSize=String(fontsize)+"px";
			if ( elem=document.getElementById("ueberschrift"+i) )
				elem.style.fontSize=String(headsize)+"px";
	            }

        } else if ( document.all ) {

		if ( elem=document.all.text_normal )
			elem.style.fontSize = String(fontsize)+"px";
		if ( elem=document.all.einleitung )
			elem.style.fontSize = String(fontsize)+"px";
		if ( elem=document.all.ueberschrift )
			elem.style.fontSize = String(headsize)+"px";

	}
	saveCookie(fontsize);
}




function readCookie(name) {
  var nameEQ = name + "=";
  var ca = document.cookie.split(';');
  for( var i=0; i<ca.length; i++ ) {
     var c = ca[i];
     while( c.charAt(0)==' ' ) 
         c = c.substring(1,c.length);
     if ( c.indexOf(nameEQ)==0 ) 
         return( c.substring(nameEQ.length,c.length) );
  }
  return null;
}

function saveCookie(sizeForCookie){
     createCookie("fontSize", sizeForCookie, 365);
}

function createCookie(name,value,days) {
  if (days) {
    var date = new Date();
    date.setTime(date.getTime()+(days*24*60*60*1000));
    var expires = "; expires="+date.toGMTString();
  }
  else expires = "";
  document.cookie = name+"="+value+expires+"; path=/";
}