/*
#
# Fonctions de gestion de l'interface dynamique
#
*/

var redim_hauteur=240;

function int_redim()
{
	if (document.all)
	{
		document.getElementById("global_corps").style.height=document.body.offsetHeight-redim_hauteur;
	}
	else
	{
		document.getElementById("global_corps").style.height=window.innerHeight-redim_hauteur;	
	}
}