function OnMouseOverNav() { document.getElementById("scrollMenu").style.display = "none"; document.getElementById("leftNavMenu").style.display = "block"; document.getElementById("divLeftNav").style.width = "150px"; } function hideNavMenu(theEvent){ if (theEvent) { var browser=navigator.userAgent; if (browser.indexOf("Firefox")>0){ if (document.getElementById('leftNavMenu').contains(theEvent.relatedTarget)) { return; } } if (browser.indexOf("MSIE")>0){ if (document.getElementById('leftNavMenu').contains(event.toElement)) { return; } } } docu