// JavaScript Document

/**
 * Auteur : Aurélien VIEILLE
 * description : permet de redimensionner la hauteur d'un element
 * */   
function resizeElement()
{
	if(	document.getElementById('cadre_6322') &&
		  document.getElementById('mainmenu'))
	{	
	 var sHeight=0;
  	 
	 if(navigator.appName.substring(0,3) == "Mic")
  	{
      sHeight = 685 - document.getElementById('mainmenu').offsetHeight - 60 - 60;
  	}else if(navigator.appName.substring(0,3) == "Ope"){
		  sHeight = 695 - document.getElementById('mainmenu').offsetHeight - 60 - 60;
    }else{
      sHeight = 701 - document.getElementById('mainmenu').offsetHeight - 60 - 60;
    }
		document.getElementById('cadre_6322').height = sHeight;
	}
}