function schriftgroesse(){	if(top.location.href==document.location.href){		for(i=0; i<document.getElementsByTagName("a").length; i++){			if(document.getElementsByTagName("a")[i].href!="" && document.getElementsByTagName("a")[i].href.search("javascript")==-1 && document.getElementsByTagName("a")[i].href.search("mailto")==-1 && document.getElementsByTagName("a")[i].target!="_blank"){				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.getElementsByTagName("a")[i].setAttribute("onfocus", "this.blur()");		}		document.body.style.fontSize=fontgroesse;	}}function schriftgroesse_aendern(groesse){	if(parseInt(fontgroesse)==11 && groesse==-1){		groesse=0;	}	if(parseInt(fontgroesse)>13 && groesse==1){		groesse=0;	}	fontgroesse=parseInt(fontgroesse)+groesse+"px";	schriftgroesse();}// Die Funktion "schriftgroesse_aendern()" muss entweder mit 1 oder -1 aufgerufen werden.
