function resizefonts () {
	 var fMax = document.getElementById("big-font");

	 var fSize = 1.2;
 
	 var body = document.getElementsByTagName("body")[0];
	 body.style.fontSize = "1.2em";
 
}

if (window.addEventListener) {
	window.addEventListener("load", resizefonts, false);
}
else if (window.attachEvent) {
	window.attachEvent("onload", resizefonts);
}