// some old IE tricks
function startlist()
{
	if (document.all&&document.getElementById)
	{
		navRoot = document.getElementById("menuUL");
		for (i=0; i<navRoot.childNodes.length; i++)
		{
			node = navRoot.childNodes[i];

			if (node.nodeName=="LI")
			{
				node.onmouseover=function()
				{
					this.className+=" over";
				}
				node.onmouseout=function()
				{
					this.className=this.className.replace(" over", "");
				}
			}
		}
	}
}

window.onload = startlist;

// FontSizer

function increaseFontSize()
{
	min = 10;
	max = 16;
	std = 12;

	tbls = document.getElementsByTagName("table")
	for (i=0; i < tbls.length; i++)
	{
		if (tbls[i].className == "mainContent")
		{
			if (tbls[i].style.fontSize)
			{
				var s = parseInt(tbls[i].style.fontSize.replace("px",""));
			}
			else
			{
				var s = std;
			}

			if (s != max)
			{
				s += 1;
			} 	
			
			tbls[i].style.fontSize = s + "px"
		} 
	}
}

function decreaseFontSize()
{
	min = 10;
	max = 16;
	std = 12;

	tbls = document.getElementsByTagName("table")
	for (i=0; i < tbls.length; i++)
	{
		if (tbls[i].className == "mainContent")
		{
			if (tbls[i].style.fontSize)
			{
				var s = parseInt(tbls[i].style.fontSize.replace("px",""));
			}
			else
			{
				var s = std;
			}

			if (s != min)
			{
				s -= 1;
			} 	
			
			tbls[i].style.fontSize = s + "px"
		} 
	}
}