/* Keep the whole header (logo included) pinned while scrolling on PC.
 * The right-side controls are already position: fixed in /module/css/common.css,
 * so the header itself only needs to stick and paint a full-width background. */
@media screen and (min-width: 737px) {
  #header {
    position: sticky;
    top: 0;
    z-index: 100;
    background: #fff;
    /* Extend the background to the viewport edges without causing horizontal scroll. */
    border-image: linear-gradient(#fff, #fff) fill 0 / 0 / 0 100vmax;
  }
}

/* Leaflet panes/controls use z-index 400-1000 without a stacking context of their
 * own, so they would paint over the sticky header. Keep them inside the map. */
.leaflet-container {
  isolation: isolate;
}