rem: s.borderStyle = "outset"; s.borderColor = tw_Component.getIEBorder(tw_COLOR_BUTTONFACE, "outset"); 
add: tw_Component.applyButtonBorder(this._button); 
context:     _buttonMouseUpListener: function(ev) {        if (this._enabled && tw_getEventButton(ev) == 1 || ev.type == "mouseout") {            var s = this._button.style;            s.borderStyle = "outset";            s.borderColor = tw_Component.getIEBorder(tw_COLOR_BUTTONFACE, "outset");            s.borderWidth = this._buttonBorderSize + "px";            s.padding = "0px";        }    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/37796fea05d0eb86951d2f34aedeb66e8b500920/DropDown.js/buggy/src/thinwire/render/web/resources/DropDown.js