
var document_body = (document.compatMode && document.compatMode != 'BackCompat')? document.documentElement : document.body? document.body : null;
var fontsize = 100.01;

function setCookie(name, wert, domain, expires, path, secure)
{
   var cook = name+'='+unescape(wert);
   cook += (domain) ? "; domain="+ domain : "";
   cook += (expires) ? "; expires="+expires : "";
   cook += (path) ? "; path="+path : "";
   cook += (secure) ? "; secure" : "";
   document.cookie = cook;
}

function schriftgroesse(size) 
{
  if (navigator.cookieEnabled) 
  {
    var cookie, pair;
    var cookies = document.cookie.split(';');
    var len = cookies.length;
    var set_cookie = true;

    for(var i=0; i < len; i++) 
	{
      cookie = cookies[i];
      while (cookie.charAt(0)==' ') cookie = cookie.substring(1, cookie.length);
      pair = cookie.split('=');

      if ((pair[0] == 'fontsizeR') || (pair[0] == 'fontsize')) 
	  {
        fontsize = pair[1];
        break;
      }
    }

    if (size == 'reset') 
	{
      fontsize = 100.01;
    } 
	else 
	if (size == '') 
	
	{
      set_cookie = false;
    } 
	else 
	{
      fontsize = (fontsize*1.0 + size*1.0);
    }
   
    var html = document.getElementsByTagName('html')[0];
	
	if(fontsize>100&&fontsize<151)
	{
    html.style.fontSize = (fontsize + '%');
	}
	else 
	{
      set_cookie = false;
    } 
	
    if (set_cookie) 
	{
      setCookie('fontsize', fontsize, null, null, '/', null);
        expires = new Date();
        next_year = expires.getTime() + (60*60*24*365);
        expires.setTime(next_year);
      setCookie('fontsizeR', fontsize, null, expires.toGMTString(), '/', null);
    }
  }
}

	function einblenden(){document.getElementById('plan').style.display='block';
	document.getElementById('einblenden').style.display='none';
	document.getElementById('ausblenden').style.display='block';}
	
	function ausblenden(){document.getElementById('plan').style.display='none';
	document.getElementById('einblenden').style.display='block';
	document.getElementById('ausblenden').style.display='none';}