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