When HTML pages are extended I find it quite useful to have a TOC (table of Content) available all along with your scrolling.
A good example of an implementation of such a functionality is the Worg webpages (here is an example), which are generated from org files.
So my question is, how is this done? Is it done through a CSS file? If it is, what would the CSS code be?