// JScript File




/* Détection du navigateur */ 
var isIE= navigator.appName == "Microsoft Internet Explorer" ; /* IE */ 
var isNS= navigator.appName == "Netscape" ; /* Netscape, Mozilla Firefox */ 

function redimIframe( obj ) 
{ 

	with ( document.getElementById(obj.id) ) { 
		if ( isIE ) { 
			style.height= (contentWindow.document.body.scrollHeight+10)+"px" ; 
			scrolling= "no" ; 
		} 
		else if ( isNS ) { 
			style.height= contentDocument.body.offsetHeight+"px"  ; 
			scrolling= "no" ; 
		} 
		else { 
			style.height= "100%" ; 
			scrolling= "auto" ; 
		} 
	} 
}