leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

font sizes uneven #31

Closed avigad closed 9 years ago

avigad commented 9 years ago

On the "Documentation" page, the last two lines are in a slightly larger font on my browser. On the "People" page, the items are slightly smaller than the list headers.

soonhokong commented 9 years ago

It follows from a strange behavior of kramdown, the markdown converter that we're using. For some cases, it wraps a list item (<li> tag) with a <p> tag, while sometimes it doesn't. 9b90567dcb391e6e6a4e77243e9779641e8e3862 fixes this problem, at least for documentation page.