/* SEAD project page. Builds on ../assets/site.css tokens. */
:root {
  --ctx: #c4cfcc;
  --ctx-edge: #9fb0ab;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
  --read: 980px;
}

.crumbs { margin: 22px 0 0; color: var(--muted); font-size: .76rem; }
.crumbs a { color: var(--soft); text-decoration: none; }
.crumbs a:hover { color: var(--accent); }
.crumbs span { margin: 0 8px; opacity: .6; }

/* Hero */
.sead-hero { padding: 40px 0 56px; grid-template-columns: minmax(0, 1.25fr) minmax(360px, .85fr); }
.sead-hero h1 { font-size: clamp(4rem, 9vw, 7.2rem); }
.sead-hero .lede { margin-top: 18px; max-width: 640px; color: var(--ink); font-size: clamp(1.3rem, 2.2vw, 1.75rem); }
.byline { margin: 24px 0 0; font-size: 1rem; font-weight: 500; }
.byline sup, .affil sup { color: var(--accent); }
.affil { margin: 2px 0 0; color: var(--muted); font-size: .86rem; }
.stat-stack { display: grid; gap: 12px; }
.stat { padding: 18px 22px; background: var(--surface); border: 1px solid var(--line); border-left: 4px solid currentColor; border-radius: 10px; }
.stat strong { display: block; font-family: var(--serif); font-size: clamp(1.9rem, 3vw, 2.5rem); font-weight: 500; line-height: 1.05; letter-spacing: -.03em; }
.stat strong small { margin-left: 2px; font-size: .55em; }
.stat span { display: block; margin-top: 6px; color: var(--soft); font-size: .84rem; line-height: 1.45; }
.stat b { color: var(--ink); }

/* Generic blocks */
.block { padding: 58px 0; border-top: 1px solid var(--line); }
.block > h2 { max-width: 900px; margin-bottom: 26px; font-size: clamp(2.1rem, 3.8vw, 3.3rem); line-height: 1.04; letter-spacing: -.035em; }
.prose { max-width: 720px; color: var(--soft); font-size: 1.02rem; }
.prose p { margin: 0 0 14px; }
.prose em { color: var(--ink); }
.note { margin: -8px 0 8px; font-size: .92rem; }
.two-col { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, .9fr); gap: 48px; align-items: start; }
.abstract { max-width: var(--read); margin: 0; font-family: var(--serif); font-size: clamp(1.1rem, 1.5vw, 1.28rem); line-height: 1.6; }
var { font-family: var(--serif); font-style: italic; }
code { font-family: var(--mono); font-size: .86em; }

