[Coq Discourse] Code listings broken in mailing list mode

Hi,

I have subscribed to this Discourse forum using the mailing list mode. I used to have no problems with this; even replying per mail seems to work. However, since recently (this post, I think), code listings are not displayed correctly in my mail client (Thunderbird in my case). I have noticed that the CSS style of the <code> tag has been changed:

It used to be:

<code style="display: block; background-color: #f1f1ff; padding: 5px;; background-color:
 #f1f1ff; padding: 2px 5px;">

Now it is:

<code style="display: block; background-color: #f1f1ff; padding: 5px; background-color: #f1f1ff; line-height: 50%; padding: 2px 5px">

(I.e. line-height: 50% has been added to the CSS style attribute.)

This breakes displaying code snippets in my mail client, but it works in my university web mail.

Thanks
Maximilian

EDIT: For reference, this is how the first code block in this post looks for me (I use white-on-black colours):

1 Like

Sounds to me like this is a bug either in Thunderbird or in Discourse? I doubt the Coq devs can do anything about this locally.

Indeed, this was a bug recently introduced in Discourse, but now fixed. Once the Coq Discourse instance is updated, things should go back to normal.

Original change: https://github.com/discourse/discourse/pull/9225

Fix: https://github.com/discourse/discourse/pull/9274

3 Likes