var currentSize = 76;

function setFontSize(ev, percentage, prevent)
{
    if (document.getElementsByTagName) {
	currentSize = percentage;
	document.getElementsByTagName("body")[0].style.fontSize = currentSize + '%';

	if (window.event) {
	    window.event.returnValue = false;
	} else {
	    ev.preventDefault();
	}
    }
}


function decreaseFontSize(ev)
{
    setFontSize(ev, currentSize / 1.13, true);
}


function defaultFontSize(ev)
{
    setFontSize(ev, 76, true);
}


function increaseFontSize(ev)
{
    setFontSize(ev, currentSize * 1.13, true);
}