// script to highlight the nav element corresponding to the current page

function highlight_link() {

  // get current web page name
  var myhost = "www.claviusweb.net/";
  var myurl = location.href;
  var lastslash = myurl.indexOf(myhost);
  var myname = (lastslash!=-1)?myurl.substring(lastslash + myhost.length):myurl;
  if (myname == '') myname = 'index.shtml';
  
  // get nav links
  var navlinks = document.getElementById("nav").getElementsByTagName("a");
  
  // check each link; if it matches, highlight it
  for (var i=0; (link = navlinks[i]); i++) {
    if (link.getAttribute("href").indexOf(myname) != -1) {
      link.style.fontWeight = "bold";
    }
  }
}