// 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"); 
	}
}