// JavaScript Document

<!-- PATCH THAT FIXES HOVERING OVER TABLES PROPERLY IN IE --!>

doList = function() {
if (document.all&&document.getElementById) {
navRoot = document.getElementById("nav");
for (j=0; j<navRoot.childNodes.length; j++) {
node = navRoot.childNodes[j];
if (node.nodeName=="LI") {
node.onmouseover=function() {
this.className+=" over";
  }
  node.onmouseout=function() {
  this.className=this.className.replace(" over", "");
   }
   }
  }
 }

}
window.onload=doList;