/**
* fontSizer vergroessert/verkleinert font size
*/
function fontSizer(elmName, fontSize, aktiviere, disable) {

	elm = document.getElementById(elmName);
	knotenpunkt = 'P';
	
	if(elm.nodeName == knotenpunkt)
		elm.style.fontSize = fontSize + "px";
		
	objects = elm.getElementsByTagName(knotenpunkt);
	for (i= 0;i < objects.length; i++) objects[i].style.fontSize = fontSize + "px";
	
	if(aktiviere) $(disable).style.display = "none";
	if(disable) $(aktiviere).style.display = "block";
}