Main: fix code block formatting

The {@code ...} syntax does not support embedded <br>s, whereas the
<pre> syntax works as desired.