var  currentSize = 75;



function setFontSize(ev, percentage, prevent)

{

    if (document.getElementsByTagName) {

	currentSize = percentage;

	document.getElementsByTagName("body")[0].style.fontSize = currentSize + '%';



	}

}





function decreaseFontSize(ev)

{

    setFontSize(ev, currentSize / 1.13, true);

}





function defaultFontSize(ev)

{

    setFontSize(ev, 75, true);

}





function increaseFontSize(ev)

{

    setFontSize(ev, currentSize * 1.13, true);

}