var NavbarTimer;
var NavbarActiveSubmenu;

document.write('<div id=debugpanel style="display:none; z-index:101; background-color: white; color:black; border:2px outset; position:absolute; top: 300px; left: 250px; width: 400px; height:300px; overflow:auto;">Debugging messages</div>');

function debug(message) {
//	document.all.debugpanel.innerHTML = document.all.debugpanel.innerHTML + '<br>\n' + message;
//	document.all.debugpanel.style.display = 'block';
}

function NavbarMouseover(obj) {
 debug('NavbarMouseover: ' + obj.toString());
 if (obj.tagName == "A") {
  if (NavbarTimer) clearTimeout(NavbarTimer);
  submenu = obj.nextSibling;
  if (submenu != null) {
   if ((submenu.toString() == ' ') & (submenu.nextsibling != null)) {
    submenu = submenu.nextSibling;
   }
  }
  theListItem = obj.parentNode;
  theUnorderedList = theListItem.parentNode;
  owner = theUnorderedList.parentNode;
  if (owner) {
   if (owner.id == "Navbar") {
    // We're at the top level
    NavbarHideSubmenu();
    if (submenu != null) {
     if (submenu.style) {
      debug('Showing: ' + submenu.id);
      submenu.style.left = theListItem.offsetLeft + obj.offsetWidth;
      debug(theListItem.offsetLeft + menu_xoffset);
      submenu.style.left = theListItem.offsetLeft + menu_xoffset;
      submenu.style.top = obj.offsetTop + obj.offsetHeight - 1;
//     submenu.style.top = theListItem.offsetTop + obj.offsetHeight - 1;
      submenu.style.display = "block"
      NavbarActiveSubmenu = submenu;
     } 
    }
   }
  }
 }
}

function NavbarMouseout(obj) {
 debug('NavbarMouseout: ' + obj.toString());
 if (obj.tagName == "A") {
  if (NavbarTimer) clearTimeout(NavbarTimer);
    NavbarTimer = setTimeout("NavbarHideSubmenu()", 1000);
 }
}

function NavbarHideSubmenu() {
  if (NavbarActiveSubmenu) {
    NavbarActiveSubmenu.style.display="none";
    clearTimeout(NavbarTimer);
  }
}

function NavbarMouseoverSubmenu(obj) {
  if (NavbarTimer) clearTimeout(NavbarTimer);
}

function NavbarMouseoutSubmenu(obj) {
  NavbarTimer = setTimeout("NavbarHideSubmenu()", 1000);
}