/* THE NAV IS IN THE PICTURE, NOT A BAR — the home page's nav, shared by every other marketing page
   (Vikram, 2026-09-24: "dont make it standout ... integrate it into the background ... the menu bar
   contracts while we scroll down we need that in other tabs as well"). Transparent at rest with dark
   type and a shorter row; past 40px of scroll it gathers into a floating white pill. The SAME element,
   transitioned, so nothing jumps. Loaded AFTER each page's own styles so it wins at equal specificity.
   index.html carries its own copy of these rules beside its hero. */
.nav{padding:14px 28px;background:transparent;box-shadow:none;left:50%;right:auto;width:100%;transform:translateX(-50%);
  transition:width .38s cubic-bezier(.2,.8,.2,1),top .38s cubic-bezier(.2,.8,.2,1),padding .38s ease,border-radius .38s ease,background .3s ease,box-shadow .3s ease}
.nav .brandPill b{color:var(--navy);text-shadow:none}
.nav .navLinks,.nav .signIn{color:#3d4654}
.nav .navRight .signIn{color:var(--navy);border-color:#d7dce3}
.nav.onLight{background:transparent;box-shadow:none;backdrop-filter:none;-webkit-backdrop-filter:none}
.nav.pill,.nav.pill.onLight{top:12px;width:min(1080px,calc(100% - 40px));padding:8px 10px 8px 18px;border-radius:999px;
  background:rgba(255,255,255,.92);-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);
  box-shadow:0 12px 40px rgba(10,27,51,.14),0 0 0 1px rgba(10,27,51,.06)}
.nav.pill .navLinks{margin-left:40px}
.nav.pill .navRight .signIn{background:var(--navy);border-color:var(--navy);color:#fff;padding:9px 20px}
.nav.pill .navRight .signIn:hover{background:#12305a;border-color:#12305a;color:#fff}
@media(prefers-reduced-motion:reduce){.nav{transition:none}}
/* On a phone: the menu icon is dark like the rest of the type, and an OPEN menu drops the pill for the
   full-width navy sheet header — a white pill over the navy sheet hid the name and the close button. */
.nav .navBurger{color:var(--navy)}
body.mnav .nav,body.mnav .nav.pill{top:0;width:100%;border-radius:0;padding:14px 28px;background:var(--navy-deep);box-shadow:none;
  -webkit-backdrop-filter:none;backdrop-filter:none}
body.mnav .nav .brandPill b{color:#fff}
body.mnav .nav .navBurger{color:#fff}