rem: s.border = "1px solid"; s.borderColor = "threedshadow threedface threedhighlight threedface"; 
context:     _addDivider: function(menu, index) {        var item = document.createElement("div");        item.className = "menuDivider";        var s = item.style;        s.border = "1px solid";        s.borderColor = "threedshadow threedface threedhighlight threedface";                        s.marginTop = "3px";        s.marginBottom = "3px";        s.marginLeft = "2px";        s.marginRight = "1px";                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/24e02545b42a490e7acd2cb4e45328f823b29e40/Menu.js/buggy/src/thinwire/render/web/resources/Menu.js