/**
 * Schriftgrad ändern | Judo-Hallein Version 1.0.1
 */

		var fontinit = 24;
		var amount = 12;
		function textSize(dec) {
			if(dec == 1) fontsize=fontinit+amount;
			if(dec == 0) fontsize=fontinit-amount;
document.getElementById("content01").style.fontSize=fontsize+"px";
		}
		
		function doZoom(size){
	var o=document.getElementById("newsContent1").className="newsContent"+size;
	var u=document.getElementById("newsContent2").className="newsContent"+size;
}