sfHover = function() {
  ismac = ( (navigator.userAgent.indexOf("mac") != -1) || (navigator.userAgent.indexOf("Mac") != -1) );
//    var mac = (navigator.userAgent.indexOf("mac") != -1);

    if(document.all&&document.getElementById){ // ie only
      if(d = document.getElementById("nav")) {

        var sfEls = d.getElementsByTagName("LI");
        for (var i=0; i<sfEls.length; i++) {
            sfEls[i].onmouseover=function() {   this.className+=" hover";    }
            sfEls[i].onmouseout=function() {    this.className=this.className.replace(new RegExp(" hover\\b"), "");   }
        }
      }
    }

    if(document.all&&document.getElementById){ // ie only
      if(d = document.getElementById("subnav")) {

        var sfEls = d.getElementsByTagName("LI");
        for (var i=0; i<sfEls.length; i++) {
            sfEls[i].onmouseover=function() {   this.className+=" hover";    }
            sfEls[i].onmouseout=function() {    this.className=this.className.replace(new RegExp(" hover\\b"), "");   }
        }
      }
    }
}

//  GLOSSARY JS

function toggleDef(d, event) {

  for(i=0; i<gloss_defs.length; i++){
    e = gloss_defs[i];
    aId = "gloss_"+e;
    dId = "def_"+e;
    if(document.getElementById(dId)) {
      if((e == d) && (document.getElementById(dId).style.display != "block") ) {
        dd = document.getElementById(dId);
        document.getElementById(aId).style.zIndex = "500";
        dd.style.display = "block";
        dd.style.position = "absolute";

        if(event.layerY) {
        //  alert (event.pageX + " x " + event.pageY);
          dd.style.left = (event.pageX-120)+'px';
          dd.style.top = event.pageY+'px';
        } else {
          offset = document.body.scrollTop ? document.body.scrollTop : document.documentElement.scrollTop;
          if(!offset) offset = 0; // stupid ie5/mac
          dd.style.top = (offset + event.clientY)+'px';
          dd.style.left = (event.clientX-120)+'px';
        }
      } else {
        hideDef(e);
      }
    }
  }
}

function hideDef(d) {
  aId = "gloss_"+d;
  dId = "def_"+d;

  document.getElementById(aId).style.zIndex = 1;
  document.getElementById(dId).style.display = "none";
}