// JavaScript Document
/*  Variables pour les menus */
var myTimer;
var time = 500;

/* Fonctions qui affichent/masquent une div avec un délai */
function ChangeMenu(idDiv)
{    
    var menu = document.getElementById(idDiv);
    if(menu != null)
    {
        if(menu.style.display == 'none' || menu.style.display == '')
        {
            DisplayMenu(idDiv);
        }
        else
        {
            HideMenu(idDiv);
        }
    }
}
function DisplayMenu(idDiv)
{      
    myTimer=setTimeout('ShowMenu("'+ idDiv + '")', time);
}
function ClickMenu(idDiv)
{    
    var menu = document.getElementById(idDiv);
    if(menu != null)
    {
        if(menu.style.display == 'none' || menu.style.display == '')
        {
            ShowMenu(idDiv);
        }
        else
        {
            HideMenu(idDiv);
        }
    }
}
function HideMenu(idDiv)
{
    var menu = document.getElementById(idDiv);
    if(menu != null)
        menu.style.display = 'none';
}
function ShowMenu(idDiv)
{
    var menu = document.getElementById(idDiv);
    if(menu != null)
        menu.style.display = 'block';
}
function stopCount()
{
    clearTimeout(myTimer);  
}