Looks like custom themes, extensions, and inter-document links. Similar to Antora which you will probably recognise, though Antora also draws content from mult

Looks like custom themes, extensions, and inter-document links. Similar to Antora which you will probably recognise, though Antora also draws content from multiple Git repositories. https://antora.org/ https://antora.org/ (not built with Antora) Showcase of sites using it: https://gitlab.com/antora/antora.org/-/issues/20 https://gitlab.com/antora/antora.org/-/issues/20 (I'm just a user.)