As seen in !216, the current style requires some ugly workaround in case there are internal links on a given page Start of discussion is [here](https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/216#note_226500) Proposed design for a solution is [here](https://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/216#note_226511) - Provide `scroll-padding-top:` in `main.css` - Overload the rule for pages that have particular layout (API for example) - Remove "anchor" CSS rule (in particular in publication page) - Add `@media` rules for dealing with the different screen sizes