I have added the suggested line
DHTMLSuite.commonObj.addEvent(document.documentElement,"mouseout",this.hideSubMenus);
in line 2336 but this has no effect.
Any solutions to getting the menus to disappear once the mouse moves off them gratefully accepted.