There is also Coq's documentation system, which has its own distinctive look:

https://softwarefoundations.cis.upenn.edu/lf-current/Basics....