Replace <pre> to look better on mobile

How about this, @mike-burns?

Looks very close to the old style but lines will now wrap in very small windows, and the page will scale on iPhone so lines are not cut off.

The CSS file is intentionally not root-relative ("style.css" instead of "/style.css") so it just works if you open the HTML file locally, without a web server set up.