so you don't need to reload the content at any time.
This appears to have "fixed" the IE stuff, so add the <pre></pre> around
the body which IE needs since it apparently doesn't support
white-space: pre; in the CSS.