//gestion du menu right
function initMenu() {
	var myMenu = document.getElementById("vertical-menu");
	var elementList = myMenu.getElementsByTagName("LI");
	for(i=0;i<elementList.length;i++) {
		var el = elementList[i];
		if(elementList[i].className=="level1") {
			el.onmouseover = expandMenu;
			el.onmouseout = foldMenu;
		}
	}
}

function expandMenu() {
	this.childNodes[0].style.backgroundPosition = "0 -42px";
	this.childNodes[2].style.display = "block";
}

function foldMenu() {
	this.childNodes[0].style.backgroundPosition = "0 0";
	this.childNodes[2].style.display = "none";
}