<!--

// Function resizes content div to match container div in order to make div borders continue down to bottom of page.
function CheckResizeDivHeights(){
	// Simple object check - don't bother with older browsers that don't support getElementById()
	if(document.getElementById){

		// Make sure the divs exists before continuing.		
		if(document.getElementById("ContentContainer") && document.getElementById("PageContent") && document.getElementById("ContentHeader")){
			// Container height
			
			// Difference between content div and container div
			var nDiff = document.getElementById("ContentHeader").offsetHeight;
			
			// Height of container div
			var nContainerHeight = document.getElementById("ContentContainer").offsetHeight;
			
			// Height of content div
			var nContentHeight = document.getElementById("PageContent").offsetHeight;
		
			// Resize if needed.
			if( (nContentHeight+nDiff) < nContainerHeight ){
				document.getElementById("PageContent").style.height = (nContainerHeight-nDiff) + 4 + "px";
			}
		}
	}
}

//-->