The only other way to handle <pre> tags is to wrap these long lines, but i do not see how that is not fundamentally broken considering that the entire purpose of the <pre> tag is to show preformatted text.