message: Switch from position: fixed to sticky
  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: @@ -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
  