// Menu Selection Script (20100520 v1a).

	var pageId="";
	
	function highlightPage(currentId){ // Turn on the menu item that links to this page (default).
		pageId="menuitem" + currentId;
		menuSelect(pageId);
	}
	
	function menuSelect(selectedId){ // Turn on a menu item.
		document.getElementById(selectedId).className = "limestone-menu-selected";
	}
	
	function menuOff(offId){ // Turn off a menu item.
		startToHide(offId);
		// Only turn off menu item if it is not on for this page by default.
		if(offId!=pageId){
			document.getElementById(offId).className = "";
		}
	}