rem: tree.style.height = ((document.body.clientHeight - tree.offsetTop) - 15) + "px"; 
add: tree.style.height = ((document.body.clientHeight - tree.offsetTop) - 50) + "px"; 
context: function resize() {	var tree = $('navtree');    tree.style.height = ((document.body.clientHeight - tree.offsetTop) - 15) + "px";        var panel = $('panel-right');    panel.style.width = (document.body.clientWidth - 350) + 'px';    panel.style.height = tree.style.height;        var details = $('details');    details.style.height = (panel.offsetHeight - details.offsetTop) + 'px';}
meta: 1782	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1782/42d2a0c5dad853d7960f16946596b8ff37a45060/report.js/clean/webapp/xqts/scripts/report.js