add: if (newHeight < minSize) { newHeight = minSize; } 
context: function resizeVertical(expandableId, fixed1Id, fixed2Id, minSize, padding) {    var isSafari = (navigator.userAgent.indexOf('Safari/') != -1);    if (isSafari) padding += 20;  // newHeight gets computed too large on Safari		var newHeight;	if (window.innerHeight) {		newHeight = window.innerHeight;	} else {        newHeight = document.body.clientHeight;	}	if (fixed1Id) {	    var fixed1 = document.getElementById(fixed1Id);	    if (fixed1) newHeight -= fixed1.offsetHeight;	}	if (fixed2Id) {	    var fixed2 = document.getElementById(fixed2Id);	    if (fixed2) newHeight -= fixed2.offsetHeight;	}	if (padding) {	    newHeight = newHeight - padding;	}	var expandable = document.getElementById(expandableId);	if (expandable) {	    expandable.style.height = newHeight + "px";	}}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/9ff3e3aa8b4929fca211919a6b46c94c24efdba7/resize.js/clean/org.eclipse.help.webapp/advanced/resize.js