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

function getLeaf(url) {
  return url.substring(url.lastIndexOf("/")+1);
}

function setNav() {
  if(!document.getElementById("colleft"))
      return;

  var currentLocation = getLeaf(document.location.href);
  var menu = document.getElementById("colleft");
  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", "currentpage");
      Links[i].setAttribute("className", "currentpage");
    }
  }
}