<!--


// Function that checks the height of the content container div, and resizes the right
// column container to match. Needed for the background image to continue to the bottom.
function CheckResizeDivHeights(oSource,oTarget){
	var ua = navigator.userAgent;
	var nDiff = 0;
	

	if(document.getElementById){
		if (document.getElementById(oSource) && document.getElementById(oTarget)){
			//alert("OK")
			
			var nSourceHeight = document.getElementById(oSource).offsetHeight;
			var nTargetHeight = document.getElementById(oTarget).offsetHeight;
			
			// Hack to get borders aligned.
			if(ua.indexOf("Gecko") >= 1){
				nDiff = 2;
			}
			
			if(nTargetHeight < nSourceHeight){
				document.getElementById(oTarget).style.height = (nSourceHeight - nDiff) + "px";
			}
			else if(nSourceHeight < nTargetHeight){
				document.getElementById(oSource).style.height = (nTargetHeight - nDiff) + "px";
			}
		}
	}
	
}





// Function that checks the height of the content container div, and resizes the right
// column container to match. Needed for the background image to continue to the bottom.
function CheckResizeDivHeights_(){

//	if(document.getElementById){
		// 1. Get height of the main container.
		// 2. Resize right column to match.
		
//		if(document.getElementById("MiddleContainer") && document.getElementById("RightColumn")){
//			// Container height
//			var nContainerHeight = document.getElementById("MiddleContainer").offsetHeight;
//			var nRightColHeight = document.getElementById("RightColumn").offsetHeight;
//		
//			// Check right column
//			if(nRightColHeight < nContainerHeight){
//				document.getElementById("RightColumn").style.height = nContainerHeight + 4 + "px";
//			}
//		}
//	}
}

//-->