[michaelcampbell]

I'm fine with proportionally spaced fonts when not coding. I'm also in love with extra space at the end of sentences; HTML based displays took the easy way out, there.