function setFontSize(groesse) {
	var myFontSize;
	if (groesse == 1) {
		myFontSize = '8.5pt';
		myLineHeight = '13pt';
	}
	if (groesse == 2) { 
		myFontSize = '9.5pt';
		myLineHeight = '14pt';
	}
	if (groesse == 3) { 
		myFontSize = '11pt';
		myLineHeight = '16pt';
	}
	document.getElementById("content").style.fontSize = myFontSize;
	document.getElementById("content").style.lineHeight = myLineHeight;
}