// JavaScript Document

// Menu functions for drop down menus
// Based on code by Danny Goodman

// Initialize global that helps manage menu hiding
var menuReady = true;
var timer;

// Invoked from mouseover inside menus to cancel
// hide request from mouseout of menu bar, et al.
function keepMenu() {
	clearTimeout(timer);
}

function cancelAll() {
	keepMenu();
	menuReady = false;
}

// Invoked from mouseouts to request hiding all menus
// in number of milliseconds indicated, unless cancelled
function requestHide(mainMenuID) {
	var delay = 250;
	timer = setTimeout("hideMenus('" + mainMenuID +"')", delay);
}

// "Brute force" hiding of all menus and restoration
// of normal menu bar images
function hideMenus(mainMenuID) {
	var mainMenu = document.getElementById(mainMenuID);
	mainMenu.style.visibility = "hidden";
}

// Display a particular menu div
function showMenu(menuID) {
	if (menuReady) {
		var menu = document.getElementById(menuID);
		keepMenu();
		menu.style.visibility = "visible";
	}
}