Userscripts.org

// ==UserScript==
// @name          Tot_dem_winzigen - Death to the micros. 
// @namespace     http://browseimages.mozdev.org/
// @description   Increases the font size to 9pt of smaller text parts to make it readable.
// @include       *viewtopic*
// ==/UserScript==

var span = document.getElementsByTagName("span");

for(var i = 0; i < span.length; i++) {
    
    spst = span[i].getAttribute("style");
    
    if(spst != null && 
       (spst.toString() == "font-size: 8px; line-height: normal;" ||
        spst.toString() == "font-size: 7px; line-height: normal;" ||
        spst.toString() == "font-size: 6px; line-height: normal;" ||
        spst.toString() == "font-size: 5px; line-height: normal;" ||
        spst.toString() == "font-size: 4px; line-height: normal;" ||
        spst.toString() == "font-size: 3px; line-height: normal;" ||
        spst.toString() == "font-size: 2px; line-height: normal;" ||
        spst.toString() == "font-size: 1px; line-height: normal;")) {
        
         span[i].setAttribute("style", "font-size: 9px; line-height: normal;");
       
    }
    
    
}