<pre> tags subbed for <code> tags

Except in the detectors, which don't handle <pre> or <code> well.