hi,
ich würde vermuten, dass das <pre>-tag per stylesheets (white-space:normal, statt white-space:pre) so definiert wurde, dass es zwar pre-eigenschaften hat, jedoch dennoch automatisch umbricht.

Fabian Transchel