// Based on http://surguy.net/menu/highlight.html



function getLeaf(url) {

  return url.substring(url.lastIndexOf("/")+1);

}



function setNav() {

  var currentLocation = getLeaf(document.location.href);

  var menu = document.getElementById("topNavTable");

  var links = menu.getElementsByTagName("a");



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

    var currentHref = links[i].getAttribute("href");

    var currentLeafName = getLeaf(currentHref);

    if (currentLeafName==currentLocation) {

      // Setting class is needed for Mozilla compatibility - className appears to be correct 

      // according to the DOM spec

      links[i].setAttribute("class", "currentnav");

      links[i].setAttribute("className", "currentnav");



      // More obvious to use parentNode.parentNode.firstChild, but this

      // may give a whitespace text node.

      var menuHeader = links[i].parentNode.parentNode.getElementsByTagName("td").item(0);

      menuHeader.setAttribute("class", "currentnav");

      menuHeader.setAttribute("className", "currentnav");

    }

  }

}



function setSideNav() {

  var currentLocation = getLeaf(document.location.href);

  var menu = document.getElementById("leftNavUl");

  var links = menu.getElementsByTagName("a");



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

    var currentHref = links[i].getAttribute("href");

    var currentLeafName = getLeaf(currentHref);

    if (currentLeafName==currentLocation) {

      // Setting class is needed for Mozilla compatibility - className appears to be correct 

      // according to the DOM spec

      links[i].setAttribute("class", "currentnav");

      links[i].setAttribute("className", "currentnav");

    }

  }

}



function highLight(elemID) {

	if (document.getElementById) {

		if (document.getElementById(elemID)!=null) {

			var myElem = document.getElementById(elemID);

			myElem.setAttribute("class", "currentnav");

			myElem.setAttribute("className", "currentnav");

		}

	}

}