rem: if (!tw_isIE && !tw_isGecko) s.lineHeight = "0px"; 
add: if (tw_isOpera) s.lineHeight = "0px"; 
context: function tw_getFontMetrics(family, size, bold, italic, underline) {    var comp = document.createElement("div");    var s = comp.style;    s.position = "absolute";    s.width = "1px";    s.height = "1px";    s.top = "0px";    s.left = "0px";    if (!tw_isIE) s.overflow = "auto";    if (!tw_isIE && !tw_isGecko) s.lineHeight = "0px";    s.whiteSpace = "nowrap";    s.backgroundColor = tw_COLOR_TRANSPARENT;    s.color = tw_COLOR_TRANSPARENT;        s.fontSize = size + "pt";    s.fontFamily = family;    s.fontWeight = bold ? "bold" : "normal";    s.fontStyle = italic ? "italic" : "normal";    s.textDecoration = underline ? "underline" : "none";    document.body.appendChild(comp);            var metrics = [0];        for (var i = 0, cnt = tw_fontChars.length; i < cnt; i++) {        var text = document.createTextNode(tw_fontChars[i]);        comp.appendChild(text);        if (i == 65) metrics[0] = comp.scrollHeight;        metrics.push(comp.scrollWidth);        comp.removeChild(text);    }        document.body.removeChild(comp);    return metrics.join(",");}
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/24e02545b42a490e7acd2cb4e45328f823b29e40/Startup.js/clean/src/thinwire/render/web/resources/Startup.js