function schriftgroesse(){
	for(i=0; i<document.getElementsByTagName("a").length; i++){
		if(document.getElementsByTagName("a")[i].href.search("mailto")==-1){
			if(document.getElementsByTagName("a")[i].href.search("javascript")==-1){
				if(document.getElementsByTagName("a")[i].href.search("=")==-1){
					document.getElementsByTagName("a")[i].href=document.getElementsByTagName("a")[i].href+"?fontgroesse="+fontgroesse;
				}
				else{
					if(document.getElementsByTagName("a")[i].href.search("fontgroesse")==-1){
						document.getElementsByTagName("a")[i].href=document.getElementsByTagName("a")[i].href+"&fontgroesse="+fontgroesse;
					}
					else{
						document.getElementsByTagName("a")[i].href=document.getElementsByTagName("a")[i].href.replace(/fontgroesse.+px/, "fontgroesse="+fontgroesse);
					}
				}
			}
		}
	}
	document.body.style.fontSize=fontgroesse;
}


function schriftgroesse_aendern(groesse){
	if(parseInt(fontgroesse)==11 && groesse==-1){
		groesse=0;
	}
	if(parseInt(fontgroesse)>17 && groesse==1){
		groesse=0;
	}
	fontgroesse=parseInt(fontgroesse)+groesse+"px";
	schriftgroesse();
	if(groesse>0){
		//scrollerdev();
	}
}


// Die Funktion "schriftgroesse_aendern()" muss entweder mit 1 oder -1 aufgerufen werden.