:root{
  --primary:#4f46e5;
  --green:#4f46e5;
  --primary-600:color-mix(in srgb, #4f46e5 82%, black);
  --primary-300:color-mix(in srgb, #4f46e5 55%, white);
  --primary-100:color-mix(in srgb, #4f46e5 12%, white);
  --green-soft:color-mix(in srgb, #4f46e5 12%, white);
}
/* Site-wide: light divider under the sticky public header (one source of truth,
   applies to every standalone public page whose header is <header class="nav">) */
header.nav{border-bottom:1px solid var(--border,#e8eaed)}