let's exploit the brower here: `<script type="text/example">...</script>` instead of `<p><pre><code>`, and use css that styles it correctly, `script[type='text/example'] { font-family: monospace; white-space: pre; }`