Default UI for Khronos Antora sites, forked 2023-03-12 from https://gitlab.com/antora/antora-ui-default at commit 41b1c83f648a656fcbb274a8003d7292ba4136b0 - View it on GitHub