Fixes <pre></pre> blocks in HTML pages so that they display properly and can be cut and pasted as code.

Replaces <p> and <br> tags in code blocks with real carriage returns and line breaks.