var curmenu; /* * document.onclick * * Checks the position of the mouse, if it is clicked outside the menu, the menu will close * * @param e mouseEvent * */ document.onclick = function(e) { if (!e) var e = window.event; var el = (e.target) ? e.target : e.srcElement; showObjects(); if(el.id != "launch" && parent.document.getElementById('divMain')) { parent.document.getElementById('divMain').style.display = "none"; } if(curmenu != undefined) { for(i=0;i