/* FIX44: one navigation geometry in all three themes. */
/* FIX40 used position:relative on Halloween .topbar and disabled original sticky. */
body .topbar,
body.season-autumn .topbar,
body.season-halloween .topbar {
  position: sticky !important;
  top: 14px !important;
  margin-top: 14px !important;
  z-index: 60 !important;
  box-sizing: border-box !important;
}
@media(max-width:850px){
  body .topbar, body.season-autumn .topbar, body.season-halloween .topbar {
    top: 8px !important;
    margin-top: 8px !important;
  }
}
@media(max-width:560px){
  body .topbar, body.season-autumn .topbar, body.season-halloween .topbar {
    top: max(6px, env(safe-area-inset-top, 0px)) !important;
  }
}