context: function getDefaultFontSize(){    const PREF_CTRID = "@mozilla.org/preferences-service;1";    const nsIPrefService = Components.interfaces.nsIPrefService;    const nsIPrefBranch = Components.interfaces.nsIPrefBranch;    const XHTML_NS = "http://www.w3.org/1999/xhtml";        var prefSvc = Components.classes[PREF_CTRID].getService(nsIPrefService);    var prefBranch = prefSvc.getBranch(null);        // PX size pref: font.size.variable.x-western    var pxSize = 16;    try    {        pxSize = prefBranch.getIntPref("font.size.variable.x-western");    }    catch(ex) { }        var dpi = 96;    try    {        // Get the DPI the fun way (make Mozilla do the work).        var b = document.createElement("box");        b.style.width = "1in";        dpi = window.getComputedStyle(b, null).width.match(/^\d+/);    }    catch(ex)    {        try        {            // Get the DPI the fun way (make Mozilla do the work).            b = document.createElementNS("box", XHTML_NS);            b.style.width = "1in";            dpi = window.getComputedStyle(b, null).width.match(/^\d+/);        }        catch(ex) { }    }        return Math.round((pxSize / dpi) * 72);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/4cd3ec76af2e3a9922c2d114bf4267b40b388ac2/static.js/clean/extensions/irc/xul/content/static.js