rem: wHeight = document.body.clientHeight - 80; 
add: wHeight = document.body.clientHeight - 60; 
context: function resizeInputs() {	var el = document.getElementById('htmlSource');	if (!tinyMCE.isMSIE) {		 wHeight = self.innerHeight-80;		 wWidth = self.innerWidth-16;	} else {		 wHeight = document.body.clientHeight - 80;		 wWidth = document.body.clientWidth - 16;	}	el.style.height = Math.abs(wHeight) + 'px';	el.style.width  = Math.abs(wWidth) + 'px';}
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/9362d920af6e8ae9f9da985073e6b943f020e6b3/source_editor.js/buggy/jscripts/tiny_mce/themes/advanced/jscripts/source_editor.js