// Hide the navigation link, since we're JS-capable.

// A function to get the div/span ID in all JS-capable 4+ browsers
 function getRefToDiv(divID) {
  if( document.layers ) { //Netscape layers
    return document.layers[divID]; }
  if( document.getElementById ) { //DOM; IE5, NS6, Mozilla, Opera
    return document.getElementById(divID); }
  if( document.all ) { //Proprietary DOM; IE4
    return document.all[divID]; }
  if( document[divID] ) { //Netscape alternative
    return document[divID]; }
  return false;
}

/* A function to hide this div - we want to do this so that the link the the
 navigation page only shows up in browsers that can't display the fancy
 JS-generated navbar */

function hideDiv(divID_as_a_string) {
  //get a reference as above ...
  myReference = getRefToDiv(divID_as_a_string);
  if( !myReference ) {
    window.alert('1. Nothing works in this browser');
    return false; //don't go any further
  }
  //now we have a reference to it
  if( myReference.style ) { //DOM & proprietary DOM
    myReference.style.visibility = 'hidden';
  } else {
    if( myReference.visibility ) { //Netscape
      myReference.visibility = 'hide';
    } else {
      window.alert('2. Nothing works in this browser');
      return false; //don't go any further
    }
  }
  return true;
}

// OK, go ahead and hide the div/span

hideDiv('navLink');

// All that work was just to get rid of the navbar link