// JavaScript to control DHTML pop-up menu (requires "dom.js")
// tim@saltstonemedia.co.uk

visibleDom = 'none';

function showMenu(elementName)
 {
	if (visibleDom != 'none') hideMenu();
	visibleDom = eval(docObj + elementName + styleObj);
	visibleDom.visibility = 'visible';
 }

function setHide()
 {
 	popTimer = setTimeout('hideMenu();', 500);
 }

function keepMenu(popNum)
 {
 	if (window.popTimer) clearTimeout(popTimer);
 }

function hideMenu()
 {
 	visibleDom.visibility = 'hidden';
 }