@font-face {
  font-family: "IBM Plex Sans Condensed";
  src: url("assets/fonts/IBMPlexSansCondensed-SemiBold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "IBM Plex Sans Condensed";
  src: url("assets/fonts/IBMPlexSansCondensed-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

:root {
  --ink: #071817;
  --ink-soft: #0d2928;
  --ink-raised: #123332;
  --paper: #f3efdc;
  --paper-soft: #e6e1cb;
  --text: #f6f1df;
  --text-soft: #b7cbc7;
  --text-dim: #91aaa5;
  --mint: #78efb7;
  --acid: #efff8c;
  --blue: #8fb2ff;
  --orange: #ff8567;
  --line: #355351;
  --line-light: #b8b8a8;
  --focus: #efff8c;
  --code-line: #45625f;
  --code-bg: #041313;
  --hover-bg: #19423f;
  --paper-muted: #526a65;
  --paper-copy: #435b57;
  --terminal: #030e14;
  --terminal-line: #263e49;
  --terminal-intent: #b7c7ce;
  --terminal-text: #d9e2e5;
  --terminal-muted: #91a7ae;
  --terminal-copy: #d5e0e3;
  --green-dark: #087154;
  --footer: #020c0c;
  --sans: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --display: "IBM Plex Sans Condensed", "Arial Narrow", sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --max: 1180px;
  --gutter: clamp(18px, 4vw, 42px);
  --section: clamp(76px, 10vw, 132px);
  --radius-sm: 4px;
  --radius-md: 12px;
  --shadow: 14px 14px 0 #123332;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 78px; }
body { margin: 0; background: var(--ink); color: var(--text); font: 16px/1.6 var(--sans); }
button, code, pre { font: inherit; }
a { color: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
a:active, button:active { transform: translateY(1px); }
button:disabled { cursor: wait; }
:focus-visible { outline: 3px solid var(--focus); outline-offset: 4px; }
::selection { background: var(--acid); color: var(--ink); }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
.skip-link { position: fixed; top: -80px; left: 12px; z-index: 100; padding: 10px 14px; background: var(--paper); color: var(--ink); font-weight: 800; }
.skip-link:focus { top: 12px; }

.masthead { display: flex; min-height: 68px; align-items: center; justify-content: space-between; gap: 24px; padding: 12px max(var(--gutter), calc((100vw - var(--max)) / 2)); background: var(--ink); }
.wordmark, .panel-index, .hero-label { font: 800 12px/1.2 var(--mono); letter-spacing: .13em; text-transform: uppercase; }
.wordmark { color: var(--text); text-decoration: none; }
.masthead nav { display: flex; align-items: center; gap: clamp(14px, 2.5vw, 28px); }
.masthead nav a { color: var(--text-soft); font-size: 14px; text-decoration: none; }
.masthead nav a:hover { color: var(--mint); }
.masthead .github-link { min-height: 42px; display: inline-flex; align-items: center; padding: 0 12px; border: 1px solid var(--mint); color: var(--mint); }

.hero, .section { max-width: var(--max); margin: 0 auto; padding: var(--section) var(--gutter); }
.hero { padding-top: clamp(70px, 10vw, 126px); }
.hero-label, .panel-index { color: var(--mint); }
.hero-grid { display: grid; grid-template-columns: minmax(0, 1.25fr) minmax(280px, .75fr); gap: clamp(40px, 8vw, 110px); align-items: end; margin-top: 26px; }
.product-name { margin: 0 0 12px; color: var(--text-soft); font: 700 17px var(--mono); }
h1, h2, h3 { margin-top: 0; font-family: var(--display); line-height: .98; letter-spacing: -.025em; }
h1 { margin-bottom: 0; font-size: clamp(58px, 7.4vw, 96px); font-weight: 700; }
h1 span { color: var(--mint); }
.hero-detail { padding-bottom: 7px; }
.hero-detail > p:first-child { margin: 0; color: var(--text-soft); font-size: clamp(19px, 2vw, 23px); line-height: 1.5; }
.hero-detail .boundary { margin: 24px 0 0; padding-top: 18px; border-top: 1px solid var(--line); color: var(--acid); font: 700 13px/1.5 var(--mono); }

.install-panel { display: grid; grid-template-columns: .7fr 1.3fr; gap: 30px; margin-top: clamp(54px, 8vw, 92px); padding: 24px; border: 1px solid var(--line); background: var(--ink-soft); }
.install-panel h2 { margin: 12px 0 0; font-size: clamp(24px, 3vw, 36px); }
.install-code { min-width: 0; display: grid; grid-template-columns: minmax(0, 1fr) auto; border: 1px solid var(--code-line); background: var(--code-bg); }
.install-code code { min-width: 0; padding: 15px 17px; overflow-x: auto; color: var(--text); font: 13px/1.75 var(--mono); white-space: nowrap; }
.copy-button { min-width: 78px; min-height: 48px; border: 0; border-left: 1px solid var(--code-line); background: var(--ink-raised); color: var(--acid); font: 800 12px var(--mono); cursor: pointer; }
.copy-button:hover { background: var(--hover-bg); }
.copy-button[data-state="loading"] { opacity: .72; }
.copy-button[data-state="success"] { background: var(--green-dark); color: var(--text); }
.copy-button[data-state="error"] { background: var(--orange); color: var(--ink); }
.release-line { margin: 18px 0 0; color: var(--text-soft); font: 13px/1.5 var(--mono); }
.release-line b { color: var(--acid); }
.sync-note { max-width: 850px; margin: 9px 0 0; color: var(--text-dim); font-size: 12px; }

.section-intro { display: grid; grid-template-columns: .75fr 1.25fr; column-gap: clamp(36px, 8vw, 110px); align-items: start; }
.section-intro .panel-index { grid-column: 1; }
.section-intro h2 { grid-column: 1; margin: 18px 0 0; font-size: clamp(42px, 5.5vw, 68px); }
.section-intro > p { grid-column: 2; grid-row: 1 / span 2; margin: 27px 0 0; color: var(--text-soft); font-size: 20px; }
.section-intro.compact h2 { max-width: 760px; }

.workflow { border-top: 1px solid var(--line); }
.console-caption { margin: 58px 0 12px; color: var(--text-dim); font: 12px var(--mono); }
.workflow-console { display: grid; grid-template-columns: 270px minmax(0, 1fr); border: 1px solid var(--line); box-shadow: var(--shadow); }
.workflow-tabs { display: none; background: var(--ink-soft); border-right: 1px solid var(--line); }
.js .workflow-tabs { display: flex; flex-direction: column; }
.workflow-tabs button { display: grid; grid-template-columns: 34px 1fr; grid-template-rows: auto auto; min-height: 76px; padding: 12px 18px; border: 0; border-bottom: 1px solid var(--line); background: transparent; color: var(--text-soft); text-align: left; cursor: pointer; }
.workflow-tabs button:last-child { border-bottom: 0; }
.workflow-tabs button span { grid-row: 1 / span 2; color: var(--text-dim); font: 12px var(--mono); }
.workflow-tabs button b { font-size: 18px; }
.workflow-tabs button small { margin-top: 3px; color: var(--text-dim); font: 11px var(--mono); }
.workflow-tabs button[aria-selected="true"] { background: var(--paper); color: var(--ink); box-shadow: inset 4px 0 var(--orange); }
.workflow-tabs button[aria-selected="true"] span, .workflow-tabs button[aria-selected="true"] small { color: var(--paper-muted); }
.workflow-tabs button:active { background: var(--ink-raised); }
.terminal { min-width: 0; background: var(--terminal); }
.terminal-panel { min-height: 380px; padding: clamp(26px, 5vw, 52px); border-bottom: 1px solid var(--terminal-line); }
.terminal-panel:last-child { border-bottom: 0; }
.js .terminal-panel { display: none; }
.js .terminal-panel.active { display: block; }
.intent { max-width: 680px; margin: 0 0 38px; color: var(--terminal-intent); font-size: 18px; }
.terminal pre { margin: 0; overflow-x: auto; color: var(--terminal-text); font: 14px/1.8 var(--mono); white-space: pre; }
.prompt { color: var(--acid); font-weight: 800; }
.ok { color: var(--mint); }
.path { color: var(--blue); }
.claude { color: var(--acid); }
.codex { color: var(--mint); }
.command-note { max-width: 760px; margin: 34px 0 0; padding-top: 22px; border-top: 1px solid var(--terminal-line); color: var(--terminal-muted); font-size: 13px; }
.command-note code { color: var(--terminal-copy); font-family: var(--mono); }
.illustrative-note { margin: 26px 0 0; color: var(--text-dim); font: 12px var(--mono); }

.first-use { display: grid; grid-template-columns: .7fr 1.3fr; gap: clamp(40px, 8vw, 110px); padding: 74px max(var(--gutter), calc((100vw - var(--max)) / 2)); background: var(--paper); color: var(--ink); }
.first-use h2 { margin: 16px 0 0; font-size: clamp(34px, 4vw, 52px); }
.first-use ol { margin: 0; padding: 0; list-style: none; counter-reset: first-use; }
.first-use li { display: grid; grid-template-columns: minmax(130px, .4fr) 1fr; gap: 22px; padding: 21px 0; border-top: 1px solid var(--line-light); counter-increment: first-use; }
.first-use li::before { content: "0" counter(first-use); color: var(--green-dark); font: 800 12px var(--mono); }
.first-use li b { grid-column: 1; }
.first-use li span { grid-column: 2; grid-row: 1; color: var(--paper-copy); }

.files { max-width: none; padding-left: max(var(--gutter), calc((100vw - var(--max)) / 2)); padding-right: max(var(--gutter), calc((100vw - var(--max)) / 2)); background: var(--ink-soft); }
.files .section-intro { max-width: var(--max); margin: 0 auto; }
.files-grid { display: grid; grid-template-columns: 1.15fr .85fr; gap: clamp(32px, 7vw, 88px); max-width: var(--max); margin: 60px auto 0; align-items: start; }
.file-tree { margin: 0; padding: clamp(24px, 4vw, 42px); overflow-x: auto; background: var(--paper); color: var(--ink); box-shadow: var(--shadow); font: 13px/1.9 var(--mono); }
.file-tree mark { background: var(--acid); color: var(--ink); }
.file-rules { margin: 0; }
.file-rules div { padding: 21px 0; border-top: 1px solid var(--line); }
.file-rules div:last-child { border-bottom: 1px solid var(--line); }
.file-rules dt { color: var(--acid); font-weight: 800; }
.file-rules dd { margin: 6px 0 0; color: var(--text-soft); }

.proof .section-intro { margin-bottom: 54px; }
.evidence-table { border-top: 1px solid var(--line); }
.evidence-table [role="row"] { display: grid; grid-template-columns: .35fr 1fr; gap: 36px; padding: 24px 0; border-bottom: 1px solid var(--line); }
.evidence-table b { color: var(--acid); }
.evidence-table p { margin: 0; color: var(--text-soft); }
.proof-links { display: flex; flex-wrap: wrap; gap: 10px 28px; margin-top: 28px; }
.proof-links a { color: var(--mint); font-weight: 750; }

.questions { padding-top: 30px; }
.question-list { margin-top: 50px; border-top: 1px solid var(--line); }
details { border-bottom: 1px solid var(--line); }
summary { min-height: 64px; padding: 19px 40px 19px 0; color: var(--text); cursor: pointer; font-size: 18px; font-weight: 750; }
details p { max-width: 820px; margin: -2px 0 24px; color: var(--text-soft); }
details code { color: var(--acid); font-family: var(--mono); }

footer { display: flex; justify-content: space-between; gap: 30px; padding: 48px max(var(--gutter), calc((100vw - var(--max)) / 2)); border-top: 1px solid var(--line); background: var(--footer); color: var(--text-dim); }
footer p { margin: 9px 0 0; }
.footer-meta { text-align: right; }
.footer-meta a { color: var(--mint); font-weight: 750; }

@media (max-width: 860px) {
  .hero-grid, .section-intro, .install-panel, .first-use, .files-grid { grid-template-columns: 1fr; }
  .hero-grid { align-items: start; }
  .hero-detail { max-width: 680px; }
  .section-intro h2, .section-intro .panel-index, .section-intro > p { grid-column: 1; grid-row: auto; }
  .section-intro > p { margin-top: 25px; }
  .workflow-console { grid-template-columns: 1fr; }
  .js .workflow-tabs { flex-direction: row; overflow-x: auto; border-right: 0; border-bottom: 1px solid var(--line); }
  .workflow-tabs button { flex: 1 0 150px; border-right: 1px solid var(--line); border-bottom: 0; }
  .workflow-tabs button[aria-selected="true"] { box-shadow: inset 0 -4px var(--orange); }
  .first-use { gap: 36px; }
}

@media (max-width: 600px) {
  html { scroll-padding-top: 66px; }
  .masthead { min-height: 60px; }
  .masthead nav a:not(.github-link) { display: none; }
  .masthead .github-link { min-height: 38px; }
  h1 { font-size: clamp(46px, 13vw, 58px); }
  .install-panel { padding: 18px; }
  .install-code { grid-template-columns: 1fr; }
  .install-code code { white-space: normal; overflow-wrap: anywhere; font-size: 11px; }
  .copy-button { border-left: 0; border-top: 1px solid var(--code-line); }
  .workflow-console { box-shadow: 8px 8px 0 var(--ink-raised); }
  .js .workflow-tabs { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); overflow: visible; }
  .workflow-tabs button { min-width: 0; min-height: 76px; padding: 12px 9px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); grid-template-columns: 24px 1fr; }
  .workflow-tabs button:nth-child(even) { border-right: 0; }
  .workflow-tabs button:last-child { grid-column: 1 / -1; border-right: 0; border-bottom: 0; }
  .workflow-tabs button small { display: none; }
  .terminal-top { display: block; }
  .terminal-top b { display: block; margin-top: 4px; }
  .terminal-panel { min-height: 410px; padding: 24px 18px; }
  .terminal pre { font-size: 11px; }
  .first-use li { grid-template-columns: 1fr; gap: 5px; }
  .first-use li::before, .first-use li b, .first-use li span { grid-column: 1; grid-row: auto; }
  .file-tree { font-size: 11px; box-shadow: 8px 8px 0 var(--ink-raised); }
  .evidence-table [role="row"] { grid-template-columns: 1fr; gap: 7px; }
  footer { display: block; }
  .footer-meta { margin-top: 26px; text-align: left; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { scroll-behavior: auto !important; transition-duration: .01ms !important; }
}