 if (document.body.offsetWidth <= 0) {  var element = this; setTimeout(function() { element.updateSelection() }, 0); return; } 
    updateSelection: function()    {        var listItemElement = this.listItemElement;        if (!listItemElement)            return;        if (!this.selectionElement) {            this.selectionElement = document.createElement("div");            this.selectionElement.className = "selection selected";            listItemElement.insertBefore(this.selectionElement, listItemElement.firstChild);        }        this.selectionElement.style.height = listItemElement.offsetHeight + "px";    },
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/d2fb95f3fa9309126e311327c3c5183ffc51a8c8/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js