Backport PR jupyterlab#15703: Add scroll margin to headings for bette…

…r alignment
krassowski · Jan 29, 2024 · d4887f5 · d4887f5
1 parent c00b0ca
commit d4887f5
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,