Hmm, the text size in IE seems the same, but in Opera 7.23 it looks like it is compressed. I don't know if there's anything in the new layout that finally went online that would have done this, but it definately isn't the same.
Oh, and count this as a vote for Opera over Mozilla too. Just personal preference, either one is much better than IE.
Donating several clicks a day.