Skip to content

Switch to a branded/customised version of sphinx-book-theme#128

Merged
jsteyn merged 6 commits intomainfrom sphinx-book-themeApr 12, 2022