//menu javascript functions

//variable to hold which button is currently selected
var selectedOption = null;

//function that changes the style class of a menu button
function changeButton(whichButton,highLight){
	if(highLight) {
		whichButton.className = "menuSectionOver";
	}
	else if(whichButton != selectedOption){
		whichButton.className = "menuSection";
	}
}

function menuOn(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="menuSection"){
		changeButton(currentElement,true)
	}
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement;
			if (currentElement.className=="menuSection")
				changeButton(currentElement,true)
		}
	}
}

function menuOff(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="menuSectionOver")
		changeButton(currentElement,false)
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement;
			if (currentElement.className=="menuSectionOver")
				changeButton(currentElement,false)
		}
	}
}

function menuSelect(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if(currentElement.className=="menuSectionOver") {
		if(selectedOption != null)
			selectedOption.className = "menuSection"
		selectedOption = currentElement;
		selectedOption.className = "menuOptionSelected";
	}
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement
			if(currentElement.className=="menuSectionOver") {
				if(selectedOption != null)
					selectedOption.className = "menuSection"
				selectedOption = currentElement;
				selectedOption.className = "menuSectionSelected";
			}
		}
	}
}

//drop down menu functions
function changeMenuOption(whichButton,highLight){
	if(highLight) {
		whichButton.className = "dropDownMenuOptionOver";
	}
	else if(whichButton != selectedOption){
		whichButton.className = "dropDownMenuOption";
	}
}

function menuOptionOn(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="dropDownMenuOption"){
		changeMenuOption(currentElement,true)
	}
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement
			if (currentElement.className=="dropDownMenuOption")
				changeMenuOption(currentElement,true)
		}
	}
}

function menuOptionOff(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="dropDownMenuOptionOver")
		changeMenuOption(currentElement,false)
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement
			if (currentElement.className=="dropDownMenuOptionOver")
				changeMenuOption(currentElement,false)
		}
	}
}


//function that changes the style class of a menu button
function changeOption(whichButton,highLight){
	if(highLight) {
		whichButton.className = "menuOptionOver";
	}
	else if(whichButton != selectedOption){
		whichButton.className = "menuOption";
	}
}

function optionOn(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="menuOption"){
		changeOption(currentElement,true)
	}
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement
			if (currentElement.className=="menuOption")
				changeOption(currentElement,true)
		}
	}
}

function optionOff(e){
	if (document.all)
		currentElement = event.srcElement
	else if (document.getElementById)
		currentElement = e.target
	if (currentElement.className=="menuOptionOver")
		changeOption(currentElement,false)
	else{
		while(currentElement.tagName!="TABLE"){
			currentElement = document.getElementById? currentElement.parentNode : currentElement.parentElement
			if (currentElement.className=="menuOptionOver")
				changeOption(currentElement,false)
		}
	}
}