window.onload = function(){
			if(document.getElementById("leftCol").offsetHeight < document.getElementById("content").offsetHeight)
				document.getElementById("leftCol").style.height = document.getElementById("content").offsetHeight + "px";
		};