:root {
  --paper:#fafaf7;
  --white:#fff;
  --ink:#182c31;
  --muted:#5d6c6e;
  --teal:#087f72;
  --line:#dfe6e2;
  --soft:#edf3ee;
  --code:#122d30;
  --mono:ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;
  font-family:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans CJK SC",Arial,sans-serif;
  color:var(--ink);
  background:var(--paper);
  font-synthesis:none;
  scroll-behavior:smooth
}
* {
  box-sizing:border-box
}
body {
  margin:0;
  font-size:16px;
  line-height:1.7
}
a {
  color:var(--teal);
  text-decoration:none
}
a:hover {
  text-decoration:underline
}
button,input {
  font:inherit
}
button,a,input {
  touch-action:manipulation
}
button {
  cursor:pointer
}
button:focus-visible,a:focus-visible,input:focus-visible {
  outline:3px solid #49bca8;
  outline-offset:4px
}
::selection {
  background:#c7e9de
}
.skip {
  position:fixed;
  left:1rem;
  top:-100px;
  z-index:99;
  background:white;
  padding:.5rem 1rem
}
.skip:focus {
  top:.5rem
}
header {
  height:76px;
  border-bottom:1px solid var(--line);
  background:rgba(250,250,247,.97);
  position:sticky;
  top:0;
  z-index:20;
  display:flex;
  align-items:center;
  justify-content:space-between;
  padding:0 38px;
  gap:20px
}
.brand {
  display:flex;
  gap:12px;
  align-items:center;
  color:var(--ink);
  font-size:21px;
  font-weight:750;
  letter-spacing:-.7px;
  white-space:nowrap
}
.brand:hover {
  text-decoration:none
}
.mark {
  background:var(--teal);
  color:white;
  display:grid;
  place-items:center;
  width:31px;
  height:31px;
  border-radius:7px;
  font:700 15px var(--mono);
  letter-spacing:-3px;
  padding-right:3px
}
.brand small {
  font:400 12px var(--mono);
  letter-spacing:0;
  color:var(--muted);
  padding-left:9px;
  border-left:1px solid #cad4ce
}
.header-links {
  display:flex;
  align-items:center;
  gap:22px;
  font-size:13px
}
.search-button {
  display:flex;
  gap:24px;
  align-items:center;
  border:1px solid var(--line);
  background:var(--white);
  color:var(--muted);
  padding:7px 11px;
  border-radius:6px;
  font-size:13px
}
.search-button kbd {
  font:11px var(--mono);
  border:1px solid var(--line);
  padding:1px 4px;
  border-radius:3px
}
.menu-button {
  display:none;
  border:0;
  background:none;
  font-size:21px
}
.layout {
  display:grid;
  grid-template-columns:240px minmax(0,1fr);
  max-width:1600px;
  margin:0 auto
}
.sidebar {
  position:sticky;
  top:76px;
  height:calc(100vh - 76px);
  overflow:auto;
  border-right:1px solid var(--line);
  padding:33px 22px 28px 30px;
  display:flex;
  flex-direction:column;
  gap:22px
}
.nav-group h2 {
  font:600 10px var(--mono);
  letter-spacing:1.8px;
  text-transform:uppercase;
  color:#82908b;
  margin:0 0 10px 12px
}
.sidebar a {
  display:block;
  padding:6px 12px;
  margin:2px 0;
  color:#526365;
  font-size:13px;
  border-radius:5px;
  line-height:1.65
}
.sidebar a:hover {
  background:var(--soft);
  text-decoration:none;
  color:var(--ink)
}
.sidebar a[aria-current=page] {
  color:var(--teal);
  background:#e7f1e9;
  font-weight:650
}
.sidebar-footer {
  margin-top:auto;
  padding:20px 12px 0;
  border-top:1px solid var(--line);
  font-size:11px;
  color:var(--muted)
}
.sidebar-footer b {
  display:block;
  font-size:12px;
  font-weight:600;
  color:var(--ink);
  margin-bottom:3px
}
.sidebar-footer a {
  padding:0;
  font-size:11px
}
.content {
  min-width:0;
  padding:40px 54px 80px
}
.home {
  max-width:1060px;
  margin:auto
}
.eyebrow {
  font:500 11px var(--mono);
  letter-spacing:1.8px;
  text-transform:uppercase;
  color:var(--teal);
  display:flex;
  align-items:center;
  gap:9px
}
.dot {
  width:6px;
  height:6px;
  border-radius:50%;
  background:#15957c
}
.hero {
  padding:24px 0 42px;
  border-bottom:1px solid var(--line)
}
.hero-grid {
  display:grid;
  grid-template-columns:1.12fr 1fr;
  gap:40px;
  align-items:center
}
.hero h1 {
  font-size:clamp(36px,4.1vw,60px);
  font-weight:600;
  letter-spacing:-2.7px;
  line-height:1.08;
  margin:19px 0 24px;
  max-width:680px
}
.hero h1 span {
  color:var(--teal)
}
.hero p {
  max-width:480px;
  font-size:16px;
  line-height:1.85;
  color:var(--muted);
  margin:0 0 25px
}
.actions {
  display:flex;
  align-items:center;
  gap:21px;
  font-size:13px
}
.button {
  display:inline-flex;
  align-items:center;
  gap:16px;
  background:var(--teal);
  color:white;
  padding:11px 17px;
  border-radius:5px;
  font-weight:600
}
.button:hover {
  background:#076b61;
  text-decoration:none
}
.secondary {
  color:var(--ink);
  font-weight:550
}
.terminal {
  background:var(--code);
  color:#d9e9e1;
  border-radius:9px;
  border:1px solid #254244;
  overflow:hidden;
  box-shadow:0 14px 45px #182c310b
}
.terminal-top {
  display:flex;
  gap:5px;
  align-items:center;
  padding:13px 15px;
  border-bottom:1px solid #315052;
  font:10px var(--mono);
  color:#9bb6ae
}
.terminal-top i {
  width:5px;
  height:5px;
  border-radius:50%;
  background:#67857f
}
.terminal-top span {
  margin-left:auto
}
.terminal pre {
  background:none;
  border:0;
  margin:0;
  padding:24px 20px 30px;
  font-size:12px;
  line-height:2.3;
  color:#d9e9e1
}
.terminal .comment {
  color:#8eb1a7
}
.terminal .prompt {
  color:#5ed2af
}
.terminal .terminal-footer {
  font:10px var(--mono);
  padding:12px 18px;
  background:#19383a;
  color:#9fc7b6;
  display:flex;
  justify-content:space-between
}
.terminal .copy {
  color:#bdd4cc;
  border-color:#416062;
  background:#1a3b3d;
  top:10px
}
.facts {
  display:flex;
  flex-wrap:wrap;
  gap:23px;
  margin:31px 0 0;
  font:11px var(--mono);
  color:#73837e
}
.facts span {
  display:flex;
  align-items:center;
  gap:7px
}
.facts b {
  font-weight:500;
  color:#385e52
}
.section {
  padding:42px 0;
  border-bottom:1px solid var(--line)
}
.section:last-child {
  border-bottom:0
}
.section-header {
  display:flex;
  justify-content:space-between;
  align-items:end;
  gap:20px;
  margin-bottom:22px
}
.section-number {
  font:11px var(--mono);
  letter-spacing:1px;
  color:#81928b;
  margin-bottom:8px
}
.section h2 {
  font-size:27px;
  line-height:1.25;
  letter-spacing:-.8px;
  font-weight:600;
  margin:0
}
.section-header p {
  font-size:13px;
  color:var(--muted);
  max-width:330px;
  margin:0
}
.mode-grid {
  display:grid;
  grid-template-columns:1fr 1fr;
  gap:18px
}
.mode {
  background:var(--white);
  border:1px solid var(--line);
  padding:25px;
  border-radius:7px;
  position:relative
}
.mode .tag {
  font:10px var(--mono);
  letter-spacing:.6px;
  color:var(--teal);
  display:block;
  margin-bottom:15px
}
.mode h3 {
  font-size:22px;
  font-weight:600;
  margin:0 0 8px;
  letter-spacing:-.4px
}
.mode p {
  font-size:14px;
  color:var(--muted);
  line-height:1.75;
  margin:0 0 18px;
  max-width:380px
}
.mode .contract {
  border-top:1px solid var(--line);
  padding-top:15px;
  font:11px var(--mono);
  line-height:1.8;
  color:#44625a
}
.mode a {
  display:inline-flex;
  align-items:center;
  gap:9px;
  margin-top:20px;
  font-size:12px;
  font-weight:600
}
.flow {
  display:grid;
  grid-template-columns:1fr 26px 1fr 26px 1.15fr 26px 1fr;
  align-items:center;
  margin-top:30px;
  gap:7px
}
.flow-node {
  min-width:0
}
.flow-node b {
  display:block;
  font-size:14px;
  font-weight:600;
  margin-bottom:4px
}
.flow-node span {
  display:block;
  color:var(--muted);
  font-size:11px;
  line-height:1.7
}
.flow-node code {
  display:inline-block;
  font-size:10px;
  margin-top:10px;
  padding:3px 6px;
  background:#eaf1eb;
  color:#3e6957;
  border-radius:4px
}
.flow-arrow {
  color:#9aafa6;
  text-align:center
}
.flow-out {
  padding:18px 12px;
  background:#eaf3e9;
  border-radius:6px;
  text-align:center
}
.flow-out b {
  color:var(--teal)
}
.split {
  display:grid;
  grid-template-columns:1fr 1fr;
  gap:35px
}
.tree {
  margin:0;
  background:#f0f3ed;
  border:1px solid var(--line);
  border-radius:6px;
  font-size:12px;
  line-height:2;
  padding:22px;
  overflow:auto
}
.section .prose {
  font-size:14px;
  color:var(--muted)
}
.prose p:first-child {
  margin-top:0
}
.prose ul {
  padding-left:18px
}
.prose li {
  margin:7px 0
}
.proof {
  background:#f0f4ec;
  border:1px solid #dce5d6;
  border-radius:7px;
  padding:24px 26px;
  display:grid;
  grid-template-columns:1.3fr 1fr 1fr;
  gap:30px;
  align-items:start
}
.proof .kicker {
  font:10px var(--mono);
  letter-spacing:1px;
  color:#6d806b
}
.proof strong {
  display:block;
  font-size:27px;
  letter-spacing:-1px;
  font-weight:600;
  line-height:1.3;
  margin:6px 0
}
.proof p {
  font-size:12px;
  color:var(--muted);
  line-height:1.7;
  margin:0
}
.proof a {
  font-size:12px;
  font-weight:600
}
.home-note {
  font-size:12px;
  color:var(--muted);
  margin-top:16px
}
.related {
  display:flex;
  justify-content:space-between;
  gap:20px;
  align-items:center;
  font-size:12px;
  color:var(--muted)
}
.related-links {
  display:flex;
  gap:20px
}
.article-layout {
  display:grid;
  grid-template-columns:minmax(0,810px) 160px;
  gap:48px;
  justify-content:center
}
.article {
  min-width:0
}
.breadcrumb {
  font:11px var(--mono);
  color:#82908c;
  margin:0 0 18px
}
.article h1 {
  font-size:38px;
  font-weight:600;
  letter-spacing:-1.3px;
  line-height:1.2;
  margin:0 0 29px
}
.article h2 {
  font-size:24px;
  letter-spacing:-.5px;
  line-height:1.3;
  margin:42px 0 16px;
  font-weight:600;
  padding-top:6px
}
.article h3 {
  font-size:18px;
  margin:30px 0 14px;
  line-height:1.5;
  font-weight:600
}
.article p,.article li {
  font-size:14px;
  line-height:1.9;
  color:#43575b
}
.article li {
  margin:7px 0
}
.article ul,.article ol {
  padding-left:21px
}
.article strong {
  color:var(--ink)
}
.article h1,.article h2,.article h3 {
  scroll-margin-top:99px
}
.article a {
  text-decoration:underline;
  text-decoration-color:#a8c9bc;
  text-underline-offset:3px
}
.article .table-wrap {
  overflow-x:auto;
  margin:22px 0;
  border:1px solid var(--line);
  border-radius:5px
}
.article table {
  border-collapse:collapse;
  width:100%;
  font-size:12px;
  line-height:1.65;
  min-width:480px
}
.article th {
  text-align:left;
  background:#f0f3ed;
  padding:12px 14px;
  font-weight:600;
  white-space:nowrap
}
.article td {
  padding:12px 14px;
  vertical-align:top;
  border-top:1px solid var(--line);
  color:#4d6264
}
.article td code {
  word-break:break-all
}
.article blockquote {
  margin:22px 0;
  padding:2px 20px;
  border-left:3px solid #88b8a6;
  background:#eef3ed
}
.article pre,pre {
  position:relative;
  background:#f0f3ee;
  border:1px solid #dde5de;
  color:#264b44;
  padding:22px 20px;
  border-radius:6px;
  font:12px/1.85 var(--mono);
  overflow:auto;
  margin:22px 0
}
code {
  font-family:var(--mono);
  font-size:.86em;
  background:#eaf0eb;
  padding:2px 5px;
  border-radius:3px;
  overflow-wrap:anywhere
}
pre code {
  padding:0;
  background:none;
  font-size:inherit;
  overflow-wrap:normal;
  white-space:pre
}
.copy {
  position:absolute;
  right:9px;
  top:9px;
  font:10px var(--mono);
  color:#557568;
  border:1px solid #ccd9ce;
  background:#f7faf5;
  border-radius:4px;
  padding:3px 7px;
  opacity:0;
  transition:opacity .15s
}
pre:hover .copy,.copy:focus-visible {
  opacity:1
}
.toc {
  position:sticky;
  top:115px;
  align-self:start;
  border-left:1px solid var(--line);
  padding-left:18px;
  font-size:11px
}
.toc strong {
  display:block;
  font:10px var(--mono);
  letter-spacing:1px;
  text-transform:uppercase;
  margin-bottom:12px;
  color:#81908b
}
.toc a {
  display:block;
  color:#6d807d;
  line-height:1.7;
  margin:8px 0
}
.page-footer {
  border-top:1px solid var(--line);
  margin-top:52px;
  padding-top:18px;
  color:#85928d;
  font:10px/1.8 var(--mono);
  display:flex;
  justify-content:space-between;
  gap:20px
}
.search-dialog {
  padding:0;
  border:1px solid var(--line);
  border-radius:10px;
  width:min(620px,calc(100vw - 32px));
  max-height:75vh;
  background:var(--paper);
  box-shadow:0 25px 100px #102c3133
}
.search-dialog::backdrop {
  background:#132e3166;
  backdrop-filter:blur(3px)
}
.search-top {
  display:flex;
  border-bottom:1px solid var(--line);
  align-items:center;
  padding:17px;
  gap:10px
}
.search-top input {
  flex:1;
  min-width:0;
  background:transparent;
  border:0;
  color:var(--ink);
  font-size:16px;
  padding:4px
}
.search-top input:focus {
  outline:none
}
.search-top button {
  border:1px solid var(--line);
  border-radius:4px;
  background:white;
  padding:3px 7px;
  font:10px var(--mono);
  color:var(--muted)
}
.search-results {
  padding:10px;
  overflow:auto;
  max-height:55vh
}
.search-results a {
  display:block;
  padding:14px 15px;
  border-radius:5px;
  color:var(--ink)
}
.search-results a:hover,.search-results a:focus {
  background:var(--soft);
  text-decoration:none
}
.search-results strong {
  display:block;
  font-size:14px
}
.search-results span {
  display:block;
  font-size:12px;
  color:var(--muted);
  margin-top:3px
}
.search-results p {
  font-size:13px;
  padding:10px;
  color:var(--muted)
}
.scrim {
  display:none
}
@media(min-width:1450px) {
  .content {
    padding-left:65px;
    padding-right:65px
  }
  .hero h1 {
    font-size:62px
  }
}
@media(max-width:1200px) {
  .layout {
    grid-template-columns:210px minmax(0,1fr)
  }
  .sidebar {
    padding-left:19px;
    padding-right:17px
  }
  .content {
    padding:32px 34px 65px
  }
  .article-layout {
    grid-template-columns:minmax(0,1fr)
  }
  .toc {
    display:none
  }
  .hero-grid {
    gap:24px
  }
  .hero h1 {
    font-size:43px;
    letter-spacing:-1.8px
  }
  .terminal pre {
    font-size:10px;
    padding:21px 15px
  }
  .proof {
    gap:17px;
    padding:22px
  }
  .proof strong {
    font-size:24px
  }
  .flow {
    gap:3px;
    grid-template-columns:1fr 15px 1fr 15px 1fr 15px 1fr
  }
  .flow-node b {
    font-size:12px
  }
  .flow-node span {
    font-size:10px
  }
}
@media(max-width:900px) {
  header {
    padding:0 22px;
    height:66px
  }
  .brand {
    font-size:19px
  }
  .brand small {
    font-size:10px
  }
  .header-links {
    gap:13px
  }
  .layout {
    display:block
  }
  .sidebar {
    position:fixed;
    top:66px;
    left:0;
    bottom:0;
    width:255px;
    height:auto;
    z-index:30;
    background:var(--paper);
    transform:translateX(-100%);
    transition:transform .2s
  }
  .menu-button {
    display:block
  }
  .menu-open .sidebar {
    transform:translateX(0)
  }
  .menu-open .scrim {
    display:block;
    position:fixed;
    inset:66px 0 0;
    background:#132e3155;
    z-index:25;
    border:0
  }
  .content {
    padding:30px 28px 60px
  }
  .hero h1 {
    font-size:48px
  }
  .hero-grid {
    gap:35px
  }
  .terminal pre {
    font-size:11px
  }
  .copy {
    opacity:1
  }
  .article h1,.article h2,.article h3 {
    scroll-margin-top:88px
  }
}
@media(max-width:630px) {
  header {
    padding:0 16px;
    gap:10px
  }
  .brand {
    gap:8px
  }
  .brand small {
    display:none
  }
  .header-links .github {
    display:none
  }
  .header-links {
    gap:11px
  }
  .search-button {
    padding:6px 9px
  }
  .search-button kbd {
    display:none
  }
  .content {
    padding:23px 21px 48px
  }
  .hero {
    padding-top:14px;
    padding-bottom:30px
  }
  .hero-grid,.mode-grid,.split {
    grid-template-columns:1fr;
    gap:22px
  }
  .hero h1 {
    font-size:44px;
    letter-spacing:-2px;
    margin:16px 0 20px
  }
  .hero p {
    font-size:15px;
    margin-bottom:23px
  }
  .terminal pre {
    font-size:12px;
    padding:23px 18px
  }
  .facts {
    gap:10px 18px;
    font-size:10px;
    margin-top:22px
  }
  .section {
    padding:32px 0
  }
  .section-header {
    display:block
  }
  .section-header p {
    margin-top:11px
  }
  .section h2 {
    font-size:25px
  }
  .mode {
    padding:22px
  }
  .mode p {
    font-size:13px
  }
  .flow {
    grid-template-columns:1fr 22px 1fr;
    gap:22px 5px
  }
  .flow .flow-arrow:nth-of-type(4) {
    display:none
  }
  .flow-node b {
    font-size:14px
  }
  .flow-node span {
    font-size:11px
  }
  .flow-out {
    padding:14px 8px
  }
  .proof {
    grid-template-columns:1fr 1fr;
    gap:22px
  }
  .proof>div:first-child {
    grid-column:1/-1
  }
  .proof strong {
    font-size:27px
  }
  .related {
    align-items:start;
    flex-direction:column;
    gap:8px
  }
  .related-links {
    gap:17px;
    flex-wrap:wrap
  }
  .article h1 {
    font-size:31px;
    letter-spacing:-1px
  }
  .article h2 {
    font-size:23px
  }
  .article p,.article li {
    font-size:14px
  }
  .article pre {
    font-size:11px;
    padding:34px 15px 18px
  }
  .article table {
    font-size:11px
  }
  .page-footer {
    display:block;
    font-size:9px
  }
  .page-footer a {
    display:block;
    margin-top:8px
  }
  .home-note {
    font-size:11px
  }
  .tree {
    font-size:11px;
    padding:17px
  }
  .actions {
    gap:17px
  }
  .eyebrow {
    font-size:9px;
    letter-spacing:1.4px
  }
}
@media(prefers-reduced-motion:reduce) {
  :root {
    scroll-behavior:auto
  }
  * {
    transition:none!important
  }
}