function adjustColHgt() {
	var mydivs=document.getElementsByTagName("div");
	for (var i=0;i<mydivs.length;i++) {
		if (mydivs.item(i).id == 'nav') {
			// alert(mydivs.item(i).id);
			var minHgt = 400; // Set main_column minimum height
			var nav = document.getElementById('nav');
			var navHgt = nav.offsetHeight;  // get height of navigation column
			if (navHgt > minHgt) {  
	  			minHgt = navHgt;
	 		}
			var main = document.getElementById('main_column');
			var mainHgt = main.offsetHeight;
	
			if (mainHgt > minHgt) {
				main.style.height = 'auto';
	 		}
			else {
				main.style.height = minHgt;
			}
			var mainHgt = main.offsetHeight;
			nav.style.height = mainHgt + "px";  // set nav_column to the same height
		}
	}
}