Add scroll-margin-top to headings

krassowski · Jan 26, 2024 · 37059ba · 37059ba
1 parent cd268ce
commit 37059ba
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/packages/rendermime/style/base.css b/packages/rendermime/style/base.css
@@ -283,6 +283,7 @@
   font-style: normal;
   margin: var(--jp-content-heading-margin-top) 0
     var(--jp-content-heading-margin-bottom) 0;
+  scroll-margin-top: var(--jp-content-heading-margin-top);
 }
 
 .jp-RenderedHTMLCommon h1:first-child,
@@ -292,6 +293,7 @@
 .jp-RenderedHTMLCommon h5:first-child,
 .jp-RenderedHTMLCommon h6:first-child {
   margin-top: calc(0.5 * var(--jp-content-heading-margin-top));
+  scroll-margin-top: calc(0.5 * var(--jp-content-heading-margin-top));
 }
 
 .jp-RenderedHTMLCommon h1:last-child,