@charset "UTF-8";
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(assets/fonts/ibm-plex-mono.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Manrope';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url(assets/fonts/manrope.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
:root {
  --paper: #f8f9f5;
  --ink: #182019;
  --muted: #5b6359;
  --line: #d3d8ce;
  --red: #c63827;
  --mono: 'IBM Plex Mono', 'SFMono-Regular', Consolas, monospace;
  --sans: Manrope, 'Hiragino Kaku Gothic ProN', 'PingFang SC', sans-serif;
  color-scheme: light;
  font: 16px/1.6 var(--sans);
  color: var(--ink);
  background: var(--paper);
  -webkit-font-smoothing: antialiased;
}
* { box-sizing: border-box; }
body { margin: 0; }
[hidden] { display: none !important; }
a { color: inherit; text-decoration-thickness: 1px; text-underline-offset: 5px; }
a:hover { color: var(--red); }
button, select { font: inherit; color: inherit; border-radius: 0; cursor: pointer; }
button { background: transparent; }
a, button, select { touch-action: manipulation; }
a:focus-visible, button:focus-visible, select:focus-visible { outline: 2px solid var(--red); outline-offset: 4px; }
button:disabled { opacity: .4; cursor: default; }
img { display: block; max-width: 100%; }
h1, h2, h3, p { margin: 0; }
h2 { font-size: 40px; font-weight: 500; letter-spacing: -.055em; line-height: 1.15; }
h3 { font-size: 20px; font-weight: 500; letter-spacing: -.035em; line-height: 1.3; }
code, pre { font-family: var(--mono); }
.wrap, .header-inner { width: min(1344px, calc(100% - 96px)); margin-inline: auto; }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; }
.skip-link { position: fixed; top: -100px; left: 20px; z-index: 100; background: var(--ink); color: white; padding: 10px; }
.skip-link:focus { top: 10px; }
.header-inner { display: flex; align-items: center; gap: 32px; min-height: 88px; }
.brand { display: inline-flex; align-items: center; gap: 9px; text-decoration: none; }
.brand img { width: 30px; height: 30px; }
.brand span { font-size: 25px; font-weight: 600; letter-spacing: -.065em; }
.desktop-nav { display: flex; gap: 32px; margin-left: auto; }
.desktop-nav a, .header-actions { font-size: 13px; font-weight: 500; }
.desktop-nav a, .github-link { text-decoration: none; }
.header-actions { display: flex; align-items: center; gap: 32px; }
.header-actions select { font: inherit; border: 0; background: transparent; padding: 10px 0; max-width: 94px; }
.menu-toggle { display: none; border: 0; min-width: 44px; min-height: 44px; font-size: 22px; }
.mobile-nav { border-bottom: 1px solid var(--line); padding: 18px 24px; display: flex; flex-wrap: wrap; gap: 24px; font-size: 14px; }
.hero { padding: 30px 0 36px; }
.hero-top { display: grid; grid-template-columns: 1.8fr 1fr; gap: 80px; align-items: end; }
.hero h1 { font-size: clamp(42px,4.6vw,68px); font-weight: 500; line-height: 1.03; letter-spacing: -.065em; }
.hero h1 span { display: block; }
.hero h1 span:last-child { color: var(--red); }
.hero-intro { max-width: 350px; padding-bottom: 5px; }
.hero-description { font-size: 16px; line-height: 1.7; letter-spacing: -.02em; }
.hero-actions { display: flex; gap: 30px; margin-top: 18px; }
.hero-actions .text-link { font-size: 14px; }
.platforms { font-size: 12px; color: var(--muted); }
.boundary { margin-top: 24px; }
.boundary-expression { display: grid; grid-template-columns: 1fr 1.3fr 1fr; align-items: center; text-align: center; min-height: 280px; padding-block: 14px; }
.operand { display: flex; flex-direction: column; align-items: center; gap: 10px; }
.operand-name { font: 13px/1.5 var(--mono); color: var(--muted); }
.operand output, .now-value { font: 400 clamp(70px,9.7vw,145px)/1 var(--mono); letter-spacing: -.08em; font-variant-numeric: tabular-nums; }
.boundary-operator { display: flex; justify-content: center; font: 400 clamp(140px,18vw,270px)/1 var(--mono); letter-spacing: -.09em; padding-right: .1em; }
.greater, .equals { display: inline-block; transition: transform 650ms cubic-bezier(.22,1,.36,1), color 300ms; }
.equals { color: var(--red); transform-origin: center; }
.is-repaired .greater { transform: translateX(.28em); }
.is-repaired .equals { transform: translate(.1em,-.5em) scale(.17) rotate(-12deg); color: var(--muted); text-decoration: line-through; }
.boundary-controls { display: grid; grid-template-columns: 1.8fr 1fr; gap: 80px; align-items: center; padding-top: 16px; border-top: 1px solid var(--ink); }
.boundary-ruler label { font-size: 13px; display: block; }
.boundary-ruler input { appearance: none; display: block; width: 100%; height: 38px; padding: 0; margin: 4px 0 0; background: transparent; cursor: ew-resize; accent-color: var(--red); }
.boundary-ruler input::-webkit-slider-runnable-track { height: 1px; background: var(--ink); }
.boundary-ruler input::-moz-range-track { height: 1px; background: var(--ink); }
.boundary-ruler input::-webkit-slider-thumb { appearance: none; width: 8px; height: 28px; border: 0; border-radius: 0; margin-top: -13px; background: var(--red); }
.boundary-ruler input::-moz-range-thumb { width: 8px; height: 28px; border: 0; border-radius: 0; background: var(--red); }
.boundary-ruler input:focus-visible { outline: 2px solid var(--red); outline-offset: 5px; }
.ruler-values { display: flex; justify-content: space-between; font: 12px/1.5 var(--mono); color: var(--muted); }
.ruler-values span:nth-child(3) { color: var(--red); }
.boundary-actions { display: flex; align-items: center; justify-content: end; gap: 24px; }
.boundary-actions .button { padding: 12px 18px; font-size: 13px; }
.text-button { padding: 8px 0; border: 0; border-bottom: 1px solid var(--line); font-size: 13px; min-height: 44px; }
.text-button:hover { border-color: var(--ink); }
.operand-result { display: flex; align-items: baseline; justify-content: center; gap: 10px; padding-top: 10px; }
.operand-result span { font-size: 12px; color: var(--muted); }
.operand-result strong { font-size: 18px; font-weight: 500; letter-spacing: -.035em; }
[data-mismatch=true] #candidate-verdict { color: var(--red); }
.boundary-observation { font-size: 13px; line-height: 1.8; padding-block: 20px; }
.hero-bottom { display: flex; justify-content: space-between; align-items: end; gap: 40px; border-top: 1px solid var(--line); padding-top: 18px; }
.hero-bottom p { font-size: 12px; line-height: 1.8; color: var(--muted); max-width: 650px; }
.hero-bottom .text-link { white-space: nowrap; }
:lang(ja) .hero h1, :lang(zh-CN) .hero h1 { font-size: clamp(35px,3.8vw,54px); letter-spacing: -.05em; line-height: 1.2; }
:lang(de) .hero h1 { font-size: clamp(40px,4.4vw,64px); }
.playground-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 32px; padding-block: 42px 24px; }
.section-top { display: flex; justify-content: space-between; align-items: baseline; gap: 24px; }
.section-intro { margin-top: 18px; color: var(--muted); font-size: 14px; line-height: 1.8; }
.playground { padding-bottom: 96px; border-top: 1px solid var(--ink); scroll-margin-top: 24px; }
.demo-toolbar { display: flex; justify-content: space-between; align-items: center; gap: 24px; padding: 13px 18px; border: 1px solid var(--line); border-bottom: 0; background: #f0f0eb; }
.scenario-control { display: flex; align-items: center; gap: 16px; font-size: 12px; min-width: 0; }
.scenario-control label { color: var(--muted); }
.scenario-control select { border: 0; background: transparent; padding: 8px 20px 8px 0; max-width: 100%; min-height: 36px; font-weight: 500; }
.playback { display: flex; align-items: center; gap: 6px; }
.button, .icon-button { display: inline-flex; align-items: center; justify-content: center; border: 1px solid var(--ink); min-height: 46px; padding: 10px 20px; font: 500 13px var(--sans); text-decoration: none; }
.primary { background: var(--ink); color: white; }
.primary:hover { background: var(--red); color: white; border-color: var(--red); }
.secondary { border-color: var(--line); }
.secondary:hover, .icon-button:hover { border-color: var(--ink); }
.button.small, .icon-button { min-height: 34px; padding: 7px 14px; font-size: 12px; }
.icon-button { border-color: transparent; color: var(--muted); }
.terminal { background: #20221f; color: #d6d9d1; font: 12px/1.7 var(--mono); border: 1px solid #33362f; }
.terminal-titlebar { display: flex; justify-content: space-between; border-bottom: 1px solid #363a31; padding: 10px 20px; font-size: 11px; color: #93988a; }
.terminal-layout { display: grid; grid-template-columns: 154px minmax(0,1.2fr) minmax(0,1fr); min-height: 396px; }
.stage-strip { display: flex; flex-direction: column; gap: 2px; padding: 20px 12px; border-right: 1px solid #363a31; }
.stage-strip button { text-align: left; padding: 8px 12px; border: 0; border-left: 2px solid transparent; font: 13px/1.4 var(--sans); color: #979d8e; min-height: 34px; }
.stage-strip button:hover { color: #fff; }
.stage-strip button.active { border-left-color: #e88b6f; color: #fff; background: #30352a; }
.terminal-main { min-width: 0; padding: 24px; }
.command { font-size: 13px; overflow-wrap: anywhere; line-height: 1.85; }
.prompt-symbol { color: #b0b6a7; padding-right: 4px; }
.string { color: #e0e3dc; }
.terminal-banner { font-size: 15px; color: #f1f2ec; margin-top: 22px; letter-spacing: -.02em; }
.agent-line { margin-top: 6px; font-size: 10px; color: #939b88; }
.builder-text { color: #cbd6b8; }
.challenger-text { color: #d7b994; }
.muted { color: #9b9b9b; }
.terminal-log { display: flex; flex-direction: column; gap: 6px; margin-top: 24px; min-height: 150px; }
.log-line { display: grid; grid-template-columns: 10px 92px minmax(0,1fr); gap: 8px; font-size: 13px; line-height: 1.7; }
.log-mark { color: #b8c8a1; }
.log-stage { color: #c6cdbb; }
.log-detail { color: #a8af9d; }
.log-line.active .log-stage { color: #f3f6eb; }
.log-line.is-fail .log-mark, .log-line.is-fail .log-detail { color: #e3b685; }
.terminal-result { border-top: 1px solid #3b4034; color: #c3d0ad; padding-top: 14px; margin-top: 14px; font-size: 12px; }
.terminal-result.warning { color: #e3b685; }
.terminal-code { border-left: 1px solid #363a31; min-width: 0; padding-block: 22px; background: #252823; }
.code-tab { display: flex; justify-content: space-between; gap: 12px; padding: 0 20px 15px; border-bottom: 1px solid #363a31; font-size: 11px; color: #c5cbbd; }
.file-type { color: #959e8a; font-size: 10px; }
#code-preview { padding: 20px; margin: 0; overflow-x: auto; font-size: 13px; line-height: 2.1; min-height: 205px; }
.code-muted { color: #89917e; }
.code-caption { border-top: 1px solid #3b4034; margin: 0 20px; padding-top: 14px; font: 12px/1.7 var(--sans); color: #aab29e; }
.terminal-footer { display: flex; gap: 18px; align-items: center; padding: 10px 20px; border-top: 1px solid #363a31; color: #a2aa96; font-size: 10px; }
.progress-track { height: 1px; background: #49503e; flex: 1; }
#progress-fill { height: 100%; width: 0; background: #d4dbca; }
.simulation-notes { display: grid; grid-template-columns: 1fr 1fr; gap: 32px; margin-top: 12px; color: var(--muted); font-size: 12px; line-height: 1.6; }
.scenario-help { text-align: right; }
.step-explainer { display: grid; grid-template-columns: 1fr auto; gap: 32px; align-items: start; margin-top: 30px; padding-left: 178px; }
.step-explainer h3 { font-size: 17px; }
.step-explainer p { font-size: 13px; color: var(--muted); margin-top: 6px; max-width: 680px; line-height: 1.8; }
.role-chip { font-size: 11px; color: var(--muted); padding-top: 4px; }
.section-rule { border-top: 1px solid var(--line); }
.architecture, .docs-section { padding-block: 96px; }
.architecture { scroll-margin-top: 24px; }
.editorial-grid { display: grid; grid-template-columns: 1fr 2.2fr; gap: 80px; }
.section-heading .text-link { display: inline-block; margin-top: 24px; }
.view-switch { display: flex; gap: 24px; }
.view-switch button { border: 0; padding: 0 0 8px; border-bottom: 1px solid transparent; font: 500 13px var(--sans); }
.view-switch button.active { color: var(--red); border-bottom-color: currentColor; }
.architecture-diagram { display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); gap: 14px; margin-top: 28px; }
.diagram-block { position: relative; border: 1px solid var(--line); text-align: left; padding: 18px 14px; min-height: 90px; }
.diagram-block.active { border-color: var(--red); background: #e8e4db; }
.diagram-block:hover { border-color: var(--ink); }
.diagram-block strong { font-size: 14px; font-weight: 500; display: block; line-height: 1.5; }
.block-role { font-size: 11px; display: block; color: var(--muted); margin-top: 8px; }
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(1):after,
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(2):after,
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(3):after,
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(6):after,
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(7):after { content: ''; position: absolute; width: 14px; right: -15px; top: 50%; border-top: 1px solid var(--line); pointer-events: none; }
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(5) { grid-column: 1/-1; min-height: 75px; }
.architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(6) { grid-column: span 2; }
.diagram-block.optional { border-style: dashed; }
.diagram-block.optional:before { content: attr(data-condition); display: block; color: var(--red); font-size: 10px; margin-bottom: 10px; }
.workflow-branch { grid-column: 1/-1; display: flex; flex-wrap: wrap; gap: 8px 24px; font-size: 10px; padding-block: 6px; }
.workflow-branch span:last-child { color: var(--red); }
.architecture-diagram[data-view=workspaces] { grid-template-columns: repeat(6,minmax(0,1fr)); }
.architecture-diagram[data-view=workspaces] .diagram-block { grid-column: span 2; }
.architecture-diagram[data-view=workspaces] .diagram-block:nth-child(-n+2) { grid-column: span 3; }
.architecture-diagram[data-view=workspaces] .diagram-block:last-child { grid-column: span 6; }
.branch-note { font-size: 12px; color: var(--muted); margin-top: 20px; }
.block-detail { display: grid; grid-template-columns: 1fr 2fr; gap: 32px; padding-top: 24px; border-top: 1px solid var(--line); margin-top: 25px; }
.block-detail h3 { font-size: 17px; }
.block-detail p { font-size: 14px; line-height: 1.8; }
.block-detail .detail-note { color: var(--muted); font-size: 12px; margin-top: 8px; }
.example-section { display: grid; grid-template-columns: 1fr 2.2fr; gap: 80px; padding-block: 96px; border-top: 1px solid var(--line); }
.example-copy p { margin: 20px 0; font-size: 14px; color: var(--muted); line-height: 1.8; }
.text-link { font-size: 13px; font-weight: 500; }
.diff-card { min-width: 0; padding: 28px 32px; background: #f0f1eb; }
.diff-header { display: flex; justify-content: space-between; border-bottom: 1px solid var(--line); font: 11px var(--mono); padding-bottom: 18px; }
.diff-card pre { margin: 22px 0; font-size: 13px; line-height: 2; overflow-x: auto; }
.diff-card pre span { display: block; }
.diff-remove { color: #a02c23; }
.diff-add { color: #267038; }
.assertion { border-top: 1px solid var(--line); padding-top: 16px; display: flex; justify-content: space-between; gap: 12px; font-size: 12px; }
.assertion-label { font: 10px var(--mono); color: var(--muted); }
.doc-card { display: grid; grid-template-columns: 1fr 2fr; gap: 32px; align-items: baseline; padding: 22px 0; border-bottom: 1px solid var(--line); text-decoration: none; }
.doc-card:first-child { padding-top: 0; }
.doc-card h3 { font-size: 19px; }
.doc-card p { color: var(--muted); font-size: 13px; line-height: 1.8; }
.install-strip { display: flex; align-items: center; justify-content: space-between; gap: 20px; margin-top: 32px; }
.install-strip code { font-size: 12px; min-width: 0; overflow-wrap: anywhere; }
.copy-button { border: 1px solid var(--line); padding: 7px 12px; min-height: 36px; font: 12px var(--sans); }
.copy-button:hover { border-color: var(--ink); }
.site-footer { display: flex; justify-content: space-between; align-items: center; gap: 24px; border-top: 1px solid var(--line); padding-block: 32px 40px; }
.site-footer .brand img { display: none; }
.site-footer .brand span { font-size: 20px; }
.site-footer p, .site-footer>div { color: var(--muted); font-size: 11px; }
.site-footer>div { display: flex; gap: 24px; }
.site-footer a { text-decoration: none; }
.toast { position: fixed; bottom: 24px; left: 50%; transform: translateX(-50%); padding: 12px 18px; background: var(--ink); color: white; font-size: 14px; z-index: 50; max-width: calc(100% - 32px); }
/* The protocol shares the terminal's step and scenario. */
.architecture-diagram[data-view=game] { display: block; }
.protocol-current { display: flex; gap: 24px; align-items: baseline; padding-bottom: 20px; }
.protocol-current span, .protocol-role dt { font-size: 12px; color: var(--muted); }
.protocol-current strong { font-weight: 500; font-size: 18px; }
.protocol-current .protocol-mode { margin-left: auto; text-align: right; }
.protocol-roles { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 24px; }
.protocol-role { min-width: 0; border: 0; border-top: 2px solid var(--ink); padding: 22px 0; text-align: left; }
.protocol-role.active { border-color: var(--red); }
.protocol-role.active h3 { color: var(--red); }
.protocol-role:hover h3 { text-decoration: underline; text-underline-offset: 6px; }
.protocol-role h3 { font-size: 22px; }
.protocol-role h3 button { border: 0; padding: 0; text-align: left; font: inherit; min-height: 44px; }
.protocol-role dl { margin: 22px 0 0; }
.protocol-role dd { margin: 4px 0 18px; font-size: 14px; line-height: 1.7; }
.protocol-role dd:last-child { margin-bottom: 0; }
.protocol-transfers { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 32px; }
.protocol-transfer { position: relative; border-top: 1px solid var(--ink); padding: 18px 0 24px; min-width: 0; }
.protocol-transfer:after { content: ''; position: absolute; top: -5px; width: 8px; height: 8px; border-top: 1px solid var(--ink); border-right: 1px solid var(--ink); }
.protocol-transfer[data-direction=forward]:after { right: 1px; transform: rotate(45deg); }
.protocol-transfer[data-direction=back]:after { left: 1px; transform: rotate(-135deg); }
.protocol-transfer strong { display: block; font-size: 14px; font-weight: 500; }
.protocol-transfer code { display: block; margin-top: 8px; font-size: 12px; overflow-wrap: anywhere; }
.protocol-transfer p { margin-top: 12px; font-size: 12px; color: var(--muted); line-height: 1.8; }
.protocol-observations { border-block: 1px solid var(--ink); padding: 22px 0; }
.protocol-observations>p { font-size: 14px; }
.protocol-observations dl { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 24px; margin: 18px 0 0; }
.protocol-observations dt { font: 12px var(--mono); color: var(--muted); }
.protocol-observations dd { margin: 6px 0 0; font-size: 26px; line-height: 1.3; letter-spacing: -.04em; }
.protocol-outcome { display: grid; grid-template-columns: 1fr 1.5fr; gap: 24px; padding: 18px 0; border-bottom: 1px solid var(--line); }
.protocol-outcome strong { font-size: 14px; font-weight: 500; }
.protocol-outcome p { font-size: 14px; line-height: 1.7; }
.protocol-outcome.active { color: var(--red); border-bottom-color: var(--red); }
.protocol-review { margin-top: 24px; font-size: 16px; }
.protocol-help { margin-top: 16px; font-size: 12px; color: var(--muted); }
.protocol-context { margin-top: 36px; padding-top: 24px; border-top: 1px solid var(--line); }
.protocol-context p { font-size: 14px; line-height: 1.8; max-width: 680px; }
.protocol-context p+p { margin-top: 16px; }
.protocol-context a { display: inline-block; margin-top: 20px; }
.protocol-context .protocol-source { margin-top: 14px; font-size: 12px; color: var(--muted); }
.install-context { font-size: 12px; color: var(--muted); margin-top: 28px; }
.install-context+.install-strip { margin-top: 12px; }
/* Documentation */
.docs-shell { display: grid; grid-template-columns: 190px minmax(0,1fr) 150px; gap: 56px; padding-block: 64px 96px; align-items: start; }
.docs-sidebar, .docs-contents { position: sticky; top: 24px; font-size: 14px; }
.docs-sidebar nav, .docs-contents nav { display: flex; flex-direction: column; gap: 9px; }
.docs-sidebar nav a { padding: 5px 0; line-height: 1.5; text-decoration: none; }
.docs-sidebar nav a.active { color: var(--red); text-decoration: underline; }
.back-link { display: block; font-size: 13px; color: var(--muted); margin-top: 25px; }
.docs-contents .toc-label { font: 12px var(--mono); color: var(--muted); margin-bottom: 15px; }
.docs-contents a { font-size: 12px; color: var(--muted); line-height: 1.5; text-decoration: none; }
.docs-main { min-width: 0; }
.docs-intro { margin-bottom: 24px; }
.docs-intro h1 { font-size: 48px; font-weight: 500; letter-spacing: -.045em; line-height: 1.2; }
.docs-note { font-size: 14px; border-left: 2px solid var(--red); padding-left: 15px; margin-bottom: 24px; color: var(--muted); }
.prose { font-size: 16px; line-height: 1.8; overflow-wrap: anywhere; }
.prose p { margin: 18px 0; }
.prose h2 { font-size: 26px; margin: 40px 0 18px; scroll-margin-top: 24px; }
.prose h3 { font-size: 20px; margin: 30px 0 16px; scroll-margin-top: 24px; }
.prose a { text-decoration: underline; }
.prose strong { font-weight: 600; }
.prose ul, .prose ol { padding-left: 22px; }
.prose li { margin-block: 10px; padding-left: 3px; }
.prose code { font-size: .85em; }
.prose pre { position: relative; padding: 42px 0 18px; margin: 22px 0; border-block: 1px solid var(--line); overflow-x: auto; font-size: 13px; line-height: 1.9; }
.prose pre code { font-size: inherit; white-space: pre; }
.prose pre .copy-button { position: absolute; top: 8px; right: 0; font-size: 12px; padding: 2px 8px; min-height: 26px; }
.prose img { height: auto; margin-block: 22px; }
.prose table { border-collapse: collapse; display: block; width: 100%; overflow: auto; margin: 24px 0; font-size: 14px; }
.prose th, .prose td { padding: 10px 12px 10px 0; min-width: 110px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--line); }
.prose th { font-weight: 600; }
.docs-source { display: inline-block; margin-top: 30px; }
.doc-diagram { margin: 25px 0; font-size: 14px; }
.doc-flow { display: flex; flex-direction: column; gap: 20px; }
.doc-node { position: relative; border: 1px solid var(--line); text-align: center; padding: 12px 16px; }
.doc-flow .doc-node:not(:last-child):after { content: ''; border-left: 1px solid var(--line); height: 20px; position: absolute; bottom: -21px; left: 50%; }
.doc-diagram figcaption { font-size: 13px; color: var(--muted); margin-top: 18px; }
.doc-fan { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 10px; margin: 20px 0; }
.doc-fan .doc-node { padding-inline: 8px; font-size: 12px; }
.decision-rows { margin-block: 20px; }
.decision-row { display: grid; grid-template-columns: 1.1fr 1fr 1fr; gap: 15px; padding: 14px 0; border-bottom: 1px solid var(--line); font-size: 13px; }
.decision-row span:last-child { color: var(--red); }
.doc-branches { margin: 20px 0; display: flex; flex-direction: column; gap: 10px; font-size: 13px; }
.doc-branches>div:last-child { color: var(--red); }
@media(max-width:1100px) {
  .wrap, .header-inner { width: calc(100% - 64px); }
  .hero-top, .boundary-controls { gap: 40px; }
  .editorial-grid, .example-section { grid-template-columns: 1fr 2.4fr; gap: 40px; }
  .terminal-layout { grid-template-columns: 130px minmax(0,1fr) minmax(0,1fr); }
  .terminal-main { padding: 20px 16px; }
  .stage-strip { padding-inline: 6px; }
  .step-explainer { padding-left: 146px; }
  .docs-shell { grid-template-columns: 170px minmax(0,1fr); gap: 40px; }
  .docs-contents { display: none; }
}
@media(max-width:800px) {
  .wrap, .header-inner { width: calc(100% - 40px); }
  .header-inner { min-height: 76px; justify-content: space-between; }
  .brand span { font-size: 24px; }
  .desktop-nav, .github-link { display: none; }
  .header-actions { gap: 16px; }
  .menu-toggle { display: block; }
  .hero { padding: 28px 0 28px; }
  .hero-top { display: block; }
  .hero h1 { font-size: clamp(38px,7.5vw,58px); }
  :lang(de) .hero h1 { font-size: clamp(36px,7vw,56px); }
  :lang(ja) .hero h1, :lang(zh-CN) .hero h1 { font-size: clamp(30px,6vw,46px); }
  .hero-intro { padding: 22px 0 0; max-width: 460px; }
  .hero-description { font-size: 14px; line-height: 1.8; }
  .hero-actions { margin-top: 16px; }
  .boundary { margin-top: 14px; }
  .boundary-expression { min-height: 170px; grid-template-columns: 1fr 1.25fr 1fr; padding-block: 24px; }
  .operand { gap: 12px; }
  .operand-name { font-size: 12px; }
  .operand output, .now-value { font-size: clamp(40px,9vw,70px); }
  .boundary-operator { font-size: clamp(78px,19vw,140px); }
  .boundary-controls { grid-template-columns: 1fr; gap: 20px; padding-top: 18px; }
  .boundary-actions { justify-content: space-between; gap: 12px; }
  .boundary-actions .button { min-width: 0; max-width: 60%; font-size: 12px; padding-inline: 12px; }
  .boundary-actions .text-button { font-size: 12px; }
  .operand-result { flex-direction: column; align-items: center; gap: 4px; padding-top: 8px; }
  .operand-result span { font-size: 12px; }
  .operand-result strong { font-size: 15px; }
  .hero-bottom { display: block; padding-top: 16px; }
  .hero-bottom p { font-size: 12px; }
  .hero-bottom .text-link { display: inline-block; margin-top: 20px; }
  .playground-heading { display: block; padding-block: 38px 24px; }
  .playground-heading .platforms { margin-top: 16px; }
  h2 { font-size: 32px; }
  .section-top { flex-wrap: wrap; gap: 14px; }
  .demo-toolbar { flex-direction: column; align-items: stretch; gap: 12px; padding: 12px; }
  .scenario-control { justify-content: space-between; gap: 8px; }
  .scenario-control label { font-size: 10px; }
  .scenario-control select { min-width: 0; font-size: 11px; }
  .playback { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); }
  .playback button { padding-inline: 4px; font-size: 11px; overflow-wrap: anywhere; }
  .terminal-layout { grid-template-columns: 1fr; min-height: 0; }
  .stage-strip { flex-direction: row; overflow-x: auto; border-right: 0; border-bottom: 1px solid #363a31; padding: 8px; }
  .stage-strip button { flex: 0 0 auto; border-left: 0; border-bottom: 2px solid transparent; padding-inline: 12px; }
  .stage-strip button.active { border-bottom-color: #e88b6f; }
  .terminal-main { padding: 20px 16px; min-height: 335px; }
  .terminal-code { border-left: 0; border-top: 1px solid #363a31; padding-block: 18px; }
  .terminal-titlebar { padding-inline: 16px; font-size: 10px; }
  .terminal-meta { font-size: 9px; max-width: 120px; text-align: right; }
  .log-line { grid-template-columns: 10px 85px minmax(0,1fr); gap: 5px; }
  .code-tab { padding-inline: 16px; }
  #code-preview { padding: 18px 16px; min-height: 0; }
  .code-caption { margin-inline: 16px; }
  .terminal-footer { padding-inline: 16px; gap: 12px; }
  .terminal-footer>span:last-child { max-width: 125px; text-align: right; }
  .simulation-notes { display: block; font-size: 10px; }
  .scenario-help { text-align: left; margin-top: 6px; }
  .step-explainer { grid-template-columns: 1fr; padding-left: 0; gap: 10px; margin-top: 24px; }
  .role-chip { display: none; }
  .playground { padding-bottom: 64px; }
  .architecture, .docs-section { padding-block: 64px; }
  .editorial-grid, .example-section { grid-template-columns: minmax(0,1fr); gap: 32px; }
  .architecture-diagram { grid-template-columns: repeat(2,minmax(0,1fr)); gap: 14px; }
  .diagram-block { padding: 16px; min-height: 98px; }
  .architecture-diagram[data-view=workflow] .diagram-block:after { display: none; }
  .architecture-diagram[data-view=workflow] .diagram-block:nth-of-type(6) { grid-column: 1/-1; }
  .architecture-diagram[data-view=workspaces] { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .architecture-diagram[data-view=workspaces] .diagram-block,
  .architecture-diagram[data-view=workspaces] .diagram-block:nth-child(-n+2),
  .architecture-diagram[data-view=workspaces] .diagram-block:last-child { grid-column: span 1; }
  .workflow-branch { flex-direction: column; gap: 9px; }
  .block-detail { grid-template-columns: 1fr; gap: 12px; }
  .view-switch { flex-wrap: wrap; gap: 18px; }
  .view-switch button { min-height: 44px; }
  .protocol-current { flex-wrap: wrap; gap: 8px 16px; }
  .protocol-current .protocol-mode { width: 100%; text-align: left; margin-left: 0; }
  .protocol-roles { grid-template-columns: minmax(0,1fr); gap: 0; }
  .protocol-role { padding-block: 20px; }
  .protocol-role dl { margin-top: 14px; }
  .protocol-role dd { margin: 4px 0 14px; }
  .protocol-transfers { grid-template-columns: minmax(0,1fr); gap: 0; }
  .protocol-observations dd { font-size: 22px; overflow-wrap: anywhere; }
  .protocol-outcome { grid-template-columns: minmax(0,1fr); gap: 8px; }
  .hero-description { font-size: 16px; }
  .example-section { padding-block: 64px; }
  .example-copy p { max-width: 440px; }
  .diff-card { min-width: 0; padding: 24px 16px; }
  .diff-card pre { font-size: 11px; }
  .assertion { flex-direction: column; }
  .doc-card { grid-template-columns: 1fr; gap: 8px; padding-block: 20px; }
  .install-strip { gap: 12px; }
  .install-strip code { font-size: 11px; }
  .site-footer { flex-wrap: wrap; gap: 20px; }
  .site-footer p { flex: 1; text-align: right; }
  .site-footer>div { width: 100%; justify-content: space-between; }
  .docs-shell { display: block; padding-top: 24px; }
  .docs-sidebar { position: static; margin-bottom: 40px; }
  .docs-sidebar nav { flex-direction: row; flex-wrap: wrap; gap: 8px 18px; }
  .docs-sidebar .back-link { display: none; }
  .docs-intro h1 { font-size: 38px; }
  .doc-fan { gap: 6px; }
  .decision-row { grid-template-columns: 1fr; gap: 5px; }
}
/* The code, test, and controller share one simulation state. */
.header-inner { min-height: 76px; }
.desktop-nav a, .header-actions { font-size: 14px; }
.hero { padding: 38px 0 24px; }
.hero-top { grid-template-columns: minmax(0,1.6fr) minmax(0,1fr); gap: 64px; }
.hero h1 { font-size: clamp(44px,5.1vw,76px); font-weight: 600; letter-spacing: -.065em; line-height: 1.08; }
.hero h1 span:last-child { color: var(--ink); }
.hero-intro { max-width: 420px; }
.hero-description { font-size: 16px; line-height: 1.75; }
.hero-actions { margin-top: 16px; }
.launch-context { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,2fr); gap: 40px; border-top: 1px solid var(--ink); margin-top: 34px; padding-top: 16px; }
.launch-context p { font-size: 13px; color: var(--muted); margin-bottom: 6px; }
.launch-context code { font-size: 13px; overflow-wrap: anywhere; }
.launch-note { margin-top: 10px; font-size: 12px; color: var(--muted); }
.playground { border-top: 0; padding-bottom: 32px; }
.playground>.demo-toolbar { border: 0; background: transparent; padding: 0 0 20px; }
.scenario-control { font-size: 13px; }
.scenario-control select, .button.small, .icon-button { min-height: 44px; font-size: 13px; }
.code-scene, .controller-scene { display: grid; grid-template-columns: minmax(0,.9fr) minmax(0,1.45fr) minmax(0,1.15fr); }
.code-scene { border-block: 1px solid var(--ink); }
.code-scene article { min-width: 0; padding: 22px 24px 24px; }
.code-scene article:first-child { padding-left: 0; }
.code-scene article:last-child { padding-right: 0; }
.code-scene article+article, .controller-scene>div+div { border-left: 1px solid var(--line); }
.scene-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; min-height: 52px; }
.scene-heading h3 { font-size: 18px; font-weight: 600; letter-spacing: -.04em; }
.scene-heading>span { font-size: 11px; color: var(--muted); text-align: right; }
.scene-filename { display: block; font-size: 11px; color: var(--muted); overflow-wrap: anywhere; }
.original-line { margin: 26px 0 30px; font-size: 12px; line-height: 1.7; overflow-x: auto; }
.original-suite { font-size: 12px; }
.original-suite>p:first-child { font-size: 14px; margin-bottom: 5px; }
.original-suite>p:nth-child(2) { color: var(--muted); }
.original-suite dl { margin: 18px 0 0; }
.original-suite dl>div, .missing-case { display: flex; justify-content: space-between; align-items: baseline; gap: 8px; padding-block: 10px; border-bottom: 1px solid var(--line); }
.original-suite dd { margin: 0; font: 12px var(--mono); }
.missing-case { color: var(--red); }
.missing-case>span { font-size: 11px; }
.scene-note { font-size: 12px; line-height: 1.7; color: var(--muted); margin-top: 18px; }
.scene-original>.scene-note { max-width: 230px; }
.trace-expression { display: flex; align-items: center; justify-content: center; gap: 12px; min-height: 158px; }
.trace-expression>code { font-size: clamp(13px,1.3vw,18px); }
.trace-operator { display: flex; align-items: center; font: 400 clamp(65px,7vw,104px)/1 var(--mono); letter-spacing: -.13em; padding-right: .12em; }
.trace-equals { display: inline-block; color: var(--red); transition: transform 450ms ease, opacity 450ms ease; }
.trace-expression.fixed .trace-equals { transform: translateY(-.65em) scale(.25); opacity: 0; }
.trace-diff { min-height: 58px; font-size: 12px; color: var(--muted); line-height: 1.7; }
.trace-diff code { display: block; }
.trace-diff .removed { color: var(--muted); text-decoration: line-through; }
.trace-diff .added { color: var(--ink); }
.trace-cases { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); border-top: 1px solid var(--line); }
.trace-cases button { border: 0; border-bottom: 2px solid transparent; padding: 14px 2px 12px; min-height: 90px; text-align: center; }
.trace-cases button+button { border-left: 1px solid var(--line); }
.trace-cases button[aria-pressed=true] { border-bottom-color: var(--red); }
.trace-cases button:hover { background: #eef1e9; }
.trace-cases span { display: block; font: 400 32px/1.3 var(--mono); letter-spacing: -.08em; }
.trace-cases small { display: block; font-size: 10px; line-height: 1.5; margin-top: 6px; color: var(--muted); }
.trace-response { display: flex; align-items: baseline; justify-content: space-between; flex-wrap: wrap; gap: 6px 12px; margin-top: 18px; }
.trace-response code { font-size: 12px; }
.trace-response>span { font-size: 15px; font-weight: 600; }
.trace-response[data-mismatch=true]>span { color: var(--red); }
#trace-expectation { margin-top: 8px; }
#story-test { margin: 28px 0 0; min-height: 140px; white-space: pre-wrap; overflow-wrap: anywhere; font-size: 12px; line-height: 1.8; }
.code-scene .code-muted, .source-detail .code-muted { color: var(--muted); }
.code-focus { color: var(--red); }
.challenge-join { display: flex; align-items: center; gap: 18px; border-top: 1px solid var(--line); padding-top: 16px; }
.join-number { font: 400 48px/1.1 var(--mono); letter-spacing: -.08em; color: var(--muted); }
.join-number.submitted { color: var(--ink); }
.challenge-join p { font-size: 12px; line-height: 1.6; max-width: 170px; }
.scene-challenge>.scene-note { margin-top: 12px; }
.controller-scene { border-bottom: 1px solid var(--ink); }
.controller-scene>div { min-width: 0; padding: 20px 24px 24px; }
.controller-scene>div:first-child { padding-left: 0; }
.controller-scene>div:last-child { padding-right: 0; }
.controller-scene h3 { font-size: 13px; letter-spacing: 0; }
.controller-scene strong { display: block; font-size: 24px; font-weight: 500; letter-spacing: -.045em; margin-block: 12px 8px; line-height: 1.3; }
.controller-scene p, #trace-result { font-size: 12px; color: var(--muted); line-height: 1.7; }
#trace-result { display: block; color: var(--ink); margin-top: 12px; }
.check-table { border-collapse: collapse; width: 100%; font-size: 14px; }
.check-table caption { text-align: left; padding-bottom: 12px; font-size: 13px; line-height: 1.5; }
.check-table th, .check-table td { text-align: left; padding: 8px 10px 8px 0; border-bottom: 1px solid var(--line); line-height: 1.5; }
.check-table thead th { color: var(--muted); font-size: 11px; font-weight: 400; }
.check-table tbody th { font-weight: 400; font-size: 12px; }
.check-table tbody tr:last-child>* { border-bottom: 0; }
.check-failed { color: var(--red); }
.playground>.step-explainer { grid-template-columns: 64px minmax(0,1fr) auto; padding-left: 0; gap: 24px; margin-top: 24px; }
.step-number { font: 400 44px/1.2 var(--mono); letter-spacing: -.075em; }
.playground>.step-explainer h3 { font-size: 21px; }
.playground>.step-explainer p { font-size: 14px; max-width: 720px; }
.playground>.stage-strip { flex-direction: row; flex-wrap: wrap; gap: 0 22px; border: 0; margin-top: 20px; padding: 0 0 8px; }
.playground>.stage-strip button { color: var(--muted); padding: 8px 0; min-height: 44px; border-left: 0; border-bottom: 1px solid transparent; font-size: 12px; }
.playground>.stage-strip button:hover { color: var(--ink); }
.playground>.stage-strip button.active { color: var(--red); border-bottom-color: var(--red); background: transparent; }
.simulation-notes { font-size: 11px; margin: 8px 0 28px; }
.route-rules, .source-detail, .run-log, .boundary-detail { border-bottom: 1px solid var(--line); }
.route-rules>summary, .source-detail>summary, .run-log>summary, .boundary-detail>summary { font-size: 16px; padding-block: 18px; cursor: pointer; }
.source-detail pre { font-size: 13px; line-height: 1.9; overflow-x: auto; }
.source-detail p, .session-order { font-size: 13px; color: var(--muted); margin-block: 12px 22px; }
.check-command { font-size: 12px; color: var(--muted); margin-bottom: 22px; overflow-wrap: anywhere; }
.story-route { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,1.5fr); gap: 32px; border-bottom: 1px solid var(--line); padding-block: 18px; }
.story-route strong { font-size: 14px; font-weight: 500; }
.story-route p { font-size: 14px; line-height: 1.8; }
.story-route.active { color: var(--red); }
.run-log .terminal { margin-block: 8px 24px; }
.run-log .terminal-layout { grid-template-columns: minmax(0,1.2fr) minmax(0,1fr); }
.boundary-section { padding-block: 24px 40px; }
.boundary-heading { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,2fr); gap: 80px; }
.boundary-heading p { font-size: 16px; line-height: 1.8; max-width: 650px; }
.boundary-section .boundary-expression { min-height: 230px; }
.boundary-section .boundary-operator { font-size: clamp(125px,13vw,200px); }
.boundary-section .operand output, .boundary-section .now-value { font-size: clamp(70px,8vw,110px); }
.boundary-local-note { font-size: 12px; color: var(--muted); border-top: 1px solid var(--line); padding-top: 18px; }
.boundary-section>.text-link { display: inline-block; margin-top: 20px; }
.evidence-section { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,2fr); gap: 80px; border-top: 1px solid var(--line); padding-block: 64px; margin-top: 32px; }
.evidence-heading>p { font-size: 15px; line-height: 1.8; margin-top: 22px; }
.evidence-heading .evidence-note { font-size: 12px; color: var(--muted); }
.evidence-files { min-width: 0; }
.evidence-files details { border-bottom: 1px solid var(--line); }
.evidence-files summary { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,1.8fr); gap: 24px; align-items: baseline; padding: 20px 0; cursor: pointer; }
.evidence-files summary code { font-size: 15px; }
.evidence-files summary span { font-size: 13px; color: var(--muted); }
.evidence-files summary:hover code { color: var(--red); }
.evidence-files pre { font-size: 13px; line-height: 1.9; padding-bottom: 18px; overflow-x: auto; white-space: pre-wrap; overflow-wrap: anywhere; }
.evidence-path { margin-top: 24px; font-size: 13px; overflow-wrap: anywhere; }
.evidence-files>p:last-child { font-size: 14px; line-height: 1.8; margin-top: 18px; }
.harness-detail { border-top: 1px solid var(--line); padding-block: 22px; }
.harness-detail>summary { font-size: 22px; font-weight: 500; letter-spacing: -.035em; cursor: pointer; }
.harness-detail>.wrap { width: 100%; padding-block: 40px; }
.harness-detail h2 { font-size: 28px; }
summary:focus-visible { outline: 2px solid var(--red); outline-offset: 4px; }
@media(max-width:1100px) {
 .hero-top { gap: 40px; }
 .code-scene article, .controller-scene>div { padding-inline: 18px; }
 .scene-heading { flex-wrap: wrap; gap: 3px; }
 .scene-heading>span { text-align: left; }
 .trace-expression { gap: 6px; }
 .trace-expression>code { font-size: 12px; }
 .boundary-heading, .evidence-section { gap: 40px; }
}
@media(max-width:800px) {
 .hero { padding-top: 28px; }
 .hero-top { display: block; }
 .hero h1 { font-size: clamp(40px,8vw,60px); }
 :lang(ja) .hero h1, :lang(zh-CN) .hero h1 { font-size: clamp(32px,6.5vw,48px); }
 :lang(de) .hero h1 { font-size: clamp(38px,7.5vw,56px); }
 .launch-context { grid-template-columns: minmax(0,1fr); gap: 18px; margin-top: 28px; }
 .launch-note { line-height: 1.8; }
 .playground>.demo-toolbar { padding: 0 0 18px; }
 .scenario-control label, .scenario-control select { font-size: 12px; }
 .playback button { font-size: 13px; }
 .code-scene, .controller-scene { grid-template-columns: minmax(0,1fr); }
 .code-scene article, .controller-scene>div { padding: 22px 0; }
 .code-scene article+article, .controller-scene>div+div { border-left: 0; border-top: 1px solid var(--line); }
 .scene-heading { flex-wrap: nowrap; min-height: 36px; }
 .scene-heading h3 { font-size: 20px; }
 .scene-heading>span { font-size: 12px; text-align: right; }
 .scene-filename { font-size: 12px; }
 .original-line { margin: 20px 0; font-size: 13px; }
 .original-suite { font-size: 13px; }
 .scene-original>.scene-note { max-width: none; }
 .trace-expression { min-height: 146px; gap: 18px; }
 .trace-expression>code { font-size: 16px; }
 .trace-operator { font-size: 94px; }
 .trace-cases small { font-size: 12px; }
 .trace-cases span { font-size: 36px; }
 .trace-diff { font-size: 13px; }
 .trace-response code { font-size: 13px; }
 #story-test { min-height: 0; font-size: 12px; margin-bottom: 22px; }
 .challenge-join p { max-width: 240px; font-size: 13px; }
 .playground>.step-explainer { grid-template-columns: 46px minmax(0,1fr); gap: 16px; }
 .step-number { font-size: 34px; }
 .playground>.step-explainer h3 { font-size: 20px; }
 .playground>.stage-strip { gap: 0 18px; overflow: visible; }
 .playground>.stage-strip button { font-size: 12px; }
 .simulation-notes { font-size: 12px; }
 .check-table { font-size: 14px; table-layout: fixed; }
 .check-table th, .check-table td { overflow-wrap: anywhere; }
 .story-route { grid-template-columns: minmax(0,1fr); gap: 10px; }
 .run-log .terminal-layout { grid-template-columns: minmax(0,1fr); }
 .boundary-heading, .evidence-section { grid-template-columns: minmax(0,1fr); gap: 28px; }
 .boundary-section { padding-bottom: 32px; }
 .evidence-section { padding-block: 44px; }
 .boundary-section .boundary-expression { min-height: 170px; }
 .boundary-section .boundary-operator { font-size: clamp(78px,19vw,140px); }
 .boundary-section .operand output, .boundary-section .now-value { font-size: clamp(40px,9vw,70px); }
 .evidence-files summary { grid-template-columns: minmax(0,1fr); gap: 6px; }
}
@media(prefers-reduced-motion:reduce) { * { scroll-behavior: auto !important; transition: none !important; animation: none !important; } }

/* A small interactive example explains each role in turn. */
.home-page { --paper: #f7f7f2; --ink: #191b1a; --muted: #62655e; --line: #d4d6ce; }
.home-page .site-header { border-bottom: 1px solid var(--line); }
.home-page .header-inner { min-height: 76px; }
.home-page .desktop-nav a, .home-page .header-actions { font-size: 14px; }
.home-page .brand span { font-weight: 700; }
.simple-home { padding-block: 48px; }
.home-intro h1 { font-size: clamp(60px,7.6vw,108px); font-weight: 700; line-height: 1.06; letter-spacing: -.065em; }
.home-intro h1 span { display: block; }
.home-intro h1 span+span { color: var(--red); }
.home-summary { display: flex; align-items: center; justify-content: space-between; gap: 40px; margin-top: 26px; }
.home-summary p { font-size: 18px; line-height: 1.7; max-width: 580px; }
.home-actions { display: flex; align-items: center; gap: 24px; flex-shrink: 0; }
.home-link { display: inline-block; font-size: 14px; padding-block: 12px; }
.home-docs { display: inline-block; background: var(--ink); color: var(--paper); padding: 12px 28px; font-size: 14px; text-decoration: none; }
.home-docs:hover { background: var(--red); color: var(--paper); }
.home-how { padding-top: 36px; scroll-margin-top: 24px; }
.home-how>h2 { font-size: 16px; font-weight: 500; letter-spacing: -.02em; margin-bottom: 14px; }
.mini-example { border: 1px solid var(--line); background: #fff; }
.cli-example { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 18px 24px; border-bottom: 1px solid var(--line); }
.cli-example code { font-size: 16px; overflow-wrap: anywhere; }
.shell-prompt { color: var(--red); }
.cli-example .copy-button { min-height: 44px; flex-shrink: 0; font-size: 14px; padding-inline: 16px; }
.mini-roles { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); }
.mini-roles button { text-align: left; border: 0; border-bottom: 2px solid var(--line); padding: 16px 24px; font-size: 16px; }
.mini-roles button[aria-pressed=true] { border-bottom-color: var(--red); color: var(--red); }
.mini-roles small { display: inline-block; font: 12px/1.5 var(--mono); color: var(--muted); margin-right: 12px; }
.mini-detail { display: grid; grid-template-columns: 1fr 1.1fr; align-items: center; gap: 48px; padding: 30px 24px; min-height: 176px; }
.mini-detail h3 { font-size: 21px; font-weight: 600; letter-spacing: -.035em; }
.mini-detail p { font-size: 16px; color: var(--muted); margin-top: 8px; line-height: 1.65; max-width: 420px; }
.mini-detail pre { min-width: 0; margin: 0; font-size: 16px; line-height: 1.9; white-space: pre-wrap; overflow-wrap: anywhere; }
.mini-bottom { display: flex; justify-content: space-between; align-items: center; gap: 24px; border-top: 1px solid var(--line); padding: 10px 24px; }
.mini-bottom p { font-size: 12px; color: var(--muted); }
.mini-bottom button { font-size: 14px; border: 0; min-height: 44px; padding: 8px 0; flex-shrink: 0; }
.mini-bottom button:hover { color: var(--red); }
.home-page .site-footer p, .home-page .site-footer>div { font-size: 12px; }
.demo-page .home-intro h1 { font-size: clamp(48px,6vw,80px); }
.technical-run { margin-top: 28px; border-top: 1px solid var(--line); }
.technical-run>summary { font-size: 16px; padding-block: 20px; cursor: pointer; }
.legacy-run .wrap { width: 100%; }
@media(max-width:1000px) {
 .home-summary { display: block; }
 .home-actions { margin-top: 20px; }
}
@media(max-width:800px) {
 .simple-home { padding-block: 32px 36px; }
 .home-intro h1 { font-size: clamp(34px,7vw,58px); letter-spacing: -.055em; line-height: 1.1; }
 .home-summary { margin-top: 20px; }
 .home-summary p { font-size: 16px; }
 .home-how { padding-top: 28px; }
 .cli-example { align-items: center; padding: 14px 16px; gap: 12px; }
 .cli-example code { font-size: 14px; }
 .cli-example .copy-button { padding-inline: 10px; font-size: 12px; }
 .mini-roles button { padding: 14px 16px; font-size: 14px; }
 .mini-roles small { display: block; margin: 0 0 4px; }
 .mini-detail { grid-template-columns: minmax(0,1fr); gap: 18px; min-height: 215px; padding: 24px 16px; }
 .mini-detail h3 { font-size: 19px; }
 .mini-detail pre { font-size: 14px; }
 .mini-bottom { padding-inline: 16px; gap: 16px; }
 .demo-page .home-intro h1 { font-size: clamp(36px,7vw,56px); }
 .home-page .site-footer p { text-align: left; flex: auto; }
}
