Just noticed an odd change: translation mode text marked with the <code> tag set no longer displays as a monospace font, at least on the setup I'm currently using. (It still displays properly in comments and forum posts, even if the tag is enclosed in HTML "<" and ">" brackets rather than dtext square brackets.) Was this function removed on purpose, or is it an inadvertent side effect from the recent updates? Or do I need to test other browser environments to see how (non)universal it is?