function ResizeMiddlePanel()
{
	// hack to cater for firefox and google chrome not able to size the middle panel correctly
	if ( document.getElementById( "TextPage" ) )
	{
		adj_height = document.getElementById( "TextPage" ).scrollHeight;
		container_height = document.getElementById( "MiddlePanel" ).offsetHeight;
		if ( adj_height > container_height )  document.getElementById( "MiddlePanel" ).style.height = adj_height + "px";
	}
}

if 		( window.addEventListener )  window.addEventListener( "load", ResizeMiddlePanel, false );
else if ( window.attachEvent      )	 window.attachEvent( "onload", ResizeMiddlePanel );
else if ( document.getElementById )  window.onload = ResizeMiddlePanel;