// ----------------------------
//	Page Contents resize code
// ----------------------------

var g_intPageContentsHeight = 0;
var g_intPageContentsWidth  = 0;

// This function is called to set the height of table Table_Contents.
// It is called when the page is first loaded and whenever the window is
// resized.
//
function Table_Contents_Size()
{
	var objAvailableSize = document.all.item("divAvailableSize");
	var intHeight		 = (objAvailableSize.offsetHeight - objAvailableSize.offsetTop);
	var intWidth		 = (objAvailableSize.offsetWidth  - objAvailableSize.offsetLeft);
	
	var intHeigthUsed	 = (document.all.item("Table_Header").style.height +
							document.all.item("Table_MenuBg").style.height  +
							document.all.item("Table_Footer").style.height);
	
	var objContentsTable = document.all.item("Table_Contents");

	objContentsTable.style.height = intHeight - intHeigthUsed - 120;
}

// This function is called when the PageContents IFRAME is resized.
// This can be caused by the size the Internet Explorer window being changed or
// by the visibility of the toolbars or status bar being changed.
// This code is used by the two top level index pages only.
//	
function PageContents_onResize()
{
	var objPageContents = document.all.item("PageContents");
	var intHeight		= (objPageContents.offsetHeight - objPageContents.offsetTop);
	var intWidth		= (objPageContents.offsetWidth  - objPageContents.offsetLeft);

	if((g_intPageContentsHeight != intHeight) || (g_intPageContentsWidth != intWidth))
	{
		// The size of the PageContents IFRAME has been changed.
		// We reset the source of the IFRAME to force to page to re-loaded.
		// This causes the page to be refreshed with the java scroll items sized
		// and positioned properly.
		objPageContents.src = objPageContents.src;

		g_intPageContentsHeight = intHeight;
		g_intPageContentsWidth  = intWidth;
	};
}