// drop_menu.js
// 
// display/hide drop-down menus at appropriate junctures
// 
// by Smylers


function SetUpDropMenu(BarID, MenuID)
// sets up the menu bar item BarID to display the menu MenuID on mouse-over and
// gaining focus, and to hide it again on the opposite
{
  var Bar = document.getElementById(BarID);
  var Menu = document.getElementById(MenuID);
  Bar.onfocus = Bar.onmouseover = function() { Menu.style.display = 'block' };
  Bar.onblur  = Bar.onmouseout  = function() { Menu.style.display = 'none'  };
}