/* Example trace */
.mini-trace { display: grid; gap: 10px; margin: 0; padding: 0; list-style: none; counter-reset: step; }
.mini-trace li { display: grid; grid-template-columns: 26px 1fr auto; grid-template-rows: auto auto; column-gap: 12px; align-items: center; padding: 14px 16px; background: var(--surface); border: 1px solid var(--line); border-radius: 10px; counter-increment: step; }
.mini-trace li::before { grid-row: span 2; color: var(--muted); font-family: var(--serif); font-style: italic; content: counter(step); }
.mini-trace li > span:first-child { font-weight: 500; font-size: .92rem; }
.mini-trace em { grid-column: 2 / 4; color: var(--muted); font-size: .76rem; font-style: normal; }
.mini-trace li:last-child { border-color: color-mix(in srgb, var(--attack) 45%, transparent); }
.trace-note { margin: 10px 0 0; color: var(--muted); font-size: .74rem; }
.tag { display: inline-block; padding: 2px 8px; border-radius: 100px; font-family: var(--mono); font-size: .66rem; font-weight: 500; letter-spacing: .04em; }
.tag.pass { color: #0b5f56; background: #d5ebe6; }
.tag.block { color: #9a3422; background: #f6ddd6; }

/* Figures */
.paper-fig { margin: 0; }
.paper-fig img { display: block; width: 100%; height: auto; background: white; border: 1px solid var(--line); border-radius: 10px; }
.paper-fig.wide img { padding: clamp(8px, 1.5vw, 20px); }
.paper-fig figcaption { max-width: var(--read); margin-top: 12px; color: var(--soft); font-size: .86rem; line-height: 1.5; }

/* Method cards */
.concepts { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px; margin-top: 34px; }
.concept-card { padding: 22px 22px 18px; background: var(--surface); border: 1px solid var(--line); border-top: 3px solid currentColor; border-radius: 10px; }
.concept-card h3, .case h3 { margin: 6px 0 12px; color: var(--ink); font-size: 1.45rem; line-height: 1.12; letter-spacing: -.02em; }
.concept-card p { margin: 0 0 12px; color: var(--soft); font-size: .9rem; }
.concept-card b { color: var(--ink); font-weight: 600; }
.card-kicker, .case-id { color: currentColor; font-size: .66rem; font-weight: 600; letter-spacing: .12em; text-transform: uppercase; }
.eq { overflow-x: auto; padding: 10px 12px; color: var(--ink) !important; background: var(--bg); border-radius: 8px; font-family: var(--serif); font-size: 1.02rem !important; text-align: center; white-space: nowrap; }

.data-strip { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); margin-top: 30px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.data-strip div { padding: 20px 22px 20px 0; }
.data-strip div + div { padding-left: 22px; border-left: 1px solid var(--line); }
.data-strip strong { display: block; font-family: var(--serif); font-size: 2.4rem; font-weight: 400; line-height: 1; letter-spacing: -.03em; }
.data-strip span { display: block; margin-top: 8px; color: var(--soft); font-size: .82rem; }
.data-strip a { color: var(--accent); }

/* Results */
.result { margin-top: 34px; padding: 26px 28px 24px; background: var(--surface); border: 1px solid var(--line); border-radius: 14px; }
.result-head { display: flex; flex-wrap: wrap; gap: 14px 24px; align-items: flex-start; justify-content: space-between; }
.result-head h3 { margin-top: 4px; font-size: clamp(1.45rem, 2.3vw, 1.95rem); line-height: 1.12; letter-spacing: -.02em; }
.rq { color: var(--accent); font-size: .7rem; font-weight: 600; letter-spacing: .14em; }
.result-sub { max-width: var(--read); margin: 10px 0 14px; color: var(--soft); font-size: .88rem; }
.takeaway { max-width: var(--read); margin: 18px 0 0; padding: 12px 16px; color: var(--ink); background: var(--bg); border-left: 3px solid var(--accent); border-radius: 0 8px 8px 0; font-family: var(--serif); font-size: 1.04rem; line-height: 1.5; }
.controls { display: flex; flex-wrap: wrap; gap: 10px; }
.seg { display: inline-flex; padding: 3px; background: var(--bg); border: 1px solid var(--line); border-radius: 100px; }
.seg button { padding: 5px 13px; color: var(--soft); background: none; border: 0; border-radius: 100px; font: 600 .74rem var(--sans); cursor: pointer; }
.seg button[aria-pressed="true"] { color: white; background: var(--ink); }
.seg button:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }

.legend { display: flex; flex-wrap: wrap; gap: 16px; margin: 0 0 10px; color: var(--soft); font-size: .78rem; }
.legend span { display: inline-flex; align-items: center; gap: 6px; }
.sw { display: inline-block; width: 12px; height: 12px; border-radius: 3px; }
.sw-attack { background: var(--attack); }
.sw-state { background: var(--accent); }
.sw-ctx { background: var(--ctx); box-shadow: inset 0 0 0 1px var(--ctx-edge); }

/* Bar charts (built in script.js) */
.chart { position: relative; }
.small-multiples { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 14px 26px; }
.panel h4 { margin: 0 0 8px; font-size: .82rem; font-weight: 600; }
.bars { display: grid; gap: 2px; }
.bar-row { display: grid; grid-template-columns: var(--label-w, 104px) 1fr; align-items: center; gap: 10px; min-height: 26px; cursor: default; }
.bar-row .lbl { overflow: hidden; color: var(--soft); font-size: .76rem; text-align: right; text-overflow: ellipsis; white-space: nowrap; }
.bar-row.hl .lbl { color: var(--ink); font-weight: 600; }
.track { position: relative; height: 18px; background-image: linear-gradient(to right, var(--line) 1px, transparent 1px); background-size: 25% 100%; }
.fill { position: absolute; inset: 0 auto 0 0; display: flex; align-items: center; min-width: 2px; background: var(--ctx); border-radius: 0 4px 4px 0; transition: width .35s ease; }
.fill.attack { background: var(--attack); }
.fill.state { background: var(--accent); }
.val { position: absolute; top: 50%; left: calc(100% + 6px); color: var(--soft); font-size: .72rem; font-variant-numeric: tabular-nums; white-space: nowrap; transform: translateY(-50%); }
.bar-row.hl .val { color: var(--ink); font-weight: 600; }
.bar-row:hover .fill { filter: brightness(.94); }
.axis { display: grid; grid-template-columns: var(--label-w, 104px) 1fr; gap: 10px; margin-top: 4px; }
.axis div { display: flex; justify-content: space-between; color: var(--muted); font-size: .66rem; font-variant-numeric: tabular-nums; }
.pair { display: grid; gap: 2px; padding: 4px 0; }
.pair + .pair { border-top: 1px dashed var(--line); }

.tip { position: fixed; z-index: 20; max-width: 260px; padding: 8px 11px; color: white; background: var(--ink); border-radius: 8px; box-shadow: 0 8px 24px rgba(16,39,37,.2); font-size: .76rem; line-height: 1.4; pointer-events: none; }
.tip b { display: block; margin-bottom: 2px; }

/* Tables */
.table-wrap { overflow-x: auto; }
table.data { width: 100%; border-collapse: collapse; font-size: .8rem; font-variant-numeric: tabular-nums; }
table.data th, table.data td { padding: 7px 9px; border-bottom: 1px solid var(--line); text-align: right; white-space: nowrap; }
table.data thead th { color: var(--muted); font-size: .7rem; font-weight: 600; border-bottom-color: var(--ink); }
table.data th[scope="row"] { color: var(--ink); font-weight: 500; text-align: left; }
table.data thead th:first-child { text-align: left; }
table.data .sep { border-left: 1px solid var(--line); }
table.data .best { color: var(--ink); font-weight: 700; text-decoration: underline; text-underline-offset: 3px; }
table.data tr.group th, table.data tr.group td { border-top: 1px solid var(--ink); }
table.data tr.ours { background: color-mix(in srgb, var(--accent) 8%, transparent); }
table.data tr.ours th { font-weight: 700; }

.rq2-grid { display: grid; grid-template-columns: minmax(0, 1.55fr) minmax(260px, .8fr); gap: 26px; align-items: start; }
.rq2-grid .paper-fig img { max-width: 420px; }
details.more { margin-top: 18px; }
details.more summary { color: var(--accent); font-size: .84rem; font-weight: 600; cursor: pointer; }
details.more .paper-fig { margin-top: 16px; }
details.more .paper-fig img { max-width: 900px; }

.ood { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 28px; align-items: center; margin: 26px 0 8px; padding: 20px 24px; color: var(--intervene); background: color-mix(in srgb, var(--intervene) 7%, var(--surface)); border: 1px solid color-mix(in srgb, var(--intervene) 25%, transparent); border-radius: 12px; }
.ood h4 { margin: 4px 0 8px; color: var(--ink); font-family: var(--serif); font-size: 1.35rem; font-weight: 400; }
.ood p { margin: 0; color: var(--soft); font-size: .9rem; }
.ood p b { color: var(--ink); }
.ood-nums { display: flex; gap: 22px; }
.ood-nums span { display: block; color: var(--muted); font-size: .68rem; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; }
.ood-nums strong { color: var(--ink); font-family: var(--serif); font-size: 2.2rem; font-weight: 400; }
.ood-nums em { margin: 0 6px; color: var(--muted); font-style: normal; }
.sub-h { margin: 28px 0 10px; font-family: var(--serif); font-size: 1.3rem; font-weight: 400; }

/* Cases */
.cases { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; }
.case { padding: 22px 24px; background: var(--surface); border: 1px solid var(--line); border-radius: 12px; }
.steps { display: grid; gap: 9px; margin: 0; padding: 0; list-style: none; }
.steps li { position: relative; padding-left: 16px; color: var(--soft); font-size: .88rem; }
.steps li::before { position: absolute; top: .62em; left: 0; width: 6px; height: 6px; background: currentColor; border-radius: 50%; content: ""; opacity: .55; }
.case .steps li::before { color: inherit; }
.steps b { margin-right: 6px; color: var(--ink); font-weight: 600; }
.steps code { color: var(--ink); }
.pv { margin-left: 6px; padding: 1px 7px; color: var(--muted); background: var(--bg); border-radius: 100px; font-family: var(--mono); font-size: .68rem; }
.pv.hit { color: #9a3422; background: #f6ddd6; }

/* Built on */
.credits { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px; align-items: start; margin: 22px 0; }
.credit-group { padding: 20px 22px; background: var(--surface); border: 1px solid var(--line); border-radius: 12px; }
.credit-group h3 { margin: 0 0 12px; color: var(--accent); font-family: var(--sans); font-size: .68rem; font-weight: 600; letter-spacing: .13em; text-transform: uppercase; }
.tags { display: grid; gap: 8px; margin: 0; padding: 0; list-style: none; }
.tags a, .tag-static { display: block; padding: 10px 13px; background: var(--bg); border: 1px solid var(--line); border-radius: 9px; text-decoration: none; }
.tags a:hover { background: white; border-color: rgba(11, 116, 105, .4); }
.tags b { display: block; color: var(--ink); font-size: .88rem; font-weight: 600; }
.tags span { display: block; margin-top: 2px; color: var(--soft); font-size: .76rem; line-height: 1.4; }
.tags a b { color: var(--accent); }

/* Resources */
.resources { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.resource { display: block; padding: 22px; background: var(--surface); border: 1px solid var(--line); border-radius: 12px; text-decoration: none; }
.resource:hover { border-color: rgba(11, 116, 105, .4); box-shadow: 0 8px 24px rgba(16,39,37,.06); }
.resource span { color: var(--accent); font-size: .68rem; font-weight: 600; letter-spacing: .13em; text-transform: uppercase; }
.resource strong { display: block; margin-top: 8px; font-family: var(--serif); font-size: 1.4rem; font-weight: 500; letter-spacing: -.02em; }
.resource em { display: block; margin-top: 6px; color: var(--soft); font-size: .84rem; font-style: normal; }

/* BibTeX */
.bibtex { position: relative; max-width: var(--read); }
.bibtex pre { overflow-x: auto; margin: 0; padding: 22px 24px; color: #dfeae7; background: var(--ink); border-radius: 12px; font-size: .84rem; line-height: 1.6; }
.copy { position: absolute; top: 12px; right: 12px; padding: 5px 12px; color: var(--ink); background: var(--accent-light); border: 0; border-radius: 100px; font: 600 .72rem var(--sans); cursor: pointer; }
.copy:hover { background: white; }

/* Everywhere Safety entrance */
.es-entry { position: relative; display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.1fr); gap: 32px; overflow: hidden; margin: 10px 0 64px; padding: 34px 36px; color: white; background: #176f62; border-radius: 4px; box-shadow: 0 20px 44px rgba(16, 39, 37, .14); }
.es-entry::before { position: absolute; top: -140px; right: -60px; width: 340px; height: 250px; border: 1px solid rgba(255,255,255,.2); border-radius: 50%; box-shadow: 0 12px 0 rgba(255,255,255,.12), 0 24px 0 rgba(255,255,255,.09), 0 36px 0 rgba(255,255,255,.06); content: ""; transform: rotate(12deg); pointer-events: none; }
.es-copy { position: relative; display: flex; gap: 20px; align-items: flex-start; }
.es-copy img { flex: 0 0 auto; margin-top: 6px; }
.es-kicker { margin: 0; color: rgba(255,255,255,.72); font-size: .68rem; font-weight: 600; letter-spacing: .12em; text-transform: uppercase; }
.es-copy h2 { margin-top: 8px; font-size: clamp(1.8rem, 3vw, 2.5rem); line-height: 1.05; letter-spacing: -.03em; }
.es-copy p:last-child { margin: 10px 0 0; color: rgba(255,255,255,.82); font-size: .92rem; }
.es-links { position: relative; display: grid; gap: 10px; }
.es-links a { display: block; padding: 13px 16px; background: rgba(255,255,255,.08); border: 1px solid rgba(255,255,255,.22); border-radius: 10px; text-decoration: none; }
.es-links a:hover { background: rgba(255,255,255,.16); }
.es-links strong { display: block; font-size: .95rem; }
.es-links span { display: block; color: rgba(255,255,255,.75); font-size: .8rem; }
.es-links .es-home { background: white; color: var(--ink); border-color: white; }
.es-links .es-home:hover { background: var(--accent-light); }

@media (max-width: 1080px) {
  .concepts, .cases { grid-template-columns: minmax(0, 1fr); }
  .small-multiples { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .rq2-grid { grid-template-columns: minmax(0, 1fr); }
  .data-strip { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .data-strip div:nth-child(3) { padding-left: 0; border-left: 0; border-top: 1px solid var(--line); }
  .data-strip div:nth-child(4) { border-top: 1px solid var(--line); }
  .resources, .credits { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 800px) {
  .sead-hero { grid-template-columns: minmax(0, 1fr); }
  .two-col, .es-entry, .ood { grid-template-columns: minmax(0, 1fr); }
  .small-multiples { grid-template-columns: minmax(0, 1fr); }
  .result { padding: 20px 16px; }
  .es-entry { padding: 26px 22px; }
}
@media (max-width: 480px) {
  .site-header nav a:nth-child(-n+3) { display: none; }
  .data-strip { grid-template-columns: 1fr; }
  .data-strip div, .data-strip div + div { padding: 16px 0; border-left: 0; }
  .data-strip div + div { border-top: 1px solid var(--line); }
}
@media (prefers-reduced-motion: reduce) { .fill { transition: none; } }
@media (forced-colors: active) { .fill { border: 1px solid CanvasText; } }