// Hold the timer if set
var timer;

// Time delay between onMouseOut event being called on menu to it disappearing. 
var delay = 250;

/*
** Purpose:  Sets the hideMenu() function to be called following a delay.
*/
function setTimer()
{
	timer = setTimeout('hideMenu();', (delay));
	return true;
}


/*
** Purpose:  Ensures the timer variable is cleared.
*/
function cancelTimer()
{
	clearTimeout(timer);
	return true;
}
		
		
/*
** Purpose:  Shows the pop-up menu div, after first cancelling any timer which 
**           may be about to hide the div again. 
*/
function showMenu()
{
	cancelTimer();
	document.getElementById('menu_types').style.visibility = 'visible';
	return true;
}


/*
** Purpose:  Hides the pop-up menu div.
*/
function hideMenu()
{
	document.getElementById('menu_types').style.visibility = 'hidden';
	return true;
}