This merges in a number of of Sphinx changes, specifically with an eye towards generating good structural and typographic output in the final, rendered HTML.
It was done in a separate branch because, ultimately, it does add dependency on two Sphinx extensions, sphinx-multitoc-numbering and sphinx_external_toc, but it's primarily meant to get the output right.
The goal is for future changes to Sphinx builds to take place just within the files and not alter the Sphinx toolchain.
This merges in a number of of Sphinx changes, specifically with an eye towards generating good structural and typographic output in the final, rendered HTML.
It was done in a separate branch because, ultimately, it does add dependency on two Sphinx extensions,
sphinx-multitoc-numberingandsphinx_external_toc, but it's primarily meant to get the output right.The goal is for future changes to Sphinx builds to take place just within the files and not alter the Sphinx toolchain.