/* Keep primary navigation available after in-page section jumps. */
body > div.relative.min-h-screen {
  overflow-x: clip !important;
  overflow-y: visible !important;
}

body > div.relative.min-h-screen > header {
  position: sticky !important;
  top: 0;
  z-index: 50;
  border-bottom: 1px solid rgb(245 247 244 / 8%);
  background: rgb(6 17 11 / 95%);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
}

main section[id] {
  scroll-margin-top: 5rem;
}