/* STORM project page. Tokens first; components below. */
:root {
  --surface-0: #ffffff;
  --surface-1: #ffffff;          /* chart surface (rings, gaps) */
  --surface-2: #f1f4f2;          /* hover bands, tracks */
  --page-alt: #f6f8f7;           /* alternating section background */
  --line: #e3e8e5;
  --line-strong: #cfd6d2;
  --text-primary: #0e1512;
  --text-secondary: #46514b;
  --text-muted: #77817b;
  --accent: #0f7a55;
  --accent-2: #1baf7a;
  --accent-soft: #e7f5ee;
  --series-1: #2a78d6; /* Single-Agent */
  --series-2: #eb6834; /* GitWorktree */
  --series-3: #1baf7a; /* STORM */
  --radius: 16px;
  --shadow: 0 1px 2px rgba(14, 21, 18, .04), 0 8px 24px -12px rgba(14, 21, 18, .10);
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 72px; overflow-x: clip; }
body { overflow-x: clip; }
body {
  margin: 0; font-family: var(--sans); color: var(--text-primary); background: var(--surface-0);
  line-height: 1.65; font-size: 17px; -webkit-font-smoothing: antialiased;
}
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; }
.wrap { max-width: 1080px; margin: 0 auto; padding: 0 28px; }
.narrow { max-width: 780px; }
p { margin: 0 0 14px; }
.muted { color: var(--text-muted); }
.secondary { color: var(--text-secondary); }
code { font-family: var(--mono); font-size: .86em; background: var(--surface-2); padding: 1px 6px; border-radius: 6px; }

/* ---------- Sections ---------- */
section.wrap { padding: 88px 28px; }
section.alt { background: var(--page-alt); box-shadow: 0 0 0 100vmax var(--page-alt); clip-path: inset(0 -100vmax); }
.eyebrow {
  font-size: 12.5px; font-weight: 700; letter-spacing: .12em; text-transform: uppercase; color: var(--accent);
  margin-bottom: 10px; display: flex; align-items: center; gap: 10px;
}
.eyebrow::before { content: ""; width: 22px; height: 2px; background: var(--accent-2); border-radius: 2px; }
h2 { font-size: 34px; line-height: 1.2; margin: 0 0 18px; letter-spacing: -.025em; font-weight: 750; }
h3 { font-size: 20px; margin: 48px 0 10px; letter-spacing: -.01em; font-weight: 650; }
h4 { font-weight: 650; }
.lead { font-size: 18.5px; color: var(--text-secondary); max-width: 780px; }

/* ---------- Nav ---------- */
nav.top {
  position: sticky; top: 0; z-index: 20; background: rgba(255, 255, 255, .8);
  backdrop-filter: saturate(1.6) blur(12px); -webkit-backdrop-filter: saturate(1.6) blur(12px);
  border-bottom: 1px solid rgba(14, 21, 18, .06);
}
nav.top .wrap { display: flex; align-items: center; gap: 22px; height: 60px; }
nav.top .brand { display: flex; align-items: center; gap: 9px; font-weight: 800; letter-spacing: .06em; color: var(--text-primary); }
nav.top .brand:hover { text-decoration: none; }
nav.top .brand img { width: 26px; height: 26px; }
nav.top .links { display: flex; gap: 4px; font-size: 14.5px; margin-left: auto; }
nav.top .links a { color: var(--text-secondary); white-space: nowrap; padding: 6px 12px; border-radius: 999px; }
nav.top .links a:hover { color: var(--text-primary); background: var(--surface-2); text-decoration: none; }

