// Menuing functionality.

// Globals.
var gCurrentMenu = null;     // Currently active menu - selected in onload handler.
 
// Function to set the currently active menu (called by onload handler).
function selectMenu(menu) {
	gCurrentMenu = menu;
	//document.getElementById(menu).style.color = "#00007f";
    var td = document.getElementById(menu + "_cell");
    td.style.backgroundColor = "#98cd99";
    };

// Highlight a menu (called by onmouseover handler).
function hilite(menu) {		      
    if (menu == gCurrentMenu) {
      return;
    }
    //document.getElementById(menu).style.color = "#98cd99";
    var td = document.getElementById(menu + "_cell");
    td.style.backgroundColor = "#98cd99";
    self.status = "Go to " + menu + "page.";
    //alert("Hello!");
    };
    
// Remove highlight from menu menu when mouse leaves it (called by onmouseout handler)
function unhilite(menu) {
    
    if (menu == gCurrentMenu) {
      return;
    }
    //document.getElementById(menu).style.color = "#00007f";
    var td = document.getElementById(menu + "_cell");
    td.style.backgroundColor = "#ffffff";
    self.status = "";
    //alert("Hello!");
    };