Mitchell Riley comments

Results 6 comments of


                                            Mitchell Riley

Unwanted vertical space after `aligned` environment

#725 may be responsible: if I reach in and change this line: https://github.com/KaTeX/KaTeX/blob/613c3da85b083f602c0d5265da0f735ddb728dbb/src/environments/array.js#L693 then the extra spacing at the end disappears and the other lines become more cramped. Should that...

Unwanted vertical space after `aligned` environment

Sure, if I'm understanding correctly it really is a one-line change. But, it causes some spacing changes in a couple of the other tests. Are either of these a cause...

Skip the jot on the final line in an `align` or `gather` environment

I'm having trouble regenerating those screenshots on my machine, so I'll need some help here, sorry.

Skip the jot on the final line in an `align` or `gather` environment

This should be good to go now.

Markdown code blocks without `agda` identifier

I see the issue in theory, but when I actually revert the commit and try it on your example as a `.lagda.md` file, it seems to work fine! Is some...

Markdown code blocks without `agda` identifier

Does it also work for you? Hopefully it's not just my machine, or something I messed up while poking around.