// JavaScript Document
/** 
 * void redimIframe( monIframe ) 
 * redimentionne la hauteur d'une iframe en fonction de son contenu 
 */ 
function redimIframe( obj ) 
{ 
	with ( document.getElementById(obj.id) ) { 
		if ( isIE ) { 
			style.height= contentWindow.document.body.scrollHeight ; 
			scrolling= "no" ; 
		} 
		else if ( isNS ) { 
			style.height= contentDocument.body.offsetHeight ; 
			scrolling= "no" ; 
		} 
		else { 
			style.height= "100%" ; 
			scrolling= "auto" ; 
		} 
	} 
}