rem: button.style.borderColor = tw_Component.getIEBorder(this.getStyle("borderColor"), "outset"); 
add: button.style.borderColor = tw_Component.getIEBorder(this._borderColor, "outset"); 
context:     _setHighlight: function(item, highlight) {                var button = item.firstChild;                                if (item.className == "menuItem") {            if (highlight) {                button.tw_invertArrow = true;                button.style.color = tw_COLOR_HIGHLIGHTTEXT;                button.style.backgroundColor = tw_COLOR_HIGHLIGHT;                if (this._activeMenuItem != null && this._fullIndex(item).indexOf(this._fullIndex(this._activeMenuItem)) != 0) this.close(this._activeMenuItem);                this._activeMenuItem = item;            } else {                                button.tw_invertArrow = false;                button.style.color = "";                button.style.backgroundColor = "";            }                        this._setArrowVisible(item, item.lastChild.childNodes.length > 0);        } else {                            if (this._activeMenuItem != null) {                this._setHighlight(this._activeMenuItem, false);                this._activeMenuItem = null;            }            if (highlight) {                button.style.borderStyle = this._menusAreVisible ? "inset" : "outset";                 button.style.borderColor = tw_Component.getIEBorder(this.getStyle("borderColor"), "outset");            } else {                button.style.borderStyle = "solid";                button.style.borderColor = this.getStyle("backgroundColor");            }        }            },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/d532c0ea03ef1c91856bba5408f049541b39c2ba/Menu.js/buggy/src/thinwire/render/web/resources/Menu.js