<code> and <pre> are locked and using your browser's default user agent stylesheet. There's no need to modify them to accommodate a browser that doesn't support (for unknown reasons) them.
They're using the default stylesheet because your stylesheet doesn't override its defaults. I don't know what you mean by "locked". You can style those elements.
They're using the default stylesheet because your stylesheet doesn't override its defaults.
That's incorrect. Torbrowser is based on Firefox and it looks like its default stylesheet doesn't seem to handle <pre> and/or <code> properly (works perfectly fine with all the other browsers). You should submit a bug report to its devs.
(post is archived)