[WIP] Add progressive navigation for table of contents#480

Copilot wants to merge 3 commits intomainpmndrs/docs:mainfrom

copilot/implement-progressive-nav-tocpmndrs/docs:copilot/implement-progressive-nav-tocCopy head branch name to clipboard