[zermelo44]

The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables.

How did you achieve this?

[hiimkeks]

Aljoscha initially built the macro framework for the specs on willowprotocol.org

[carsonfarmer]

Thanks, that's all due to my co-author. Here's what we used: https://news.ycombinator.com/item?id=41589728 (link is to a post from @msy)

[cabidaher]

from a quick look, I believe the code for the page is here: https://github.com/g-trees/g_trees