search

Leaflet / Leafdoc

A lightweight NaturalDocs-like LeafletJS-style documentation generator
54 stars 19 forks source link

Use position:sticky CSS #23

Open IvanSanchez opened 7 years ago

IvanSanchez commented 7 years ago

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.