search

EGI-Federation / documentation

Sources to build EGI documentation site.
https://docs.egi.eu/
MIT License
13 stars 48 forks source link

Scroll progress for the right-side page summary/headings #569

Open thebe14 opened 1 year ago

thebe14 commented 1 year ago

Implement page position tracking (see e.g. Bootstrap scrollspy). Highlight the current heading (e.g. with bold) in the tree and show a progress line above the tree. See here for an example.