rem: if (this._windowMenu) { s.borderBottom = "2px groove"; s.position = ""; this._borderBox = null; } else { s.borderWidth = "2px"; s.borderStyle = "outset"; } 
add: this._boxSizeSub = tw_sizeIncludesBorders ? 0 : parseInt(s.padding) * 2; 
context:     construct: function(id, containerId, props) {        this.$.construct.apply(this, ["div", "mainMenu", id, containerId]);        this._windowMenu = props.windowMenu;                        delete props.windowMenu;        var s = this._box.style;        s.overflow = "visible";        s.padding = "1px";        s.marginBottom = "1px";        s.zIndex = "1";        s.background = tw_COLOR_THREEDFACE;        s.fontFamily = tw_FONT_FAMILY;        s.fontSize = "8pt";        s.fontColor = tw_COLOR_MENUTEXT;        s.borderColor = tw_borderColor;        if (this._windowMenu) {            s.borderBottom = "2px groove";            s.position = "";            this._borderBox = null;        } else {            s.borderWidth = "2px";            s.borderStyle = "outset";        }                this._mainMenuMouseOver = this._mainMenuMouseOver.bind(this);        this._mainMenuMouseDown = this._mainMenuMouseDown.bind(this);        this._mainMenuMouseOut = this._mainMenuMouseOut.bind(this);        this._mainMenuClick = this._mainMenuClick.bind(this);                this._itemMouseOver = this._itemMouseOver.bind(this);        this._itemClick = this._itemClick.bind(this);                var initData = props.initData;        delete props.initData;                        this._load(this._box, initData);        this.init(-1, props);    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/f1782c774313ba79c127ba5da30580c5ce1f4c32/Menu.js/buggy/src/thinwire/render/web/resources/Menu.js