WPMU DEV Manuals

Are you using a plugin for the WPMUDEV manuals. I love the layout, wondering if there's a plugin for it.