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: