/* Only the site navigation sticks; article headings keep their normal layout. */
body > header {
  position: sticky;
  top: 0;
  z-index: 100;
  width: 100%;
  max-width: none;
  height: 76px;
  min-height: 76px;
  background: rgba(245, 245, 240, .80);
  border-bottom: 1px solid rgba(25, 27, 29, .10);
  box-shadow: 0 6px 24px rgba(13, 45, 55, .035);
  -webkit-backdrop-filter: blur(20px) saturate(145%);
  backdrop-filter: blur(20px) saturate(145%);
}
[data-theme="dark"] body > header {
  background: rgba(21, 25, 28, .80);
  border-bottom-color: rgba(237, 240, 238, .12);
  box-shadow: 0 6px 24px rgba(0, 0, 0, .12);
}
html { scroll-padding-top: 120px; }
.article-prose section { scroll-margin-top: 120px; }
.article-toc { top: 124px; }
body:has(> .topbar) .layout > aside { top: 124px; }
body:has(> .topbar) .summary { scroll-margin-top: 150px; }
@media (max-width: 900px) {
  body > header { height: 68px; min-height: 68px; }
  body > header.topbar { height: auto; padding-top: 12px; padding-bottom: 12px; gap: 12px; }
  html:has(body > .topbar) { scroll-padding-top: 180px; }
  body:has(> .topbar) .layout > aside { top: 180px; }
}
@supports not ((backdrop-filter: blur(1px)) or (-webkit-backdrop-filter: blur(1px))) {
  body > header { background: #f5f5f0; }
  [data-theme="dark"] body > header { background: #15191c; }
}