rem: height -= this._borderSizeSub; 
add: height -= this._buttonBorderSize * 2; 
context:     setHeight: function(height) {        arguments.callee.$.call(this, height);        height -= this._borderSizeSub;        if (!tw_sizeIncludesBorders) height -= this._buttonBorderWidth * 2;        if (height < 0) height = 0;                this._buttonBorder.style.height = height + "px";        height -= this._borderSizeSub;        if (height < 0) height = 0;                this._button.style.height = height + "px";     },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/08678d7dea9b1128e89dae68c0cc8da8c8dec68c/DropDown.js/buggy/src/thinwire/render/web/resources/DropDown.js