var CssUpdater = {
    // FireFox displays monospace very small by default, so we'll fix it here.
    resizeMonospace: function() {
      if (!document.defaultView) { return; }
      if (!document.getElementById) { return; }
    
      var pres = CssUpdater.getMonospace();
      if (pres.length < 1) { return; }
    
      var min = 12;
      var computed; var size;
      for (var i=0, j=pres.length; i<j; i++) {
        computed = document.defaultView.getComputedStyle(pres[i],null).getPropertyValue("font-size");
        size = computed.replace(/px$/,''); // usually defined in px, but could it be pt?
        if (size < min ) {
          pres[i].style.fontSize = min + "px";
        }
      }    
    },
    getMonospace : function() {
        // for now, assume just these.
        var monotypes = ['code', 'pre', 'var', 'samp'];
        var elems = [];
        for(var i=0, j=monotypes.length; i<j; i++) {            
            var monotags = document.getElementsByTagName(monotypes[i]);
            for (var k=0, m=monotags.length; k<m; k++) {
                elems[elems.length] = monotags[k];
            }
        }
        return elems;
    }
}
// Right now, this is the only window.onload event, so we'll just call it like this rather
// than depend on an addEvent.
window.onload = CssUpdater.resizeMonospace;