Whoops.

I found the reason why preformatted text was being double spaced in FireFox. It has to do with how FireFox interpretes the paragraph tag, not the pre tag, which made the problem difficult to find. It turns out my Blog program was putting in superfluous paragraph tags every time I hit return and this was messing things up. So if you use FireFox, the textual layout of my blog just got a little better.