rem: s.borderWidth = this._box.style.borderWidth; 
add: s.borderWidth = this._borderSize + "px"; 
context:     _buttonMouseUpListener: function(event) {        if (!this.isEnabled() || tw_getEventButton(event) != 1) return;         var s = this._button.style;        var bs = tw_Component.defaultStyles["Button"];        s.borderStyle = bs.borderType;        s.borderWidth = this._box.style.borderWidth;        s.borderColor = tw_Component.getIEBorder(bs.borderColor, bs.borderType);        s.padding = "0px";        },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/d532c0ea03ef1c91856bba5408f049541b39c2ba/DropDown.js/buggy/src/thinwire/render/web/resources/DropDown.js