I think you should visually check and see what renders best. On the LMS side of things I actually think `<code>` renders better than `<pre><code>`, IIRC from running a course previously.