// Java Document
// Variante 1

function schriftgradSt(x) {
	if(document.getElementById) {
		document.getElementById("textSt").style.fontSize=x;
	}
}


// Variante 2
function schriftgrad2(x) {
	if(document.getElementsByTagName) {
		for(i=0;i<document.getElementsByTagName("p").length;i++) {
			document.getElementsByTagName("p")[i].style.fontSize=x;	
		}
	}
}