/****************************************
menu.js
-Dropdown menu.
****************************************/

/*GLOBAL VARIABLES*/
/*END OF GLOBAL VARIABLES*/


/*Functions for displaying and hiding the dropdown menus.*/
function displayMenu(menu_id) {
  var menu = document.getElementById(menu_id);
  menu.style.display = "block";
}
function hideMenu(menu_id, event) {
  var menu = document.getElementById(menu_id);
  var leaving = (event.target)? event.target : event.srcElement;
  var entering = (event.relatedTarget)? event.relatedTarget : event.toElement;

  //If entering a child of the leaving region then ignore.
  while(entering.parentNode) {
    if(entering.parentNode == leaving) return;
    entering = entering.parentNode;
  }

  menu.style.display="none";
}