// JavaScript Document
var blnDone = false;

function init() {
   	// quit if this function has already been called
   	if (blnDone) return;

   	// flag this function so we don't do the same thing twice
   	blnDone = true;
   
	if (document.all&&document.getElementById) {
		
		navRoot = document.getElementById("menu");
		for (i=0; i<navRoot.childNodes.length; i++) {
			node = navRoot.childNodes[i];
			
			if (node.nodeName=="LI") {				
				node.onmouseover=function() {
					this.className+=" over";
			  	}
			  	node.onmouseout=function() {
			  		this.className=this.className.replace(" over", "");
			   	}
			}
		}
	}

   
};

/* Ce bout de code est ajout? afin d'appeler init seulement lorsque le DOM est charg? compl?tement */
/* for Mozilla */
if (document.addEventListener) {
   document.addEventListener("DOMContentLoaded", init, null);
}

/* for Internet Explorer */
/*@cc_on @*/
/*@if (@_win32)
   document.write("<script defer src=ie_onload.js><"+"/script>");
/*@end @*/

/* for other browsers */
window.onload = init;