Benjamin Bray

[This website](https://theory.stanford.edu/~nikolaj/programmingz3.html#sec-euf--equality-and-uninterpreted-functions) has math rendered using [Madoko](http://madoko.org/reference.html#sec-madoko-philosophy), which renders math and diagram SVGs server-side and includes them the following format: ```html \begin{tikzpicture} \matrix[nodes={draw}, row sep=0.3cm,column sep=0.5cm] { \node [rectangle, draw=none]...

**UPDATE:** StackExchange keeps its TeX code in `` tags, but these are stripped away when copying for security reasons. To copy from StackExchange, we'll need to parse the MathML directly.

I agree, this is a common pain point for me as well, and I've been mulling over solutions in my head for a while. Getting the workflow right is tricky,...

I think we agree on the rough ux, so I'm happy to continue the feedback loop with you if you start on a prototype! Some things to ponder: * I...

Actually, ProseMirror has [built-in support for history](https://github.com/ProseMirror/prosemirror-history), so this is just a matter of enabling the history plugin on the demo page. I'll add it in!

Related to #2 .

Based on the failing automated test artifacts, the new small caps font overrides the default font in some cases. There are also some strange spacing issues. I'll investigate myself, but...

The new commit fixes the font override issue. According to the CSS spec, the `font-variant` property is [not used](https://www.w3.org/TR/2018/REC-css-fonts-3-20180920/#font-rend-props) by the [font matching algorithm](https://www.w3.org/TR/2018/REC-css-fonts-3-20180920/#font-matching-algorithm) when determining which font to display....

This PR is ready for review, no rush though. (the tasklist just has some questions that need attention before merging). The changes to font building at #2866 might also affect...

Thanks @loopmode for the detailed example! It would be an excellent addition to the documentation. Unfortunately for me, my project is large enough that I've already had to modify the...