// JavaScript Document

function adviseNavHeight(){
var con = document.getElementById("content");
var lmenu = document.getElementById("navlinks");
var ibar = document.getElementById("infobar");
var conheight = con.offsetHeight;
var lmenuheight = lmenu.offsetHeight;
var ibarheight = ibar.offsetHeight;
var sbarheight =  (conheight - lmenuheight - ibarheight); 
alert("Set NavigationSide height as "+conheight+"px");
alert("Available sidebar height is "+sbarheight+"px");
}

function setNavHeight(){
var con = document.getElementById("content");
var ad = document.getElementById("adpanel");
var conheight = con.offsetHeight;
var adheight = ad.offsetHeight;
var setheight;
if(adheight >= conheight){
setheight = adheight + "px";}
	else{ setheight = conheight + "px";}
var navside = document.getElementById("navigationside");
navside.style.height = setheight;
<!--alert("autoheight is set at "+setheight+"px");-->
}