//utile lorsque le calque princ_texte est utilisé
//Cette fonction permet de redimensionner correctement ce div 
//afin de toujours avoir un ascenseur(si-besoin) qui occupe les 100% de l'espace réservé.

//variables globales
var HauteurDeb = 0;
var pass = 0;
function redim()
{
	var maDivHaut = document.getElementById("haut");
	var maDivBas = document.getElementById("bas");
	var maDivMenu = document.getElementById("menu");
	var maDivPub = document.getElementById("pub");
	var maDiv = document.getElementById("princ_texte");
	var maDivSmenu = document.getElementById("princ_texte_sans_menu");
	var conteneur = document.getElementById("conteneur_page");
	var mcontext = document.getElementById("menu_context");
	conteneur.style.height = "100%";
	if(!maDiv)
	{
		maDiv = maDivSmenu;
	}
	
	if (maDiv)
	{
		// redimensionnement du corps de texte
		if (pass == 0)
		{
			HauteurDeb = maDiv.offsetHeight;
			pass = 1;
		}
		//alert(Hauteur1);
		maDiv.style.height = "100%";
		var hauteur = maDiv.offsetHeight;
		var haut = maDivHaut.offsetHeight;
		var bas = maDivBas.offsetHeight;
		var menu = maDivMenu.offsetHeight;
		var pub = maDivPub.offsetHeight;
		var styleHeight = hauteur - (haut + bas + menu + pub);
		
		if (styleHeight > 0)
		{
		    maDiv.style.height = styleHeight;
		    //alert(maDiv.offsetHeight);
		    //redimensionnement de la page entière : évite le trop plein despace pour de grande résolution
		
		    if (HauteurDeb < maDiv.offsetHeight)
		    {
    			if(mcontext)
			    {
    				mcontext.style.height = HauteurDeb;
			    }
			    conteneur.style.height = "100%";
			    conteneur.style.height = HauteurDeb + bas + haut  + menu + pub;
		    }
		    else
		    {
    			conteneur.style.height = "100%";
		    }
		}
	}
}