rem: var bs = tw_Component.defaultStyles["Button"]; s.borderStyle = bs.borderStyle; s.borderWidth = this._borderSize + "px"; s.borderColor = tw_Component.getIEBorder(bs.borderColor, bs.borderStyle); 
add: s.borderStyle = "outset"; s.borderColor = tw_Component.getIEBorder(tw_COLOR_BUTTONFACE, "outset"); s.borderWidth = this._buttonBorderSize + "px"; 
context:     _buttonMouseUpListener: function(event) {        if (!this._enabled || tw_getEventButton(event) != 1) return;         var s = this._button.style;        var bs = tw_Component.defaultStyles["Button"];        s.borderStyle = bs.borderStyle;        s.borderWidth = this._borderSize + "px";        s.borderColor = tw_Component.getIEBorder(bs.borderColor, bs.borderStyle);        s.padding = "0px";        },
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