/* Keep the primary navigation available while long pages are scrolled. */
body > header,
.site-header,
#app-shell > header,
.landing-header {
  position: sticky;
  top: 0;
  z-index: 30;
  background: rgba(255, 255, 255, 0.96);
  -webkit-backdrop-filter: blur(14px);
  backdrop-filter: blur(14px);
}