

<!--javascript function to link and highlight navigation cells -->

function getHover() {
  trs = document.getElementsByTagName('tr');
  for (var i = 0; i < trs.length; ++i) {
    if (trs[i].className == 'browserNormal') {
      trs[i].onmouseover = function () { this.className = 'browserHover'; };
      trs[i].onmouseout = function () { this.className = 'browserNormal'; };
    }
  }
}