Scroll to heading should be configurable with an offset

Could be an interesting feature to have.

Will think about it.

A new "Scroll offset" configuration option has been added:

@flocondetoile could you give it a try and tell me what you think of it?

Looks good and works fine.

I guess you choose to apply a scroll-margin-top to each heading of the TOC, instead of a global scroll-padding-top to the html element (and so simpler), because it's let us more control to vary (if needed) this behavior per heading (via theme or other magic css) ?

Yep, and I think that adding a scroll-padding-top on the HTML element should rather be done in the site theme than in a module.

In our case, I think that the better solution is to add a custom class that will apply the scroll margin to the page headings.

Automatically closed - issue fixed for 2 weeks with no activity.