:root {
  --paper:#d7dfe7;
  --ink:#202e40;
  --muted:#425367;
  --green:#125985;
  --line:#b8c5d3;
  --orange:#125985;
  --mint:#e3ebf3;
  --white:#eef2f6;
  --section:#cbd6e2;
  --panel:#20364f;
  --panel-text:#f8fafc;
  --panel-muted:#bfd1e0;
  --focus:#125985;
  font-family:Geist,ui-sans-serif,system-ui,sans-serif;
  color:var(--ink);
  background:var(--paper);
  font-synthesis:none
}
* {
  box-sizing:border-box
}
html {
  scroll-behavior:smooth
}
body {
  margin:0
}
a {
  color:inherit
}
button {
  font:inherit
}
::selection {
  background:var(--orange);
  color:var(--ink)
}
:focus-visible {
  outline:3px solid var(--focus);
  outline-offset:3px
}
.skip-link {
  position:absolute;
  left:1rem;
  top:-5rem;
  padding:.7rem 1rem;
  background:var(--orange);
  z-index:10
}
.skip-link:focus {
  top:1rem
}
.section-shell {
  width:min(100% - 6rem,1250px);
  margin-inline:auto
}
.site-header {
  height:76px;
  border-bottom:1px solid var(--line);
  display:flex;
  align-items:center;
  justify-content:space-between;
  padding:0 max(3rem,calc((100vw - 1250px)/2));
  background:var(--paper)
}
.brand {
  text-decoration:none;
  font-weight:800;
  font-size:1.6rem;
  letter-spacing:-.06em
}
.brand span {
  color:var(--link)
}
.site-nav {
  display:flex;
  gap:2rem;
  align-items:center;
  font-size:.9rem;
  font-weight:600
}
.site-nav a {
  text-decoration:none
}
.site-nav a:hover,.text-link:hover,.method-card a:hover,.adopt-notes a:hover {
  text-decoration:underline;
  text-underline-offset:4px
}
.nav-repo {
  border:1px solid var(--ink);
  border-radius:4px;
  padding:.6rem .9rem
}
.hero {
  min-height:615px;
  display:grid;
  grid-template-columns:1.08fr .92fr;
  gap:5vw;
  align-items:center;
  padding-block:5.3rem
}
.eyebrow {
  font-size:.73rem;
  font-weight:800;
  letter-spacing:.16em;
  text-transform:uppercase;
  display:flex;
  align-items:center;
  gap:.65rem;
  margin:0 0 1.6rem
}
.status-dot {
  width:8px;
  height:8px;
  border-radius:50%;
  background:#e6ad2e;
  box-shadow:0 0 0 4px #cbd6e2
}
.hero h1,h2,h3,p {
  margin-top:0
}
.hero h1 {
  font-size:clamp(4.4rem,7.5vw,7.8rem);
  line-height:.94;
  letter-spacing:-.085em;
  margin-bottom:2rem;
  font-weight:800
}
.hero h1 em,.section-heading h2 em {
  color:var(--orange);
  font-style:normal
}
.hero-lede {
  max-width:36rem;
  font-size:1.12rem;
  line-height:1.65;
  color:var(--muted)
}
.hero-actions {
  display:flex;
  align-items:center;
  gap:2rem;
  margin-top:2rem
}
.button {
  display:inline-flex;
  align-items:center;
  justify-content:space-between;
  gap:2.7rem;
  padding:1rem 1.2rem;
  text-decoration:none;
  border-radius:5px;
  font-weight:700
}
.button-dark {
  background:var(--green);
  color:var(--white)
}
.button-dark:hover {
  background:#0e4b72
}
.text-link {
  font-weight:700;
  text-decoration:none
}
.source-note {
  font-size:.78rem;
  line-height:1.55;
  color:var(--muted);
  margin:2rem 0 0;
  max-width:34rem
}
.source-note a {
  font-weight:700
}
.routes-section,.adopt-section {
  padding-block:7.5rem
}
.section-heading {
  display:flex;
  justify-content:space-between;
  align-items:end;
  gap:5rem;
  margin-bottom:3.2rem
}
.section-heading h2 {
  font-size:clamp(2.9rem,5vw,5rem);
  line-height:1.02;
  letter-spacing:-.065em;
  margin:0
}
.section-heading>p {
  max-width:360px;
  line-height:1.65;
  color:var(--muted);
  margin:0 0 .4rem;
  font-size:.94rem
}
.section-heading>p a {
  font-weight:700
}
.map-heading {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:2rem;
  padding:1.3rem 1.6rem;
  border-bottom:1px solid var(--line)
}
.map-actions {
  display:flex;
  gap:.65rem;
  flex-wrap:wrap;
  justify-content:flex-end
}
.map-heading-index {
  display:block;
  font-size:.67rem;
  font-weight:800;
  letter-spacing:.16em;
  color:var(--orange);
  margin-bottom:.6rem
}
.map-heading h3 {
  font-size:1.65rem;
  letter-spacing:-.05em;
  margin:0 0 .35rem
}
.map-heading p {
  color:var(--muted);
  font-size:.88rem;
  line-height:1.5;
  margin:0
}
.map-heading button {
  flex:none;
  border:1px solid var(--ink);
  background:transparent;
  padding:.6rem .8rem;
  border-radius:4px;
  font-size:.78rem;
  font-weight:700;
  cursor:pointer
}
.map-heading button:hover {
  background:var(--mint)
}
.map-heading button[aria-expanded="true"] {
  background:var(--mint);
  border-color:var(--link)
}
.map-heading button[aria-expanded="true"] span {
  display:inline-block;
  transform:rotate(180deg)
}
.route-workbench {
  position:relative;
  scroll-margin-top:84px;
  border:1px solid var(--line);
  border-radius:6px;
  background:var(--white)
}
.map-scroll {
  overflow-x:auto;
  background:var(--white)
}
.route-map {
  width:1184px;
  padding:1.5rem 0 0;
  margin-inline:auto
}
.v-entry {
  width:max-content;
  display:flex;
  flex-direction:column;
  align-items:center;
  gap:.5rem;
  margin-inline:auto;
  text-align:center
}
.v-entry span {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.68rem;
  letter-spacing:.08em;
  color:var(--muted)
}
.v-entry strong {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.85rem;
  font-weight:500;
  padding:.7rem 1.15rem;
  background:var(--panel);
  color:var(--panel-text);
  border-radius:3px
}
.v-entry small {
  font-size:.78rem;
  color:var(--muted)
}
.v-branches {
  display:block;
  width:1184px;
  height:128px
}
.v-branches path {
  fill:none;
  stroke-width:3;
  opacity:.9
}
.v-columns {
  display:grid;
  grid-template-columns:repeat(8,148px);
  align-items:stretch
}
.v-column {
  position:relative;
  display:flex;
  flex-direction:column;
  min-height:675px;
  padding:0 8px 0 0;
  border-right:1px solid var(--line);
  transition:opacity .2s
}
.v-column:last-child {
  border-right:0
}
.v-column::before {
  content:"";
  position:absolute;
  left:32px;
  top:20px;
  bottom:0;
  width:3px;
  background:var(--route);
  z-index:1
}
.v-setup::before {
  background:repeating-linear-gradient(to bottom,var(--route) 0 7px,transparent 7px 12px)
}
.v-investigation::before {
  bottom:auto;
  height:280px
}
.v-title {
  position:relative;
  z-index:2;
  align-self:flex-start;
  display:inline-flex;
  align-items:center;
  min-height:34px;
  max-width:140px;
  border:0;
  border-radius:3px;
  background:var(--route);
  color:#fff;
  padding:.4rem .55rem;
  font-size:.72rem;
  font-weight:700;
  text-decoration:none;
  cursor:pointer;
  text-align:left
}
.v-title:hover {
  filter:brightness(.88)
}
.v-stations {
  padding-top:22px
}
.v-station {
  position:relative;
  z-index:2;
  min-height:73px;
  padding:0 5px 12px 48px
}
.v-station::before {
  content:"";
  position:absolute;
  left:25px;
  top:2px;
  width:15px;
  height:15px;
  border:3px solid var(--route);
  border-radius:50%;
  background:var(--white)
}
.v-station strong,.v-station small {
  display:block;
  line-height:1.25
}
.v-station strong {
  font-size:.73rem;
  font-weight:700
}
.v-station small {
  margin-top:.2rem;
  font-size:.68rem;
  color:var(--muted)
}
.v-shared {
  margin-top:auto;
  padding-top:14px;
  border-top:1px solid var(--line);
  background:var(--section)
}
.v-shared .v-station {
  min-height:66px
}
.v-shared .v-station strong {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.68rem;
  font-weight:600;
  text-transform:uppercase;
  letter-spacing:.04em
}
.v-end {
  position:relative;
  z-index:2;
  align-self:flex-start;
  margin:0 0 0 48px;
  border-top:2px solid var(--route);
  padding-top:.45rem;
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  color:var(--muted);
  font-size:.67rem
}
.route-map.has-selection .v-column:not(.is-active) {
  opacity:.22
}
.route-map.has-selection .v-branches path {
  opacity:.2
}
.route-map.has-selection .v-branches path.is-active {
  opacity:1;
  stroke-width:5
}
.route-map.has-selection .v-caption {
  opacity:.7
}
.v-caption {
  border-top:1px solid var(--line);
  padding:1rem 1.4rem;
  font-size:.75rem;
  color:var(--muted)
}
.v-caption strong {
  color:var(--ink)
}
.map-hint {
  display:none;
  color:var(--muted);
  font-size:.78rem;
  margin:.6rem 0 0
}
.trace-panel {
  position:absolute;
  z-index:4;
  top:7.1rem;
  right:1.6rem;
  width:min(460px,calc(100% - 3.2rem));
  max-height:min(680px,75vh);
  overflow-y:auto;
  border:1px solid var(--line);
  border-radius:6px;
  background:var(--white);
  box-shadow:0 18px 55px rgba(10,27,47,.2)
}
.trace-panel[hidden],.route-detail[hidden] {
  display:none
}
.trace-picker {
  padding:1.35rem
}
.trace-intro h3 {
  font-family:Newsreader,Georgia,serif;
  font-size:1.65rem;
  font-weight:450;
  line-height:1.1;
  margin:.5rem 0
}
.trace-intro p {
  margin:0 0 1rem;
  max-width:30rem;
  color:var(--muted);
  font-size:.9rem;
  line-height:1.55
}
.trace-controls {
  display:grid;
  gap:.45rem
}
.trace-controls label {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.67rem;
  letter-spacing:.04em;
  color:var(--muted)
}
.trace-controls input {
  width:100%;
  min-height:44px;
  border:1px solid var(--line);
  border-radius:4px;
  background:var(--white);
  color:var(--ink);
  font:inherit;
  font-size:.81rem;
  padding:.55rem .65rem
}
.request-count {
  margin:1.25rem 0 .6rem;
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.68rem;
  color:var(--muted)
}
.request-results {
  display:grid;
  border-top:1px solid var(--line)
}
.request-group {
  border-bottom:1px solid var(--line)
}
.request-group-heading {
  width:100%;
  min-height:46px;
  border:0;
  background:transparent;
  color:var(--ink);
  display:grid;
  grid-template-columns:1fr auto 1.3rem;
  gap:.8rem;
  align-items:center;
  text-align:left;
  padding:.55rem .2rem;
  cursor:pointer
}
.request-group-heading:hover,.request-group-heading[aria-expanded="true"] {
  background:var(--mint)
}
.request-group-name {
  display:flex;
  align-items:center;
  gap:.6rem;
  font-size:.86rem;
  font-weight:700
}
.request-group-name::before {
  content:"";
  width:8px;
  height:8px;
  border-radius:50%;
  background:var(--result-route)
}
.request-group-count {
  color:var(--muted);
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.66rem
}
.request-group-arrow {
  transition:transform .2s;
  text-align:center
}
.request-group-heading[aria-expanded="true"] .request-group-arrow {
  transform:rotate(180deg)
}
.request-group-list {
  display:grid;
  gap:.3rem;
  padding:.25rem .35rem .7rem 1.1rem;
  border-left:2px solid var(--result-route);
  margin-left:.35rem
}
.request-result {
  width:100%;
  min-height:44px;
  border:1px solid transparent;
  border-radius:3px;
  background:transparent;
  color:var(--ink);
  padding:.5rem .65rem;
  text-align:left;
  cursor:pointer;
  font-size:.79rem;
  line-height:1.35
}
.request-result:hover,.request-result[aria-pressed="true"] {
  background:var(--mint)
}
.request-result[aria-pressed="true"] {
  border-color:var(--result-route)
}
.request-empty {
  font-size:.85rem;
  color:var(--muted)
}
.more-requests {
  border:0;
  background:transparent;
  color:var(--link);
  padding:.5rem .65rem;
  font-size:.78rem;
  font-weight:700;
  cursor:pointer;
  text-align:left
}
.more-requests[hidden] {
  display:none
}
.route-detail {
  scroll-margin-top:84px;
  border-bottom:1px solid var(--line);
  border-left:5px solid var(--active-route);
  background:var(--mint);
  padding:1.15rem 1.6rem 1.2rem
}
.mobile-map-entry {
  display:none
}
.route-detail-head {
  display:flex;
  justify-content:space-between;
  gap:1rem;
  margin-bottom:.6rem
}
.detail-kicker,.detail-label,.detail-cue {
  font-size:.68rem;
  font-weight:800;
  letter-spacing:.16em;
  color:var(--muted)
}
.detail-cue {
  color:var(--link)
}
.route-detail h3 {
  font-size:1.3rem;
  letter-spacing:-.025em;
  line-height:1.1;
  margin:0 0 .6rem
}
.detail-label {
  display:block;
  margin:0 0 .25rem
}
#route-description {
  font-size:.85rem;
  line-height:1.5;
  max-width:60rem;
  margin:0;
  color:var(--muted)
}
.routes-caption {
  font-size:.82rem;
  color:var(--muted);
  margin:1.3rem 0 0
}
.routes-caption a {
  font-weight:700;
  margin-left:.35rem
}
.method-section {
  background:var(--section);
  padding-block:7.5rem
}
.method-grid {
  display:grid;
  grid-template-columns:repeat(4,1fr);
  gap:1px;
  background:var(--line);
  border:1px solid var(--line)
}
.method-card {
  background:var(--white);
  padding:2rem 1.5rem 2.2rem;
  min-height:315px;
  display:flex;
  flex-direction:column
}
.method-index,.note-index {
  font-size:.68rem;
  letter-spacing:.14em;
  font-weight:800;
  color:var(--orange)
}
.method-card h3 {
  font-size:1.5rem;
  letter-spacing:-.05em;
  margin:2.8rem 0 .8rem
}
.method-card p {
  font-size:.88rem;
  line-height:1.6;
  color:var(--muted)
}
.method-card code {
  font-size:.8rem
}
.method-card a {
  margin-top:auto;
  font-size:.8rem;
  font-weight:800;
  text-decoration:none
}
.adopt-grid {
  display:grid;
  grid-template-columns:1.1fr .9fr;
  gap:4.5rem
}
.install-card {
  background:var(--green);
  color:var(--white);
  border-radius:7px;
  padding:2rem;
  align-self:start
}
.install-heading {
  display:flex;
  justify-content:space-between;
  align-items:center;
  font-size:.7rem;
  letter-spacing:.15em;
  font-weight:800;
  color:#b9d3c4
}
.copy-button {
  border:1px solid #a6c3b1;
  border-radius:3px;
  background:transparent;
  color:var(--white);
  padding:.45rem .7rem;
  letter-spacing:0;
  cursor:pointer
}
.copy-button:hover {
  background:#326153
}
.install-card pre {
  overflow:auto;
  border-top:1px solid #648777;
  border-bottom:1px solid #648777;
  padding:1.6rem 0;
  margin:1.7rem 0;
  font-size:.84rem;
  line-height:1.8
}
.install-card p {
  font-size:.86rem;
  color:#d3e2d8;
  line-height:1.6;
  margin:0
}
.install-card p code {
  color:var(--orange)
}
.adopt-notes {
  display:grid;
  gap:2rem
}
.adopt-notes>div {
  border-top:1px solid var(--line);
  padding-top:1rem
}
.adopt-notes h3 {
  font-size:1.45rem;
  letter-spacing:-.04em;
  margin:.6rem 0
}
.adopt-notes p {
  font-size:.91rem;
  color:var(--muted);
  line-height:1.6;
  margin-bottom:.6rem
}
.adopt-notes a {
  font-size:.82rem;
  font-weight:800;
  text-decoration:none
}
.site-footer {
  background:var(--ink);
  color:var(--panel-text);
  padding:3rem 0
}
.footer-inner {
  display:flex;
  justify-content:space-between;
  gap:2rem
}
.footer-brand {
  font-size:1.6rem;
  font-weight:800;
  letter-spacing:-.06em;
  text-decoration:none
}
.footer-brand span {
  color:var(--orange)
}
.footer-inner p {
  font-size:.82rem;
  color:var(--panel-muted);
  margin:.6rem 0 0
}
.footer-links {
  display:flex;
  gap:1.5rem;
  align-items:start;
  font-size:.82rem
}
.footer-links a {
  text-decoration:none
}
.footer-links a:hover {
  text-decoration:underline
}
@media(max-width:1000px) {
  .hero {
    grid-template-columns:1fr;
    padding-block:4rem;
    gap:3rem
  }
  .section-heading {
    align-items:start;
    flex-direction:column;
    gap:1.5rem
  }
  .method-grid {
    grid-template-columns:repeat(2,1fr)
  }
  .adopt-grid {
    gap:2rem
  }
}
@media(max-width:680px) {
  .section-shell {
    width:min(100% - 2.2rem,1250px)
  }
  .site-header {
    padding-inline:1.1rem;
    height:68px
  }
  .site-nav {
    gap:1rem;
    font-size:.78rem
  }
  .site-nav a:nth-child(4) {
    display:none
  }
  .nav-repo {
    padding:.4rem .6rem
  }
  .hero h1 {
    font-size:clamp(4rem,16vw,6rem)
  }
  .hero-lede {
    font-size:1rem
  }
  .hero-actions {
    gap:1.2rem;
    flex-wrap:wrap
  }
  .routes-section,.adopt-section,.method-section {
    padding-block:4.5rem
  }
  .section-heading h2 {
    font-size:clamp(2.7rem,11vw,4rem)
  }
  .trace-panel {
    position:relative;
    width:100%;
    right:auto;
    top:auto;
    max-height:55vh;
    border:0;
    border-bottom:1px solid var(--line);
    border-radius:0;
    box-shadow:none
  }
  .route-detail {
    min-height:0;
    padding:1.1rem 1rem
  }
  .method-grid {
    grid-template-columns:1fr
  }
  .method-card {
    min-height:260px
  }
  .method-card h3 {
    margin-top:2rem
  }
  .adopt-grid {
    grid-template-columns:1fr
  }
  .install-card {
    padding:1.2rem
  }
  .install-card pre {
    font-size:.68rem
  }
  .footer-inner {
    flex-direction:column
  }
  .footer-links {
    flex-wrap:wrap
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto
  }
}
@media(max-width:680px) {
  .map-heading {
    align-items:start;
    flex-direction:column;
    gap:1rem;
    padding:1.2rem
  }
  .map-actions {
    width:100%;
    justify-content:flex-start
  }
  .map-hint {
    display:block
  }
}
/* Shared Applification roles, with route colours reserved for the map's seven lines. */
:root {
  --link:#125985;
  color-scheme:light
}
:root[data-theme="dark"] {
  --paper:#111827;
  --ink:#f8fafc;
  --muted:#b8c1ce;
  --green:#0369a1;
  --line:#34465c;
  --orange:#7dd3fc;
  --mint:#1e2c40;
  --white:#172033;
  --section:#0b1220;
  --panel:#1d2f46;
  --panel-text:#f8fafc;
  --panel-muted:#c2cede;
  --focus:#7dd3fc;
  --link:#7dd3fc;
  color-scheme:dark
}
.section-shell {
  width:min(100% - 6rem,1200px)
}
.site-header {
  position:sticky;
  top:0;
  z-index:5;
  height:68px;
  padding:0 max(3rem,calc((100vw - 1200px)/2));
  background:var(--paper)
}
section[id] {
  scroll-margin-top:80px
}
.brand {
  font-family:Geist,ui-sans-serif,sans-serif;
  font-size:1.6rem;
  font-weight:800;
  letter-spacing:-.06em
}
.site-nav {
  gap:1.6rem
}
.nav-repo {
  border:0;
  padding:.6rem 0
}
.theme-toggle {
  min-width:44px;
  min-height:44px;
  display:inline-flex;
  align-items:center;
  justify-content:center;
  gap:.4rem;
  border:1px solid var(--line);
  border-radius:999px;
  color:var(--ink);
  background:var(--white);
  font-size:.8rem;
  font-weight:700;
  cursor:pointer
}
.theme-toggle:hover {
  border-color:var(--focus)
}
.theme-toggle span:first-child {
  font-size:1.25rem;
  line-height:1
}
.hero {
  min-height:550px;
  grid-template-columns:minmax(0,1.55fr) minmax(0,.45fr);
  gap:5rem;
  align-items:end;
  padding-block:5.5rem
}
.eyebrow,.map-heading-index,.detail-kicker,.detail-label,.method-index,.note-index,.install-heading {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.7rem;
  font-weight:500;
  letter-spacing:.08em
}
.hero h1,.section-heading h2,.route-detail h3,.map-heading h3,.method-card h3,.adopt-notes h3 {
  font-family:Newsreader,Georgia,serif;
  font-weight:450;
  letter-spacing:-.04em
}
.hero h1 {
  font-size:clamp(5rem,8vw,8.3rem);
  line-height:.92;
  margin-bottom:2.3rem
}
.hero h1 em,.section-heading h2 em {
  color:var(--ink)
}
.hero-lede {
  max-width:42rem;
  font-size:1.18rem;
  color:var(--muted)
}
.hero-aside {
  border-left:1px solid var(--line);
  padding:0 0 .4rem 1.4rem;
  max-width:300px
}
.hero-aside .eyebrow {
  margin-bottom:.7rem;
  color:var(--link)
}
.hero-aside p:not(.eyebrow) {
  color:var(--muted);
  line-height:1.6;
  font-size:.93rem
}
.hero-aside a {
  font-size:.85rem;
  font-weight:700;
  color:var(--link)
}
.button {
  min-height:48px;
  border-radius:999px;
  gap:1.5rem
}
.button-dark {
  background:var(--green);
  color:var(--panel-text)
}
.button-dark:hover {
  background:#0e4b72
}
:root[data-theme="dark"] .button-dark {
  background:var(--panel-text);
  color:#111827
}
:root[data-theme="dark"] .button-dark:hover {
  background:#dce8f4
}
.text-link,.source-note a,.section-heading a,.routes-caption a,.method-card a,.adopt-notes a {
  color:var(--link)
}
.section-heading h2 {
  line-height:1.08;
  font-size:clamp(3.1rem,5.1vw,5.2rem)
}
.map-heading h3 {
  font-size:2rem;
  letter-spacing:-.03em
}
.map-heading button {
  min-height:44px;
  color:var(--ink)
}
.map-scroll,.trace-panel {
  background:var(--white)
}
.method-section {
  background:var(--section)
}
.method-card {
  background:var(--white)
}
.method-card p,.adopt-notes p {
  color:var(--muted)
}
.method-card a,.adopt-notes a {
  color:var(--link)
}
.install-card {
  background:var(--panel);
  color:var(--panel-text)
}
.install-heading,.install-card p {
  color:var(--panel-muted)
}
.copy-button {
  min-height:44px;
  border-color:var(--panel-muted);
  color:var(--panel-text)
}
.copy-button:hover {
  background:var(--green)
}
.install-card pre {
  border-color:var(--line)
}
.install-card p code {
  color:#7dd3fc
}
.site-footer {
  background:var(--panel);
  color:var(--panel-text)
}
.footer-inner p {
  color:var(--panel-muted)
}
.footer-brand span {
  color:#7dd3fc
}
:focus-visible {
  outline-color:var(--focus)
}
::selection {
  background:var(--mint);
  color:var(--ink)
}
@media(max-width:1000px) {
  .hero {
    grid-template-columns:1fr;
    min-height:0;
    gap:2rem;
    align-items:start;
    padding-block:4rem
  }
  .hero-aside {
    max-width:42rem
  }
}
@media(max-width:680px) {
  .section-shell {
    width:min(100% - 3rem,1200px)
  }
  .site-header {
    padding-inline:1.5rem;
    height:64px
  }
  .site-nav {
    gap:.65rem
  }
  .site-nav .nav-repo {
    display:none
  }
  .theme-toggle {
    width:44px;
    padding:0
  }
  .theme-label {
    display:none
  }
  .hero {
    padding-block:3rem 4rem
  }
  .hero h1 {
    font-size:clamp(3.1rem,12vw,4.8rem)
  }
  .hero-lede {
    font-size:1.06rem
  }
  .section-heading h2 {
    font-size:clamp(3rem,11vw,4rem)
  }
  .mobile-map-entry {
    display:flex;
    flex-wrap:wrap;
    align-items:center;
    gap:.35rem .55rem;
    margin:1.4rem 0 .7rem;
    color:var(--muted);
    font-size:.73rem
  }
  .mobile-map-entry span,.mobile-map-entry strong {
    font-family:"IBM Plex Mono",ui-monospace,monospace
  }
  .mobile-map-entry span {
    color:var(--link);
    font-size:.64rem
  }
  .mobile-map-entry strong {
    color:var(--ink);
    font-size:.73rem
  }
  .v-entry {
    display:none
  }
  .v-branches {
    height:56px
  }
}
@media(max-width:360px) {
  .site-nav a[href="#adopt"] {
    display:none
  }
}
/* The guide below the route map uses the same paper, line and type system. */
.explainer-section,.explainer-band {
  padding-block:7rem
}
.explainer-band {
  background:var(--section)
}
.explainer-pair {
  display:grid;
  grid-template-columns:repeat(2,minmax(0,1fr));
  gap:1.25rem
}
.explainer-card {
  min-width:0;
  padding:2rem;
  background:var(--white);
  border:1px solid var(--line);
  border-radius:6px
}
.explainer-card h3 {
  font-family:Newsreader,Georgia,serif;
  font-size:2rem;
  font-weight:450;
  letter-spacing:-.04em;
  line-height:1.1;
  margin-bottom:1.15rem
}
.explainer-card p,.explainer-card li {
  color:var(--muted);
  font-size:.9rem;
  line-height:1.65
}
.explainer-card a,.source-row a {
  color:var(--link);
  font-weight:700
}
.explainer-card code,.explain-strip code,.control-flow code,.reading-grid code {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.87em
}
.card-kicker {
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.7rem!important;
  letter-spacing:.08em;
  color:var(--link)!important;
  margin:0 0 1.5rem
}
.file-tree,.contract-sample {
  overflow-x:auto;
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.79rem;
  line-height:1.75;
  margin:0;
  tab-size:2
}
.tree-hint {
  display:none
}
.file-tree code,.contract-sample code {
  font-size:inherit
}
.file-tree .tree-note {
  display:inline-block;
  color:var(--muted);
  background:var(--mint);
  border:1px solid var(--line);
  border-radius:999px;
  font-family:Geist,ui-sans-serif,system-ui,sans-serif;
  font-size:.9em;
  font-weight:600;
  line-height:1.3;
  padding:.04em .48em;
  vertical-align:baseline;
  white-space:nowrap
}
.explain-strip {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:1.4rem;
  padding:1.6rem 0;
  border-bottom:1px solid var(--line)
}
.explain-strip p {
  margin:0;
  color:var(--muted);
  font-size:.88rem;
  line-height:1.6
}
.explain-strip strong {
  display:block;
  color:var(--ink);
  margin-bottom:.4rem
}
.source-row {
  font-size:.85rem;
  line-height:1.6;
  color:var(--muted);
  margin:1.3rem 0 0
}
.step-list {
  list-style:none;
  counter-reset:sprint;
  padding:0;
  margin:0
}
.step-list li {
  counter-increment:sprint;
  position:relative;
  min-height:4.8rem;
  border-left:2px solid var(--link);
  padding:0 0 1.3rem 2.2rem;
  margin-left:.8rem
}
.step-list li:last-child {
  border-left-color:transparent;
  padding-bottom:0
}
.step-list li::before {
  content:counter(sprint);
  position:absolute;
  top:0;
  left:-.85rem;
  display:grid;
  place-items:center;
  width:1.55rem;
  height:1.55rem;
  border:2px solid var(--link);
  border-radius:50%;
  background:var(--white);
  color:var(--ink);
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  font-size:.72rem
}
.step-list strong,.step-list span {
  display:block
}
.step-list strong {
  color:var(--ink);
  margin-bottom:.15rem
}
.card-intro {
  margin-bottom:1rem
}
.contract-sample {
  padding:1.25rem;
  border:1px solid var(--line);
  border-radius:5px;
  background:var(--paper)
}
.card-foot {
  margin:1.25rem 0 0
}
.control-flow {
  display:grid;
  grid-template-columns:repeat(4,minmax(0,1fr));
  gap:1px;
  background:var(--line);
  border:1px solid var(--line)
}
.control-flow>div {
  background:var(--white);
  padding:1.6rem
}
.control-flow span {
  display:block;
  font-family:"IBM Plex Mono",ui-monospace,monospace;
  color:var(--link);
  font-size:.68rem;
  margin-bottom:2rem
}
.control-flow strong {
  display:block;
  font-family:Newsreader,Georgia,serif;
  font-size:1.6rem;
  font-weight:450;
  margin-bottom:.55rem
}
.control-flow p {
  color:var(--muted);
  font-size:.85rem;
  line-height:1.6;
  margin:0
}
.specialist-row {
  border-top:1px solid var(--line);
  padding:1rem 0
}
.specialist-row strong {
  display:block;
  margin-bottom:.3rem
}
.specialist-row p {
  margin:0
}
.plain-list {
  padding-left:1.2rem;
  margin:0
}
.plain-list li+li {
  margin-top:.65rem
}
.plain-list strong {
  color:var(--ink)
}
.proof-grid {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:1.25rem
}
.proof-grid .explainer-card h3 {
  margin-bottom:1rem
}
.reading-grid {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  border-top:1px solid var(--line);
  border-left:1px solid var(--line)
}
.reading-grid p {
  min-width:0;
  background:var(--white);
  border-right:1px solid var(--line);
  border-bottom:1px solid var(--line);
  padding:1.25rem;
  margin:0
}
.reading-grid strong,.reading-grid span {
  display:block;
  overflow-wrap:anywhere
}
.reading-grid strong {
  font-size:.85rem;
  margin-bottom:.6rem
}
.reading-grid span {
  font-size:.83rem;
  line-height:1.55;
  color:var(--muted)
}
@media(max-width:1000px) {
  .control-flow,.reading-grid {
    grid-template-columns:repeat(2,minmax(0,1fr))
  }
  .proof-grid {
    grid-template-columns:1fr 1fr
  }
}
@media(max-width:680px) {
  .site-nav a[href="#project"] {
    display:none
  }
  .explainer-section,.explainer-band {
    padding-block:4.5rem
  }
  .explainer-pair,.explain-strip,.control-flow,.proof-grid,.reading-grid {
    grid-template-columns:1fr
  }
  .explainer-card {
    padding:1.3rem
  }
  .file-tree,.contract-sample {
    font-size:.68rem
  }
  .tree-hint {
    display:block;
    color:var(--muted);
    font-size:.8rem;
    margin:-1rem 0 1rem
  }
  .contract-sample {
    white-space:pre-wrap;
    overflow-wrap:anywhere
  }
  .control-flow span {
    margin-bottom:1rem
  }
}