
<!--
// 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 left_col = document.getElementById("subpages");
		var right_col = document.getElementById("nav");		
		
//		var offheight = left_col.offsetHeight;
		
		var lheight = left_col.offsetHeight;
		var rheight = right_col.offsetHeight;
		
		if(lheight+150 > rheight) {
			$(".min-holder").height(lheight + 200);
			$(".sub-min-holder").height(lheight+50);
		}
		else {
			$(".min-holder").height(rheight);
			$(".sub-min-holder").height(rheight-80);
		}
			

		return true;
	}
// -->