function resizefonts () {
 	var fNormal = document.getElementById("normal-size");
	 var fBig = document.getElementById("big-size");
	 var fBigger = document.getElementById("bigger-size");
	 var fSize = 1.2;
 
	 var body = document.getElementsByTagName("body")[0];
	 body.style.fontSize = "1.2em";
 
	 fNormal.onclick = function (){
		  body.style.fontSize = "1.2em";
		  return false;
	 }
	 fBig.onclick = function (){
		  body.style.fontSize = "1.4em";
		  return false;
	 }
	 fBigger.onclick = function (){
		  body.style.fontSize = "1.6em";
		  return false;
	 }
}


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