
<!--
// 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 getSelector(sText) { 
  		var S = document.styleSheets[0] 
  		var rules = S.rules||S.cssRules // IE ŚŚ others 
  		for(var r=0;r<rules.length;r++) 
    		if(rules[r].selectorText==sText) 
    			return rules[r].style 
  		return null; 
	}

	function resize_cols() {
		var nav_col = document.getElementById("left-content");
		var main_col = document.getElementById("right-content");		
		
//		var offheight = left_col.offsetHeight;
		
		var navheight = nav_col.offsetHeight;
		var mainheight = main_col.offsetHeight;
		
		if(navheight > mainheight)
			min_height = navheight
		else
			min_height = mainheight
		
		getSelector(".min-holder").height=min_height+"px";
		
		return true;
	}
// -->