diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 6ecdddc..c51578e 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -40,6 +40,17 @@ color: #333; } +/* Keep TOC anchor jumps clear of the sticky header */ +.md-typeset :target { + --md-scroll-margin: 4.35rem; +} + +@media screen and (min-width: 76.25em) { + .md-header--lifted ~ .md-container .md-typeset :target { + --md-scroll-margin: 4.35rem; + } +} + /* Images with shadow */ .md-typeset img { display: block;