Switch from position: fixed to sticky

jsha · syphar · commit 79b720fb6b24 · 2022-01-16T20:42:00.000+01:00
This allows us to remove `padding-top: $top-navbar-height !important` on
body.

Also, remove an obsolete workaround for older Chrome browsers to put
scroll-padding-top on `body` rather than `html`.
diff --git a/templates/style/_navbar.scss b/templates/style/_navbar.scss
@@ -15,7 +15,7 @@ div.nav-container {
     left: 0;
     right: 0;
     top: 0;
-    position: fixed;
+    position: sticky;
     color: var(--color-navbar-standard);
     font-family: $font-family-sans;
 
@@ -288,17 +288,6 @@ div.nav-container {
     color: var(--color-navbar-standard);
 }
 
-body {
-    // Since top navbar is fixed, we need to add padding to the body content.
-    padding-top: $top-navbar-height !important;
-
-    // The scroll padding on the <body> is necessary for Chrome
-    // browsers for now (see
-    // https://css-tricks.com/fixed-headers-on-page-links-and-overlapping-content-oh-my/
-    // for an explanation)
-    scroll-padding-top: $top-navbar-height;
-}
-
 html {
     // Offset anchor jump targets down by this much, so they don't
     // overlap the top navigation bar (not supported on Desktop/Mobile
