/* Desktop navigation spacing; separately versioned to avoid stale CDN caches. */
@media (min-width: 1200px) {
  header .nav > .brand + .navlinks {
    margin-inline-start: 24px !important;
  }
  header .nav > .navlinks > a.ds-remote-download-nav {
    margin-inline-end: 0 !important;
  }
  header .nav > .navlinks + .nav-cta {
    margin-inline-start: 24px !important;
    flex: 0 0 auto;
  }
}