function doResize() {
	var winH = 200;
	var obj = document.getElementById("content_nav");

	if (parseInt(navigator.appVersion)>3) {
		if (navigator.appName=="Netscape") {
			winH = window.innerHeight-322;
		}
		if (navigator.appName.indexOf("Microsoft")!=-1) {
			winH = document.body.offsetHeight-322;
		}
	}
	if (winH<0) {
		winH = 0;
	}
	obj.style.height = winH+"px";
}

window.onresize = doResize;