rem: document.getElementById("marginBoxTable").style.display = null; 
add: document.getElementById("marginBoxTable").style.removeProperty("display"); 
context: function updateMetricsPane(){    var style;    var focusedNode = Inspector.focusedDOMNode();    if (focusedNode.nodeType == Node.ELEMENT_NODE)        style = focusedNode.ownerDocument.defaultView.getComputedStyle(focusedNode);    if (!style || style.length == 0) {        document.getElementById("noMetrics").style.display = null;        document.getElementById("marginBoxTable").style.display = "none";        return;    }    document.getElementById("noMetrics").style.display = "none";    document.getElementById("marginBoxTable").style.display = null;    setBoxMetrics(style, "margin", "");    setBoxMetrics(style, "border", "-width");    setBoxMetrics(style, "padding", "");    var size = style.getPropertyValue("width").replace(/px$/, "")        + " \u00D7 "        + style.getPropertyValue("height").replace(/px$/, "");    document.getElementById("content").textContent = size;    if (noMarginDisplayType[style.display] == "no")        document.getElementById("marginBoxTable").setAttribute("hide", "yes");    else        document.getElementById("marginBoxTable").removeAttribute("hide");    if (noPaddingDisplayType[style.display] == "no")        document.getElementById("paddingBoxTable").setAttribute("hide", "yes");    else        document.getElementById("paddingBoxTable").removeAttribute("hide");}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5650/96e0c5e3580a3b4a93b5c6c0c169c00356531186/inspector.js/buggy/WebKit/WebInspector/webInspector/inspector.js