convert <pre> and <code> to <tt>

This is more consistent with the rest of the document.