var  currentSize = 100;

function setFontSize(ev, percentage, prevent)
{
    if (document.getElementsByTagName) {
	currentSize = percentage;
	document.getElementById("BodyText").style.fontSize = currentSize + '%';

	}
}


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


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


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