add: if(self.TextBoxHeight)  box.setAttribute("style","height:"+(TextBoxHeight-270)+"px"); 
context: function proofreadpage_toggle_visibility() {	h = document.getElementById("prp_header"); 	f = document.getElementById("prp_footer"); 	s = h.getAttribute("style");	if( s == ""){	     	h.setAttribute("style", "display:none;"); 		f.setAttribute("style", "display:none;"); 	} else {	     	h.setAttribute("style", ""); 		f.setAttribute("style", ""); 	}}
meta: 10854	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10854/3540f2006a2dfa9427144079bf5c8f34d3d857b1/proofread.js/clean/proofread.js