HTML code font too large, and too narrow

[jonoabroad]

This has been moved as it was originally opened against a particular book.

Have such a big difference between the PAD and the HTML makes it very hard to produce and check the document.

I can't see a reason why the HTML shouldn't just be as wide as it needs for code.