var _MENU_HIDELIMIT = 120;

function showInterventionsMenu()
{
	document.getElementById("interventionsMenu").style.display = "block";
	return;
}
function showOtherDistortionsMenu()
{
	document.getElementById("otherDistortionsMenu").style.display = "block";
	return;
}

function hideOtherDistortionsMenuNow()
{
	document.getElementById("otherDistortionsMenu").style.display = "none";
	return;
}

function hideOtherDistortionsMenu(evt)
{
	if (mouseY(evt) < _MENU_HIDELIMIT ||
			mouseY(evt) > 140 +
					getPXInteger(document.getElementById("otherDistortionsMenu").style.height) ||
		mouseX(evt) < getPXInteger(document.getElementById("otherDistortionsMenu").style.left) ||
		mouseX(evt) > (getPXInteger(document.getElementById("otherDistortionsMenu").style.left) + 145))
			document.getElementById("otherDistortionsMenu").style.display = "none";
	return;
}

function hideInterventionsMenuNow()
{
	document.getElementById("interventionsMenu").style.display = "none";
	return;
}

function hideInterventionsMenu(evt)
{
	if (mouseY(evt) < _MENU_HIDELIMIT ||
			mouseY(evt) > 140 +
					getPXInteger(document.getElementById("interventionsMenu").style.height) ||
		mouseX(evt) < getPXInteger(document.getElementById("interventionsMenu").style.left) ||
		mouseX(evt) > (getPXInteger(document.getElementById("interventionsMenu").style.left) + 145))
			document.getElementById("interventionsMenu").style.display = "none";
	return;
}			
function brightenImage(imgobj)
{
	if (imgobj.src.indexOf("bright") == -1)
		imgobj.src = imgobj.src.replace(/jpg/, "") + "bright.jpg";
	return;
}
function restoreImage(imgobj)
{
	if (imgobj.src.indexOf("bright") > -1)
		imgobj.src = imgobj.src.replace(/.bright/, "");
	return;
}
function setQuickNavigationCaption(caption)
{
	document.getElementById("quickNavigation").innerHTML = caption;
	document.getElementById("quickNavigation").className = "";
}
function resetQuickNavigationCaption(totallyout)
{
	if (totallyout) 
		document.getElementById("quickNavigation").innerHTML = "Γρήγορη πλοήγηση:";
	else {
		document.getElementById("quickNavigation").innerHTML = "&nbsp;";
		document.getElementById("quickNavigation").className = "unselected";
	}
}
function repositionMenu()
{
	document.getElementById("interventionsMenu").style.left = 
		findPosX(document.getElementById("mnuInterventions")) + 10 + "px";
	document.getElementById("otherDistortionsMenu").style.left = 
		findPosX(document.getElementById("mnuOtherDistortions")) + 20 + "px";
}