He's probably using Exploder and can't resize the font to be bigger. Which is another reason Micro$oft deserves to be shot for making such a horrible browser.
Edit: There also appear to be a few instances remaining of 9px/7.5pt Verdana, which is pretty small. It's not really worth worrying about though.
