/**
 * @author nico
 */

function resize(){
	var hauteur = document.getElementById("contenuDroit").offsetHeight;
	document.getElementById("menuGauche").style.height = (hauteur -"30") +"px";
	document.getElementById("ombreMenu").style.height = hauteur + "px";	
};
	window.onload = resize;