https://koka-lang.github.io/koka/doc/book.html

Provides an automatically expanding table-of-contents in a side-panel next to the main content. The TOC must be in a SidePanel block, while all the other content must be in a MainPanel.