Zulip Chat Archive

Stream: general

Topic: Markdown rendering issue in list.after

Eric Wieser (Dec 18 2020 at 09:34):

Any idea of the cause? docs#list.after. The word lean seems to have leaked out of ```lean ```

Gabriel Ebner (Dec 18 2020 at 09:36):

Maybe because there are spaces in front of the ```lean ?

Floris van Doorn (Dec 18 2020 at 18:13):

Here is a previous topic on this:
It was not clear what causes this exactly. Indentation was a guess back then too, but there were some indented code blocks that did work correctly.

Last updated: Aug 03 2023 at 10:10 UTC