This PR switches up the structure of the docs slightly so we use multiple pages instead of a long single page. It uses the material theme's toc.integrate feature to integrate table of contents with nav on the left as well as navigation.instant to we pre-fetch the page so it still feels somewhat single-pagey.
May not be strictly necessary to make these changes, so happy to close without merging if the current single-page approach suffices.
This PR switches up the structure of the docs slightly so we use multiple pages instead of a long single page. It uses the material theme's
toc.integrate
feature to integrate table of contents with nav on the left as well asnavigation.instant
to we pre-fetch the page so it still feels somewhat single-pagey.May not be strictly necessary to make these changes, so happy to close without merging if the current single-page approach suffices.
Closes #334