rem: var borderSize = parseInt(this.getStyle("borderSize")) / 2; 
add: var borderSize = this._borderSize / 2; 
context:     _addDivider: function(menu, index) {        var item = document.createElement("div");        item.className = "menuDivider";        var s = item.style;        s.marginTop = "3px";        s.marginBottom = "3px";        s.marginLeft = "2px";        s.marginRight = "1px";                var borderSize = parseInt(this.getStyle("borderSize")) / 2;                s.borderTopWidth = Math.floor(borderSize) + "px";        s.borderRightWidth = s.borderLeftWidth = "0px";        s.borderBottomWidth = (borderSize < 1 ? 1 : Math.floor(borderSize)) + "px";        var borderStyle = this._getReverseBorderStyle(this.getStyle("borderType"));        s.borderStyle = borderStyle;        s.borderColor = tw_Component.getIEBorder(this.getStyle("borderColor"), borderStyle);                var parent = menu.lastChild;                if (index == -1) {            parent.appendChild(item);        } else if (index >= parent.childNodes.length) {            parent.appendChild(item);        } else {            var before = parent.childNodes.item(index);            parent.insertBefore(item, before);        }                return item;    },           
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