Good catch! But I don't think it's the cause of the problem. I added a </pre> tag in manually, and there was no visible difference. (Of course, it should be fixed if possible anyway -- always a good idea to close HTML tags . . . .)
On the other hand, if I remove the "height: 34 pix", then it displays as I think it should. So the height calculations are messed up . . . .