/*------------------------------------------------------------------------------*\
 * hideSubMenu()                                                                *
 * function to show a submenu                                                   *
\*------------------------------------------------------------------------------*/
function showSubMenu(id)
{
 var element=document.getElementById(id);
 
 // check W3C DOM compliance
 if(!is.dom)
  return;
 
 if(element) element.style.display='block';
 
 element.hideNow=false;
}


/*------------------------------------------------------------------------------*\
 * hideSubMenu()                                                                *
 * function to hide a submenu                                                   *
\*------------------------------------------------------------------------------*/
function hideSubMenu(id)
{
 // check W3C DOM compliance
 if(!is.dom)
  return;
  
 element=document.getElementById(id);  

 if(element && element.hideNow) element.style.display='none';
}


/*------------------------------------------------------------------------------*\
 * menuOut()                                                                    *
 * submenu handler for onMouseOut                                               *
\*------------------------------------------------------------------------------*/

function  menuOut(id)
{
 // check W3C DOM compliance
 if(!is.dom)
  return;
  
 element=document.getElementById(id);
 
 element.hideNow=true;
 
 setTimeout( "hideSubMenu('"+id+"')", 50 )
}