How to make like WPMU /manuals? – is plugin or?

I try find a solutions for make a “guide/manuel” as WPMU have on the site: https://premium.wpmudev.org/manuals/ – can some help me to figure out what plugin or / design have been used to make that? – thank you :slight_smile: