Wouldn't it be better to use a [`<code>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/code) element, instead of `<pre>`?