Should
the way this appears be regarded as a bug in the site's CSS? In Firefox, some of the parts formatted just with
<code>
</code>
and spanning multiple lines appear monospaced but not with the gray code highlighting. Even
<pre>
without
<code>
applies that gray highlighting on SE sites, but apparently there are circumstances where
<code>
without
<pre>
, over multiple lines, fails to apply it. (Unless this is somehow intentional...)