Skip to content

template: Add content navigation

Emmanuele Bassi requested to merge page-contents into main

Some pages, like the class, interface, and structure indices, can get arbitrarily long. It makes sense to provide a quick navigation aid to jump to the appropriate section right from the top, just like we have the "jump to the top" button.

Merge request reports