👩🏽🏫 Initial support for proofs and theorems#87
Conversation
Based on `sphinx-proof`
| 'm-0 font-medium py-2 flex min-w-0', | ||
| 'text-md', | ||
| '', | ||
| 'border-y dark:border-y-0 dark:border-l-4 border-slate-400', |
There was a problem hiding this comment.
So (this is great btw) the dark:border-l-4 here causes a small misalignment. To fix it either dark:ml-3 is needed on L164 below, or else dark:border-l-4 should be moved up to the WrapperElement. I prefer the latter solution for parity with dark admonitions.
I tried to do it myself but it results in the wrong border color and I'm not sure how to fix that.
There was a problem hiding this comment.
Ah, ok -- first attempt is in #90, I misread this comment though and see now you were thinking proofs should be more like admonitions. I went back and forth on this in my first pass and decided to make them a bit different intentionally, but not a lot of reason behind that.
I will explore this now and post a screenshot of options.
There was a problem hiding this comment.
I like it better too, I think -- meaning w/ the long border. I am not sure whether the original border color was nicer... though not a big deal.

Based on
sphinx-proofSee: jupyter-book/mystmd#384