leanprover/doc-gen4

Lines don't wrap in the instance list of some declarations

hrmacbeth opened this issue · 1 comments

For me (Firefox on Mac) the declaration abs_eq_zero displays without line wrapping in the list of instances. I don't seem to have Github permissions to add a screenshot, unfortunately.

In the corresponding declaration in doc-gen3, there is line wrapping.

Fixed by #116