var isIE=document.all?true:false;
var isNS4=document.layers?true:false; 
var isNS6=navigator.userAgent.indexOf("Gecko")!=-1?true:false;

var	size = 12;
var font ="Arial,Times New Roman,Verdana,Courier".split(",");
var fontIndex = 0;
var helpShow = "hidden";

function modCollapse(which){
	if (document.getElementById && document.createTextNode){
		m=document.getElementById("menu");
		trig=m.getElementsByTagName("div").item(which).style.display;
		t=m.getElementsByTagName("h2").item(which);
		if (trig=="block") trig="none";
		else if (trig=="" || trig=="none") trig="block";
		m.getElementsByTagName("div").item(which).style.display=trig;
	}
} 

function increaseSize()
{	
	if (size < 21)
	{
		size += 3;
	}
	if(isIE)
		eval("container.style.fontSize=" + size);
	if(isNS6)
		document.getElementById("container").style.fontSize = size;
	else
		document.getElementById("container").style.fontSize = size;

}
	
function decreaseSize()
{
	if (size > 9)
	{
		size -= 3;
	}
	if(isIE)
		eval("container.style.fontSize=" + size);
	if(isNS6)
		document.getElementById("container").style.fontSize = size;
	else
		document.getElementById("container").style.fontSize = size;
}

function toggleFont()
{
	if (fontIndex == 3)
		fontIndex = 0;
	else
		fontIndex++;
	if(isIE)
		eval("container.style.fontFamily=" + font[fontIndex]);
	if(isNS6)
		document.getElementById("container").style.fontFamily = font[fontIndex];
	else
		document.getElementById("container").style.fontFamily = font[fontIndex];
}