Use position:sticky CSS

[IvanSanchez]

There is this cool CSS trick:

https://developer.mozilla.org/en-US/docs/Web/CSS/position#Sticky_positioning

It would be very nice to have that in the namespace/section/subsection headers, in order to never lose track of context.