//Gestion de la largeur des éléments de menu (pour régler les problèmes d'affichage sous IE)
function getMenuElementWidth(){

	var parent = document.getElementById("nav");//balise UL
	var listChilds = parent.childNodes;//balise LI
	//alert(listChilds.length);
	if (parent.hasChildNodes())
	{
		for(var i=0;i<listChilds.length;i++)
		{
			var childWidth = 0;
			var childLink = listChilds[i].childNodes;//balise A
			
			var childLinkSpan = childLink[0].childNodes[0];//balise SPAN
			//alert(childLinkSpan.clientWidth);
			childWidth = childLinkSpan.offsetWidth+5;//Récupération de la largeur des éléments contenus dans le span
				
			childLink[0].style.width = childWidth+"px";	
			//alert(childLinkSpan.offsetWidth);
		}
	}
}

window.onload = getMenuElementWidth;//Chargement de la fonction