search

leanprover / reference-manual

Apache License 2.0
23 stars 3 forks source link

Error marker rendered on top of text on mobile #149

Open Kha opened 2 hours ago

Kha commented 2 hours ago

Firefox Android Screenshot_2024-11-15-23-16-29-12_3aea4af51f236e4932235fdada7d1643

david-christiansen commented 2 hours ago

Just to clarify, do you mean the "parser stopped here" marker on line 3, or the red bar next to "example"?

I intentionally made the "Parser stopped here" not take up as much space because it was pushing the content around before, but that decision may need more refinement.

The red bar on the left should definitely not touch the text.