search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Fix line height in lists #1114

Closed VojtechStep closed 7 months ago

VojtechStep commented 7 months ago

An issue discovered by @fredrik-bakke — code blocks in lists inherit bigger line spacing, making the ASCII diagrams more stretched.

Compare 20240416 133603 screen