/* ---------- Hero ---------- */
header.hero { position: relative; padding: 84px 28px 72px; text-align: center; isolation: isolate; }
header.hero::before {
  content: ""; position: absolute; inset: -60px -100vmax 0; z-index: -1;
  background:
    radial-gradient(60% 55% at 50% 0%, rgba(27, 175, 122, .16), transparent 70%),
    radial-gradient(35% 40% at 85% 20%, rgba(42, 120, 214, .07), transparent 70%),
    radial-gradient(35% 40% at 15% 25%, rgba(15, 122, 85, .08), transparent 70%);
}
header.hero::after {
  content: ""; position: absolute; inset: -60px -100vmax 0; z-index: -1; opacity: .5;
  background-image: radial-gradient(rgba(14, 21, 18, .09) 1px, transparent 1px); background-size: 22px 22px;
  -webkit-mask-image: radial-gradient(60% 70% at 50% 20%, #000, transparent 75%); mask-image: radial-gradient(60% 70% at 50% 20%, #000, transparent 75%);
}
.hero-logo { width: 84px; height: 84px; display: block; margin: 0 auto 22px; filter: drop-shadow(0 6px 18px rgba(15, 122, 85, .25)); }
.venue {
  display: inline-flex; align-items: center; gap: 8px; font-size: 13.5px; font-weight: 650; letter-spacing: .03em;
  color: var(--accent); background: rgba(255, 255, 255, .75); border: 1px solid rgba(15, 122, 85, .22);
  padding: 5px 14px; border-radius: 999px; margin-bottom: 26px;
}
.venue::before { content: ""; width: 7px; height: 7px; border-radius: 50%; background: var(--accent-2); box-shadow: 0 0 0 3px rgba(27, 175, 122, .2); }
.hero h1 { font-size: 56px; line-height: 1.06; margin: 0 0 16px; letter-spacing: -.035em; font-weight: 800; }
.hero h1 .storm {
  background: linear-gradient(120deg, var(--accent) 10%, var(--accent-2) 90%);
  -webkit-background-clip: text; background-clip: text; color: transparent;
}
.hero .subtitle { font-size: 21px; color: var(--text-secondary); margin: 0 0 34px; }
.authors { font-size: 18px; margin-bottom: 6px; font-weight: 500; }
.authors span { white-space: nowrap; margin: 0 10px; }
.affils { font-size: 14.5px; color: var(--text-muted); margin-bottom: 34px; }
.affils span { white-space: nowrap; margin: 0 9px; }
.buttons { display: flex; gap: 10px; justify-content: center; flex-wrap: wrap; }
.btn {
  display: inline-flex; align-items: center; gap: 8px; padding: 10px 20px; border-radius: 999px;
  background: var(--text-primary); color: #fff; font-weight: 600; font-size: 15px;
  box-shadow: 0 1px 2px rgba(14, 21, 18, .2), 0 6px 16px -8px rgba(14, 21, 18, .5); transition: transform .12s, box-shadow .12s;
}
.btn:hover { text-decoration: none; transform: translateY(-1px); box-shadow: 0 2px 4px rgba(14, 21, 18, .2), 0 10px 22px -10px rgba(14, 21, 18, .55); }
.btn.ghost { background: rgba(255, 255, 255, .85); color: var(--text-primary); border: 1px solid var(--line-strong); box-shadow: none; }
.btn svg { width: 16px; height: 16px; fill: currentColor; }

.tldr {
  margin: 52px auto 0; max-width: 800px; text-align: left; background: rgba(255, 255, 255, .9);
  border: 1px solid var(--line); border-radius: var(--radius); padding: 22px 26px; font-size: 17px;
  box-shadow: var(--shadow); position: relative; overflow: hidden;
}
.tldr::before { content: ""; position: absolute; left: 0; top: 0; bottom: 0; width: 4px; background: linear-gradient(var(--accent-2), var(--accent)); }
.tldr b { color: var(--accent); }

/* ---------- Figures ---------- */
figure { margin: 0; }
figure img { width: 100%; display: block; border-radius: 12px; }
.figure-card { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 22px; box-shadow: var(--shadow); }
figcaption { font-size: 14.5px; color: var(--text-secondary); margin-top: 14px; line-height: 1.55; }

/* ---------- Cards / tiles ---------- */
.tiles { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; margin: 32px 0 20px; }
.tile { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 22px 24px; box-shadow: var(--shadow); }
.tile .label { font-size: 13.5px; color: var(--text-secondary); font-weight: 500; }
.tile .value { font-size: 44px; font-weight: 800; letter-spacing: -.03em; margin: 4px 0 2px; color: var(--accent); line-height: 1.1; }
.tile .delta { font-size: 13.5px; color: var(--text-muted); }

.compare { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-top: 28px; }
.card { border: 1px solid var(--line); border-radius: var(--radius); padding: 24px 26px; background: #fff; box-shadow: var(--shadow); }
.card h4 { margin: 0 0 10px; font-size: 16.5px; display: flex; align-items: center; gap: 10px; }
.card.bad h4::before, .card.good h4::before { content: ""; width: 10px; height: 10px; border-radius: 3px; }
.card.bad h4 { color: #b8481e; }
.card.bad h4::before { background: var(--series-2); }
.card.good h4 { color: var(--accent); }
.card.good h4::before { background: var(--series-3); }
.card p { font-size: 15.5px; margin: 0; color: var(--text-secondary); }

.mech { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; margin-top: 12px; }
.mech .card .num {
  display: inline-flex; width: 30px; height: 30px; border-radius: 9px; align-items: center; justify-content: center;
  background: var(--accent-soft); color: var(--accent); font-weight: 800; font-size: 14px; margin-bottom: 12px;
}
.formula { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 10px 22px; margin: 22px 0; overflow-x: auto; box-shadow: var(--shadow); }
pre.code {
  font-family: var(--mono); font-size: 13px; line-height: 1.6; background: #0f1714; color: #e3ece7;
  padding: 18px 20px; border-radius: 14px; overflow-x: auto; margin: 14px 0; box-shadow: var(--shadow);
}
pre.code .c { color: #7fa38f; }
pre.code .k { color: #f0b36b; }
pre.code .s { color: #9fd9b8; }
.twocol { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; align-items: start; }

/* ---------- Tables ---------- */
.tbl-wrap { overflow-x: auto; margin: 16px 0; background: #fff; border: 1px solid var(--line); border-radius: var(--radius); box-shadow: var(--shadow); }
.viz-root .tbl-wrap { box-shadow: none; }
table { border-collapse: collapse; width: 100%; font-size: 15px; font-variant-numeric: tabular-nums; }
th, td { padding: 11px 16px; text-align: right; border-bottom: 1px solid var(--line); white-space: nowrap; }
tbody tr:last-child td { border-bottom: 0; }
th:first-child, td:first-child { text-align: left; }
thead th {
  font-weight: 650; color: var(--text-muted); font-size: 12px; letter-spacing: .06em; text-transform: uppercase;
  background: var(--page-alt); border-bottom: 1px solid var(--line);
}
thead th sub { text-transform: none; }
tr.ours td { background: var(--accent-soft); font-weight: 600; }
tr.ours td:first-child { box-shadow: inset 3px 0 0 var(--accent-2); }
tr.sel td { color: var(--text-secondary); font-style: italic; }
td b, td.win { font-weight: 750; }
th.sortable { cursor: pointer; user-select: none; }
th.sortable:hover { color: var(--text-primary); }
th.sortable::after { content: " ↕"; color: var(--line-strong); font-size: 11px; }
th.sortable[aria-sort="ascending"]::after { content: " ▲"; color: var(--accent); }
th.sortable[aria-sort="descending"]::after { content: " ▼"; color: var(--accent); }
tbody tr:hover td { background: var(--surface-2); }
tbody tr.ours:hover td { background: #d9efe4; }
td .sw { display: inline-block; width: 9px; height: 9px; border-radius: 3px; margin-right: 8px; }
.tbl-scroll { max-height: 540px; overflow: auto; border: 1px solid var(--line); border-radius: 12px; }
.tbl-scroll table thead th { position: sticky; top: 0; z-index: 1; }
.tbl-scroll th, .tbl-scroll td { padding: 9px 12px; }

/* ---------- Chart containers ---------- */
.viz-root {
  background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 26px 28px 22px;
  box-shadow: var(--shadow); position: relative; margin: 20px 0;
}
.viz-title { font-weight: 700; font-size: 16px; margin-bottom: 2px; }
.viz-sub { font-size: 13.5px; color: var(--text-muted); margin-bottom: 14px; }
.legend { display: flex; gap: 16px; font-size: 13px; color: var(--text-secondary); margin-bottom: 8px; flex-wrap: wrap; }
.legend i { display: inline-block; width: 10px; height: 10px; border-radius: 3px; margin-right: 6px; vertical-align: -1px; }
.panels { display: grid; grid-template-columns: 1fr 1fr; gap: 28px; margin-top: 6px; }
.panels svg { width: 100%; height: auto; display: block; overflow: visible; }
.grid3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0; margin: 0 -14px; }
.grid3 > .chart { padding: 0 14px; }
.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.grid3 > .chart + .chart { border-left: 1px solid var(--line); }
.chart svg { width: 100%; height: auto; display: block; overflow: visible; }
.chart .panel-head { font-size: 14.5px; font-weight: 700; margin-bottom: 2px; }
.chart .panel-sub { font-size: 12.5px; color: var(--text-muted); margin-bottom: 8px; }
.fig-note { font-size: 14px; color: var(--text-secondary); margin: 18px 0 0; padding-top: 16px; border-top: 1px dashed var(--line); line-height: 1.6; }
.summary-line { font-size: 14px; color: var(--text-secondary); margin: 2px 0 12px; }
.summary-line b { color: var(--text-primary); }
.mark { transition: opacity .15s; }
.dim .mark:not(.hot) { opacity: .25; }
svg text { font-family: var(--sans); }

/* ---------- Controls ---------- */
.controls { display: flex; flex-wrap: wrap; gap: 12px 26px; align-items: center; margin: 0 0 16px; }
.controls:empty { display: none; }
.controls .group { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.controls .group > span { font-size: 12px; color: var(--text-muted); font-weight: 650; letter-spacing: .05em; text-transform: uppercase; }
.seg { display: inline-flex; background: var(--surface-2); border-radius: 10px; padding: 3px; gap: 2px; }
.seg button {
  font: inherit; font-size: 13.5px; font-weight: 550; padding: 6px 13px; border: 0; border-radius: 8px; background: transparent;
  color: var(--text-secondary); cursor: pointer; transition: background .12s, color .12s, box-shadow .12s;
}
.seg button:hover { color: var(--text-primary); }
.seg button[aria-pressed="true"] { background: #fff; color: var(--text-primary); box-shadow: 0 1px 2px rgba(14, 21, 18, .12), 0 1px 6px rgba(14, 21, 18, .06); }
.seg button:focus-visible, th.sortable:focus-visible, select.ctl:focus-visible { outline: 2px solid var(--accent-2); outline-offset: 2px; }
select.ctl {
  font: inherit; font-size: 13.5px; padding: 7px 12px; border-radius: 10px; border: 1px solid var(--line-strong);
  background: #fff; color: var(--text-primary); cursor: pointer;
}
label.chk { font-size: 13.5px; color: var(--text-secondary); display: inline-flex; gap: 8px; align-items: center; cursor: pointer; }
label.chk input { accent-color: var(--accent); width: 15px; height: 15px; }

/* ---------- Tooltip ---------- */
.tooltip {
  position: fixed; z-index: 50; pointer-events: none; background: rgba(14, 21, 18, .94); color: #fff; font-size: 13px;
  padding: 9px 12px; border-radius: 10px; opacity: 0; transition: opacity .08s; line-height: 1.5; max-width: 340px;
  box-shadow: 0 10px 30px -10px rgba(0, 0, 0, .45); backdrop-filter: blur(4px);
}
.tooltip .tt-h { font-weight: 700; margin-bottom: 3px; }
.tooltip .tt-row { display: flex; gap: 8px; align-items: center; white-space: nowrap; }
.tooltip i { display: inline-block; width: 8px; height: 8px; border-radius: 2px; }

/* ---------- BibTeX / footer ---------- */
.bib { position: relative; }
.bib pre.code { background: #fff; color: var(--text-primary); border: 1px solid var(--line); }
.copy {
  position: absolute; top: 12px; right: 12px; font: inherit; font-size: 13px; font-weight: 600; padding: 5px 12px;
  border-radius: 8px; border: 1px solid var(--line-strong); background: #fff; cursor: pointer;
}
.copy:hover { background: var(--surface-2); }
footer { padding: 40px 0 56px; font-size: 14px; color: var(--text-muted); text-align: center; border-top: 1px solid var(--line); }
footer img { width: 22px; height: 22px; vertical-align: -6px; margin-right: 6px; }

@media (max-width: 860px) {
  section.wrap { padding: 64px 20px; }
  .hero h1 { font-size: 38px; }
  h2 { font-size: 28px; }
  .tiles, .mech, .compare, .twocol, .panels, .grid3, .grid2 { grid-template-columns: 1fr; }
  .grid3 { margin: 0; }
  .grid3 > .chart { padding: 0; }
  .grid3 > .chart + .chart { border-left: 0; border-top: 1px solid var(--line); padding-top: 20px; margin-top: 20px; }
  nav.top .links { display: none; }
}

/* ---------- Framework diagram ---------- */
.fw { padding-bottom: 18px; }
.fw-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; flex-wrap: wrap; }
.fw-ctl { display: flex; gap: 6px; }
.fw-btn {
  font: inherit; font-size: 14px; font-weight: 600; min-width: 38px; height: 36px; padding: 0 12px; border-radius: 10px;
  border: 1px solid var(--line-strong); background: #fff; color: var(--text-primary); cursor: pointer; transition: background .12s;
}
.fw-btn:hover:not(:disabled) { background: var(--surface-2); }
.fw-btn:disabled { opacity: .35; cursor: default; }
.fw-btn.primary { background: var(--text-primary); color: #fff; border-color: var(--text-primary); min-width: 96px; }
.fw-btn.primary:hover { background: #26302b; }
.fw-dots { display: flex; gap: 6px; flex-wrap: wrap; margin: 16px 0 6px; }
.fw-dot {
  font: inherit; font-size: 12.5px; font-weight: 550; display: inline-flex; align-items: center; gap: 7px; padding: 5px 11px 5px 5px;
  border-radius: 999px; border: 1px solid var(--line); background: #fff; color: var(--text-muted); cursor: pointer; transition: all .15s;
}
.fw-dot span { display: inline-flex; width: 20px; height: 20px; border-radius: 50%; align-items: center; justify-content: center; background: var(--surface-2); font-size: 11px; font-weight: 700; }
.fw-dot.done { color: var(--text-secondary); }
.fw-dot.done span { background: var(--accent-soft); color: var(--accent); }
.fw-dot.on { border-color: var(--accent-2); color: var(--text-primary); box-shadow: 0 0 0 3px rgba(27, 175, 122, .15); }
.fw-dot.on span { background: var(--accent-2); color: #fff; }
.fw-body { display: grid; grid-template-columns: 1fr; gap: 14px; margin-top: 10px; }
.fw-caption { background: var(--page-alt); border: 1px solid var(--line); border-radius: 12px; padding: 14px 20px; font-size: 15px; line-height: 1.6; color: var(--text-secondary); min-height: 112px; display: grid; grid-template-columns: 170px 1fr; column-gap: 20px; align-items: start; }
.fw-caption .fw-step { grid-column: 1; }
.fw-caption .fw-title { grid-column: 1; }
.fw-caption p { grid-column: 2; grid-row: 1 / span 2; }
.fw-caption .fw-step { font-size: 11.5px; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; color: var(--accent); }
.fw-caption .fw-title { font-size: 18px; font-weight: 750; color: var(--text-primary); margin: 4px 0 8px; letter-spacing: -.01em; }
.fw-caption p { margin: 0; }
.fw-legend { margin: 14px 0 0; align-items: center; }
.fw svg .fw-box { fill: #fff; stroke: var(--line-strong); stroke-width: 1.2; transition: stroke .25s, fill .25s; }
.fw svg .fw-box.bad { stroke: #e34948; fill: #fff6f5; }
.fw svg .fw-box.ok { stroke: #1baf7a; fill: #f3fbf7; }
.fw svg .fw-node { cursor: default; }
.fw svg .fw-node:hover .fw-box, .fw svg .fw-node:hover .fw-file { stroke: var(--accent-2); }
.fw svg .fw-link { stroke: var(--line-strong); stroke-width: 1.5; stroke-dasharray: 4 5; transition: stroke .3s; }
.fw svg .fw-link.on { stroke: var(--accent-2); animation: fw-flow 1.2s linear infinite; }
.fw:not(.playing) svg .fw-link.on { animation: none; }
@keyframes fw-flow { to { stroke-dashoffset: -18; } }
.fw svg .fw-band { stroke: rgba(15, 122, 85, .35); stroke-width: 1.2; transition: stroke .25s; }
.fw svg .fw-band.bad { stroke: #e34948; }
.fw svg .fw-pill { fill: #fff; stroke: var(--line-strong); transition: fill .2s, stroke .2s; }
.fw svg .fw-pill.pass { fill: #dff3e8; stroke: #1baf7a; }
.fw svg .fw-pill.fail { fill: #fde4e2; stroke: #e34948; }
.fw svg .fw-ws { fill: var(--page-alt); stroke: var(--line); stroke-dasharray: 5 5; }
.fw svg .fw-file { fill: #fff; stroke: var(--line-strong); stroke-width: 1.2; transition: stroke .3s; }
.fw svg .fw-file.flash { animation: fw-flash 1.1s ease-out; }
@keyframes fw-flash { 0% { stroke: #1baf7a; stroke-width: 3; fill: #e7f7ef; } 100% { stroke: var(--line-strong); stroke-width: 1.2; fill: #fff; } }
.fw svg .fw-badge { fill: var(--accent-soft); }
.fw svg .fw-chip rect { fill: var(--accent-soft); stroke: rgba(15, 122, 85, .25); }
.fw svg .fw-chip text { fill: var(--accent); }
.fw svg .fw-chip.stale rect { fill: #fde4e2; stroke: #e34948; }
.fw svg .fw-chip.stale text { fill: #b3261e; }
@media (max-width: 860px) {
  .fw-body { grid-template-columns: 1fr; }
  .fw-caption { min-height: 0; display: block; }
}
@media (prefers-reduced-motion: reduce) {
  .fw svg .fw-link.on, .fw svg .fw-file.flash { animation: none; }
}