/**
*	Initialisation des noms des containers de menu
*/
var containerName = 'dropdown-machine';
	
/**
*	Variables de positionement de la souris
*	var onMenu : la souris est sur un menu
*	var onSsMenu : la souris est sur un sous menu
*	var onSsSsMenu : la souris est sur un sous sous menu
*/
var onMenu = 0;
var onSsMenu = 0;

/**
*	Initialisation du temporisateur de fermeture d'un sous menu
*/
var timeBeforeClosing = 100;	

	/**
	*	Function appearMenu
	*	Fait apparaitre les sous menus du menu sélectionné
	*	@param marginleft : positionnement du menu par rapport au coté gauche de l'écran
	*/
	function appearMenu()
	{
		/**
		*	On fait apparaitre le container de sous menus
		*/
		document.getElementById(containerName).style.display = '';	
		
		/**
		*	La position de la souris change, on est sur un menu
		*/
		onMenu = 1;
	}
	
	/**
	*	Function quitMenu
	*	La souris quitte le menu, mise à jour des variables de position
	*	et lancement de la fonction prepareToCloseMenu qui fermera le menu si il faut
	*/
	function quitMenu()
	{
		onMenu = 0;
		onSsMenu = 0;
		prepareToCloseMenu();
	}
	
	/**
	*	Function initSsMenu
	*	La souris passe sur un sous menu, mise à jour des variables de position
	*/
	function initSsMenu()
	{
		onMenu = 0;
		onSsMenu = 1;	
	}
	
	/**
	*	Function quitSsMenu
	*	La souris quitte le sous menu, mise à jour des variables de position
	*	et lancement de la fonction prepareToCloseMenu qui fermera le menu si il faut
	*/
	function quitSsMenu()
	{
		onMenu = 0;
		onSsMenu = 0;
		prepareToCloseMenu();
	}
		
	/**
	*	Function prepareToCloseMenu
	*	Temporisateur avant la fermeture effective du sous menu
	*	Lance la fonction de fermeture de sous menu après timeBeforeClosing millisecondes
	*/
	function prepareToCloseMenu()
	{
		setTimeout("closeMenu()", timeBeforeClosing);
	}
	
	/**
	*	Function closeMenu
	*	Fait disparaitre le sous menu si la souris n'est ni sur un menu, ni sur un sous menu
	*	Fait disparaitre le sous sous menu si la souris n'est pas dessus
	*/
	function closeMenu()
	{		
		if( (onSsMenu == 0)
			   &&(onMenu == 0) )
			document.getElementById(containerName).style.display = 'none';
	}