/* Schriftgroessen-Aenderung Start */

/* Checkt ob cookie mit Schriftgroesse gesetzt ist. 
Wenn ja, aufruf von fontsizing mit entspr. Wert. des cookies */
function checkFont() {
	if (document.cookie) {
		var schriftgr = holeCookie("dommainfont");
		if ((isNaN(schriftgr) != true) && (schriftgr != null)) {			
			schriftgr = Math.round(schriftgr);
			size = schriftgr;
			fontSizing(schriftgr);
		}
	}	
}	

function larger() {
		size = size + 10;
		if (size > 93) {size = 92.5;}
		fontSizing(size);
}

function smaller() {
		size = size - 10;
		if (size < 50) {size = 50;}
		fontSizing(size);
}
var size = 62.5;
		
		
/* Schriftgroesse wird uebergeben und angepasst. 	
Setzt den Wert vom cookie oder aktuelle einstellung.*/
function fontSizing(groesse){
	document.body.style.fontSize = groesse + "%";
	size = groesse; // muss angepasst werden da sonst nach aufruf -normal- die groesse springt
	setzeCookie(groesse);
}


function setzeCookie(wert) {
	document.cookie = "dommainfont=" + escape (wert) + "; path=/";
}


function holeCookie(name) {
	name += "=";
	var laenge = name.length; /*laenge des cockienamens. also nur dommainfont= */
	var cookie_laenge = document.cookie.length; /*laenge des kompletten cookies. also name + wert */
	var i = 0;	
	while (i < cookie_laenge) {
		var j = i + laenge;
		if (document.cookie.substring(i, j) == name) {	
			return holeCookieWert (j);						
			}
		i = document.cookie.indexOf(" ", i) + 1;
		if (i == 0) break;
	}
	return null;
}


function holeCookieWert(position) {
	var ende = document.cookie.indexOf (";", position);
	if (ende == -1) {
		ende = document.cookie.length; 
		}
	return unescape(document.cookie.substring(position, ende));
}
/* Schriftgroessen-Aenderung Ende */


/* Subnavigation start */
var lastdiv = "";
var woher;
var globalsubnavtimeout;
  
function showDropdown (woher) {  
 hideDropdown();
 lastdiv = woher;
 document.getElementById(woher).style.visibility = "visible";       
 document.getElementById("schriftgroesse").style.visibility = "hidden";   
 
}
function hideDropdown() { 
 if (lastdiv != "") { 
  document.getElementById(lastdiv).style.visibility = "hidden";  
  document.getElementById("schriftgroesse").style.visibility = "visible";  
  }
}    
 
function mainout() {
 globalsubnavtimeout = setTimeout("hideDropdown()",1000);
} 
function subtimeout () {
 clearTimeout(globalsubnavtimeout);
}
if (hideDropdown) document.onmouseup = hideDropdown;
/* Subnavigation ende */