
moz=document.getElementById&&!document.all;
if (moz)
	mozHeightOffset=20;
else
	mozHeightOffset=0;

function resize_iframe(){
	// required for Moz bug,
	// value can be "", null, or integer
	document.getElementById("content_frame").height=100;
	window.frames["content_frame"].document.getElementsByTagName("body")[0].scrollHeight;
	document.getElementById("content_frame").height=window.frames["content_frame"].document.getElementsByTagName("body")[0].scrollHeight+mozHeightOffset;
//alert(window.frames["content_frame"].document.newheight);
}
