Reference

The left-menu macro is docsnav::render_auto_tree(section=...). It walks section.pages and section.subsections recursively, auto-expanding any <details> branch that contains the current page, and marks the active leaf link.