// JavaScript Document
function containsDOM (container, containee) {
	var isParent = false;
	do {
		if ((isParent = container == containee))
		break;
		containee = containee.parentNode;
	}
	while (containee != null);
		return isParent;
}
function checkMouseEnter (element, evt) {
	if (element.contains && evt.fromElement) {
		return !element.contains(evt.fromElement);
	} else if (evt.relatedTarget) {
		return !containsDOM(element, evt.relatedTarget);
	}
}
function checkMouseLeave (element, evt) {
	if (element.contains && evt.toElement) {
		return !element.contains(evt.toElement);
	} else if (evt.relatedTarget) {
		return !containsDOM(element, evt.relatedTarget);
	}
}
function showNav(event){
	if (checkMouseEnter($('mainnav'), event)) {
		new Effect.Morph('mainnav',{style:'height: 140px;',duration: 0.5, queue: {position:'end', scope: 'menuxscope', limit:2} });
	}
}
function hideNav(event){
	if (checkMouseLeave($('mainnav'), event)) {
			new Effect.Morph('mainnav',{style:'height: 24px;',duration: 0.5, queue: {position:'end', scope: 'menuxscope', limit:2} });
	}
}