// JavaScript Document
window.onload=onLoad;
function onLoad(){
	var contentHeight = document.getElementById("content").clientHeight;
	var leftNavHeight = document.getElementById("leftbar").clientHeight;
	if(contentHeight>leftNavHeight){
		myDIV = document.getElementById("leftbar");
		myDIV.style.height=contentHeight+ "px";
	}
}