  var sideHeight = height - (this.shadowOffset+this.shadowThickness+1); if (sideHeight < 0) { sideHeight = 0; } if (height < 1) { height = 1; } if (width < 1) { width = 1; } with(this.pieces){ l.style.height = sideHeight+"px"; r.style.height = sideHeight+"px"; b.style.width = (width-1)+"px"; bl.style.top = (height-1)+"px"; b.style.top = (height-1)+"px"; br.style.top = (height-1)+"px"; tr.style.left = (width-1)+"px"; r.style.left = (width-1)+"px"; br.style.left = (width-1)+"px"; } } 
  var sideHeight = height - (this.shadowOffset+this.shadowThickness+1); if (sideHeight < 0) { sideHeight = 0; } if (height < 1) { height = 1; } if (width < 1) { width = 1; } with(this.pieces){ l.style.height = sideHeight+"px"; r.style.height = sideHeight+"px"; b.style.width = (width-1)+"px"; bl.style.top = (height-1)+"px"; b.style.top = (height-1)+"px"; br.style.top = (height-1)+"px"; tr.style.left = (width-1)+"px"; r.style.left = (width-1)+"px"; br.style.left = (width-1)+"px"; } } 
	size: function(/* int */width, /* int */height){		//	summary		//	Resizes the shadow based on width and height.		var sideHeight = height - (this.shadowOffset+this.shadowThickness+1);		if (sideHeight < 0) { sideHeight = 0; }		if (height < 1) { height = 1; }		if (width < 1) { width = 1; }		with(this.pieces){			l.style.height = sideHeight+"px";			r.style.height = sideHeight+"px";			b.style.width = (width-1)+"px";			bl.style.top = (height-1)+"px";			b.style.top = (height-1)+"px";			br.style.top = (height-1)+"px";			tr.style.left = (width-1)+"px";			r.style.left = (width-1)+"px";			br.style.left = (width-1)+"px";		}	}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js