Commit 4a42360
doc: add scroll margin to links
PR-URL: #58982
Reviewed-By: Claudio Wunder <cwunder@gnome.org>
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Ulises Gascón <ulisesgascongonzalez@gmail.com>
Reviewed-By: Tierney Cyren <hello@bnb.im>1 parent d02831e commit 4a42360
1 file changed
Lines changed: 8 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -373,6 +373,11 @@ p { | |||
| 373 | 373 | padding-bottom: 2rem; | |
| 374 | 374 | } | |
| 375 | 375 | ||
| 376 | + /* prevent the module-level sticky stability header from overlapping the section headers when clicked */ | ||
| 377 | + #apicontent:has(> .api_stability) a { | ||
| 378 | + scroll-margin-top: 50px; | ||
| 379 | + } | ||
| 380 | + | ||
| 376 | 381 | table { | |
| 377 | 382 | border-collapse: collapse; | |
| 378 | 383 | margin: 0 0 1.5rem; | |
@@ -837,6 +842,9 @@ kbd { | |||
| 837 | 842 | .api_stability { | |
| 838 | 843 | top: 0; | |
| 839 | 844 | } | |
| 845 | + #apicontent a { | ||
| 846 | + scroll-margin-top: 0; | ||
| 847 | + } | ||
| 840 | 848 | } | |
| 841 | 849 | ||
| 842 | 850 | @media not screen, (max-height: 1000px) { | |
0 commit comments