var zoomID = 102;

function FontSizeSet()
{
	var el;
	
	el = document.getElementById('zoomID');
	el.style.fontSize = zoomID + '%';
	return false;
}

function SetFontLarger()
{	if (zoomID < 155) zoomID=zoomID+10;
	return FontSizeSet();
}

function SetFontSmaller()
{	if (zoomID > 70) zoomID=zoomID-10;
	return FontSizeSet();
}