rem: output.style.height = (document.body.clientHeight - output.offsetTop - 10) + "px"; 
add: output.style.height = (document.body.clientHeight - output.offsetTop - 15) + "px"; 
context: function resize() {	var output = $('output');    output.style.height = (document.body.clientHeight - output.offsetTop - 10) + "px";}
meta: 1782	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1782/3f0bcc29b1d13b6ec87c6b75980c7f271e175e80/sandbox.js/clean/webapp/sandbox/scripts/sandbox.js