// LeftNavMenu

function display (category) {

	var whichcategory = document.getElementById(category);

	if (whichcategory.className=="show") {

		whichcategory.className="hide";

		document.getElementById(category + "_img").src="/images/plus.gif";

		document.getElementById(category + "_img").title="Expand";

		document.getElementById(category + "_img").alt="Expand";

	} else {

		whichcategory.className="show";

		document.getElementById(category + "_img").src="/images/minus.gif";

		document.getElementById(category + "_img").title="Collapse";

		document.getElementById(category + "_img").alt="Collapse";

	}

  resizeMainBody();

}





function displayMenu (category) {

	var whichcategory = document.getElementById(category);

		if(whichcategory){

			whichcategory.className="show";

			document.getElementById(category + "_img").src="/images/minus.gif";

			document.getElementById(category + "_img").title="Collapse";

			document.getElementById(category + "_img").alt="Collapse";

		}

}



function expandLeftNavMenu(){



	pathArray = window.location.pathname.split( '/' );



	for(i = 0; i < pathArray.length; i++){

		displayMenu(pathArray[i]);

	}



	var myHighlight=pathArray[pathArray.length - 2]+"_hl";

	var myHLdoc=document.getElementById(myHighlight);



	if(myHLdoc!=null){

		// OK we are just adding a class here to override the a href colors!

		myHLdoc.setAttribute("class", myHLdoc.className + " leftNavHighlight");

		myHLdoc.setAttribute("className", myHLdoc.className +" leftNavHighlight"); 

	}

}