export/html: Scrolling indication using JS

[stanislaw]

• [ ] When the page is scrolled, the currently selected title shall be highlighted on the TOC view.
• [ ] The current title selection shall persist when switching between D, T, TR, DTR views.