docgen strange position of equals sign

Stream: general

[Christian Merten]

While

import Mathlib.CategoryTheory.Limits.Preserves.Shapes.Pullbacks

#check CategoryTheory.Limits.PreservesPullback.iso_inv_fst

renders as expected, note the = comes at the expected place, the = comes right after the first argument in docs#CategoryTheory.Limits.PreservesPullback.iso_inv_fst. Is this known?

[Christian Merten]

Aha, apparently it depends on the zoom level. For everyone who can't see the positioning issue, here is a screenshot:
image.png

[Kevin Buzzard]

Oh yikes, the equation it's displaying probably doesn't even typecheck.

[Andrew Yang]

I think the issue is the LHS is too long and the browser wraps the line.

[Christian Merten]

But why does this not keep the ordering of the symbols invariant?

[Floris van Doorn]

It probably uses separate boxes for the LHS and RHS of the equality, and so the newline is within the "LHS box". When selecting the text you can see that the selection-order is still correct.