// Highlight a menu item by changing the classname of the id 
// and removing the default '>' character from the div
// since the default leftnav will have them all on by default
function leftNavHighlight(menuid)
{
   document.getElementById(menuid).className = "leftnavONON";
   document.getElementById(menuid + "div").innerHTML = "";
   var divatag = document.getElementById(menuid + "diva");
   var html = divatag.innerHTML;
   // get rid of the anchor tag around the selected element
   html = html.replace(/\<.*\"\>/,"");
   html = html.replace(/\<\/a\>/,"");
   divatag.innerHTML = html;
}