<!--
// this code resizes the min-holder div to the "offsetHeight" set by the browser when a
// content div is resized to fit its content

	function resize_cols() {
		var nav_col = document.getElementById("nav");
		var left_col = document.getElementById("left-content");
		var right_col = document.getElementById("right-content");		
		
		var nheight = nav_col.offsetHeight;
		var lheight = left_col.offsetHeight;
		var rheight = right_col.offsetHeight;
		
		newHeight = nheight;
		
		if(lheight > newHeight) { newHeight= lheight; }
		if(rheight > newHeight) { newHeight= rheight; }
			
		$(".min-holder").height(newHeight);
		
		// change this to reflect the padding used in the content div
		var contentPadding = 40
		
		$(".nav-min-holder").height(newHeight+contentPadding);

		return true;
	}
// -->