/*************************************************************
/* menus.js - pull-down style menus
/************************************************************/

ua = navigator.userAgent.toLowerCase(); // set browser tag
menuWidth = 200;
menuTop = 112;
menuLeftAdjuster = -3;
currentMenu = false;

function menuOver(event, menu) {
	if (currentMenu) hideMenu(currentMenu);
		
	currentMenu = menu;
					   
	if (ua.indexOf('msie') != -1) {
		element = window.event.srcElement;
	}
	else {
		element = event.currentTarget;
	}
	
	element.blur();
	selectedMenu = document.getElementById(menu);
	selectedMenu.style.width = menuWidth + 'px';
	selectedMenu.style.top = menuTop + 'px';
	if (ua.indexOf('msie') != -1) {
		selectedMenu.style.left = pageOffsetLeft(element) + menuLeftAdjuster + 'px';
	}
	else {
		selectedMenu.style.left = element.offsetLeft + menuLeftAdjuster + 'px';
	}

	selectedMenu.style.display = 'block';
	menuDummy = document.getElementById('menucloser');
	menuDummy.style.display = 'block';
}

function hideMenu() {
	if (currentMenu) {
		oMenu = document.getElementById(currentMenu);
		oMenu.style.display = 'none';
		menuDummy = document.getElementById('menucloser');
		menuDummy.style.display = 'none';
		currentMenu = false;
	}
}

function pageOffsetLeft(element) {
	var x;
	x = element.offsetLeft;
	if (element.offsetParent !=  null)
		x += pageOffsetLeft(element.offsetParent);
	return x;	
}