:root {
  --paper: #f5f3ec;
  --surface: #fcfbf7;
  --ink: #252b27;
  --muted: #59615a;
  --line: #d4d8cc;
  --strong-line: #aab3a4;
  --green: #285b43;
  --green-wash: #e5ede1;
  --serif: Georgia, "Times New Roman", serif;
  --sans: "Segoe UI", "Helvetica Neue", Arial, sans-serif;
  --mono: Consolas, "Liberation Mono", Menlo, monospace;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 1.5rem; }
body { margin: 0; background: var(--paper); color: var(--ink); font-family: var(--sans); font-size: 16px; line-height: 1.6; }
[hidden] { display: none !important; }
a { color: var(--green); text-underline-offset: .2em; text-decoration-thickness: 1px; overflow-wrap: anywhere; }
a:hover { text-decoration-thickness: 2px; }
a:focus-visible, button:focus-visible, input:focus-visible, select:focus-visible, summary:focus-visible { outline: 3px solid var(--green); outline-offset: 4px; }
button, input, select { font: inherit; color: inherit; }
button, summary, select { cursor: pointer; }
button, input, select, summary { min-height: 44px; }
button { background: var(--surface); border: 1px solid var(--strong-line); padding: .5rem .85rem; }
button:hover { background: var(--green-wash); }
h1, h2, h3, p { margin-top: 0; }
h1, h2 { font-family: var(--serif); font-weight: 400; line-height: 1.14; }
h1 { font-size: clamp(2.2rem, 3.3vw, 3.5rem); letter-spacing: -.045em; margin-bottom: 1rem; }
h2 { font-size: 1.85rem; letter-spacing: -.025em; margin-bottom: .9rem; }
h3 { font-size: 1rem; line-height: 1.4; margin-bottom: .7rem; }
p { margin-bottom: 1rem; text-wrap: pretty; }
code, pre, .mono, .metric-value { font-family: var(--mono); font-variant-numeric: tabular-nums; }
code { font-size: .84em; overflow-wrap: anywhere; }
.muted { color: var(--muted); }
.small { font-size: .85rem; }
.eyebrow { font-family: var(--mono); font-size: .7rem; letter-spacing: .11em; color: var(--green); margin-bottom: .8rem; }
.skip-link { position: absolute; top: -6rem; left: 1rem; padding: .8rem; background: var(--surface); z-index: 10; }
.skip-link:focus { top: 1rem; }
.masthead { max-width: 1500px; margin: auto; padding: 1.2rem 3rem; display: flex; align-items: center; justify-content: space-between; gap: 1.5rem; border-bottom: 1px solid var(--line); font-size: .8rem; }
.wordmark { display: flex; align-items: center; gap: .85rem; color: var(--ink); text-decoration: none; letter-spacing: .025em; }
.lab-mark { display: grid; place-items: center; width: 48px; height: 38px; border: 1px solid var(--ink); font-family: var(--mono); font-size: .75rem; }
nav { display: flex; flex-wrap: wrap; gap: .3rem 1.5rem; }
nav a { display: inline-flex; align-items: center; min-height: 44px; color: var(--ink); text-decoration: none; }
nav a:hover { color: var(--green); text-decoration: underline; }
main { max-width: 1500px; margin: auto; padding: 0 3rem; }
.introduction { padding: 3rem 0 2rem; display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 3rem; align-items: end; }
.intro-copy { max-width: 730px; color: var(--muted); font-size: 1.05rem; margin-bottom: 0; }
.margin-note { font-family: var(--serif); font-style: italic; line-height: 1.65; color: var(--muted); font-size: 1rem; margin: 0 0 .2rem; }
.scope-strip { display: grid; grid-template-columns: 160px 1fr auto; gap: 1.6rem; align-items: start; border-top: 1px solid var(--strong-line); border-bottom: 1px solid var(--strong-line); padding: 1rem 0; font-size: .83rem; }
.scope-strip p { margin: 0; max-width: 850px; }
.scope-strip a { white-space: nowrap; }
.load-state { padding: 1.2rem; margin: 1.5rem 0; border: 1px dashed var(--strong-line); background: var(--surface); }
.load-state.error { font-family: var(--mono); font-size: .85rem; }
.audit-strip { display: flex; flex-wrap: wrap; align-items: center; gap: .5rem 1.2rem; padding: 1rem 0; border-bottom: 1px solid var(--line); font-size: .78rem; }
.audit-strip p { margin: 0; }
.audit-label { font-weight: 600; color: var(--green); }
.audit-strip .counts { display: flex; flex-wrap: wrap; gap: .4rem 1rem; }
.audit-strip .counts a { font-family: var(--mono); }
.notebook { display: grid; grid-template-columns: 310px minmax(0, 1fr); margin-top: 1.8rem; border: 1px solid var(--line); background: var(--surface); align-items: start; }
.run-register { padding: 1.5rem; min-width: 0; }
.run-register h2 { font-size: 1.55rem; }
.filters { display: grid; gap: .4rem; padding: .75rem 0; }
.filters label { font-size: .76rem; font-weight: 600; margin-top: .4rem; }
input, select { width: 100%; min-width: 0; border: 1px solid var(--strong-line); border-radius: 0; background: var(--surface); padding: .55rem .65rem; font-size: .85rem; }
input::placeholder { color: var(--muted); opacity: 1; }
.text-button { padding: .5rem 0; border: 0; background: none; text-align: left; text-decoration: underline; text-underline-offset: .2rem; color: var(--green); font-size: .78rem; justify-self: start; }
.text-button:hover { background: transparent; }
.run-list { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--line); }
.run-list li { margin: 0; border-bottom: 1px solid var(--line); }
.run-button { width: 100%; text-align: left; border: 0; background: transparent; padding: .9rem .7rem; font-size: .78rem; display: grid; gap: .45rem; }
.run-button[aria-pressed="true"] { background: var(--green-wash); box-shadow: inset 0 0 0 1px var(--strong-line); }
.run-id { font-family: var(--mono); overflow-wrap: anywhere; }
.run-button .run-meta { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: .35rem; color: var(--muted); font-size: .7rem; }
.status { display: inline-block; font-family: var(--mono); font-size: .65rem; line-height: 1.5; text-transform: uppercase; letter-spacing: .04em; border: 1px solid var(--strong-line); padding: .15rem .45rem; color: var(--ink); background: var(--paper); }
.status-success { background: var(--green-wash); border-color: var(--green); color: var(--green); }
.status-failed, .status-interrupted { border-style: dashed; }
.run-detail { min-width: 0; min-height: 650px; border-left: 1px solid var(--line); padding: 1.75rem 2rem; }
.run-header { display: flex; align-items: start; justify-content: space-between; gap: 1rem; padding-bottom: 1rem; border-bottom: 1px solid var(--line); }
.run-header h2 { font-family: var(--mono); font-size: 1rem; line-height: 1.6; overflow-wrap: anywhere; letter-spacing: -.02em; }
.run-header p { margin-bottom: .4rem; }
.run-header a { font-size: .78rem; }
.failure-note { margin: 1.2rem 0; border: 1px dashed var(--strong-line); padding: 1rem; background: var(--paper); }
.failure-note p { margin: .4rem 0 0; font-size: .85rem; overflow-wrap: anywhere; white-space: pre-wrap; }
.chart-pair { display: grid; grid-template-columns: 1fr 1fr; gap: 1.5rem; margin: 1.5rem 0; }
figure { margin: 0; min-width: 0; }
figure h3 { font-weight: 600; }
figcaption { color: var(--muted); font-size: .74rem; line-height: 1.55; }
.chart { width: 100%; height: auto; display: block; overflow: visible; margin: .75rem 0 .5rem; }
.chart text { font-family: var(--mono); font-size: 11px; fill: var(--muted); }
.chart .axis, .chart .gridline { stroke: var(--line); stroke-width: 1; }
.chart .loss-line { fill: none; stroke: var(--green); stroke-width: 1.6; }
.chart .point, .chart .bar { fill: var(--green); }
.chart .bar-reserved { fill: none; stroke: var(--green); stroke-width: 1.2; }
.chart .hit-target { fill: transparent; }
.chart a:hover .point, .chart a:focus .point { stroke: var(--ink); stroke-width: 3; }
.chart-empty { padding: 1.3rem 0; border-top: 1px dashed var(--line); color: var(--muted); font-size: .85rem; }
.table-scroll { width: 100%; overflow-x: auto; margin: 1rem 0; }
table { width: 100%; border-collapse: collapse; font-size: .78rem; text-align: left; }
caption { text-align: left; font-weight: 600; margin: .4rem 0 .6rem; }
th { font-weight: 600; color: var(--muted); }
th, td { padding: .65rem .5rem; border-bottom: 1px solid var(--line); vertical-align: top; }
thead th { border-top: 1px solid var(--line); font-size: .68rem; text-transform: uppercase; letter-spacing: .035em; }
td a { display: inline-block; }
.metric-value { white-space: nowrap; }
.raw-key { font-family: var(--mono); font-size: .68rem; overflow-wrap: anywhere; }
.metric-name { min-width: 140px; }
.units { white-space: nowrap; }
details { margin: 1.25rem 0; border-top: 1px solid var(--line); }
summary { display: flex; align-items: center; gap: .7rem; list-style: none; font-size: .85rem; font-weight: 600; padding: .8rem 0; }
summary::before { content: "+"; font-family: var(--mono); font-weight: 400; color: var(--green); }
details[open] > summary::before { content: "−"; }
summary::-webkit-details-marker { display: none; }
.metadata { display: grid; grid-template-columns: minmax(130px, .7fr) minmax(0, 1.3fr); margin: .25rem 0 1rem; font-size: .77rem; }
.metadata dt, .metadata dd { margin: 0; border-bottom: 1px solid var(--line); padding: .6rem 0; }
.metadata dt { color: var(--muted); padding-right: .8rem; overflow-wrap: anywhere; }
.metadata dd { font-family: var(--mono); font-size: .74rem; overflow-wrap: anywhere; }
.artifact-list { padding-left: 1.1rem; font-size: .8rem; }
.artifact-list li { margin: .8rem 0; overflow-wrap: anywhere; }
.hash { display: block; font-family: var(--mono); font-size: .65rem; color: var(--muted); overflow-wrap: anywhere; margin-top: .25rem; }
.reading-section { border-top: 1px solid var(--strong-line); padding: 2rem 0; margin-top: 2.5rem; }
.reading-section > p { max-width: 900px; font-size: .9rem; }
.reading-columns { display: grid; grid-template-columns: 1fr 1fr; gap: 3.5rem; max-width: 1200px; font-size: .9rem; color: var(--muted); }
.reading-columns h3 { color: var(--ink); }
.method-details { max-width: 900px; font-size: .88rem; color: var(--muted); }
.repro-files { list-style: none; padding: 0; display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }
.repro-files li { padding: 1rem 0; border-top: 1px solid var(--line); min-width: 0; font-size: .85rem; }
.repro-files p { margin: .3rem 0; font-size: .75rem; color: var(--muted); }
.repro-files p.mono { overflow-wrap: anywhere; }
pre { white-space: pre-wrap; overflow-wrap: anywhere; background: var(--ink); color: var(--paper); padding: 1.2rem 1.5rem; line-height: 1.7; font-size: .8rem; }
.upstream-section { display: grid; grid-template-columns: 1.2fr 1fr 2fr; gap: .5rem 2rem; border-top: 1px solid var(--strong-line); padding: 2rem 0; font-size: .85rem; }
.upstream-section h2 { font-size: 1.5rem; }
.upstream-section .small { grid-column: 2 / -1; }
footer { max-width: 1500px; margin: 1rem auto 0; border-top: 1px solid var(--line); padding: 1.5rem 3rem 2rem; display: grid; grid-template-columns: 1fr 1fr; gap: 3rem; color: var(--muted); font-size: .72rem; }
footer strong { color: var(--ink); font-weight: 600; }
@media (min-width: 1450px) { .notebook { grid-template-columns: 340px minmax(0, 1fr); } }
@media (max-width: 1100px) {
  main { padding: 0 1.5rem; }
  .masthead, footer { padding-left: 1.5rem; padding-right: 1.5rem; }
  .notebook { grid-template-columns: 270px minmax(0, 1fr); }
  .run-register { padding: 1.2rem; }
  .run-detail { padding: 1.2rem; }
  .chart-pair { grid-template-columns: 1fr; }
  .chart { max-width: 560px; }
  .scope-strip { grid-template-columns: 140px 1fr; }
  .scope-strip a { grid-column: 2; }
}
@media (max-width: 760px) {
  .masthead { align-items: start; flex-direction: column; gap: .6rem; }
  nav { gap: 0 1.3rem; }
  .introduction { grid-template-columns: 1fr; gap: 1rem; padding-top: 2rem; }
  .margin-note { display: none; }
  .scope-strip { display: block; }
  .scope-strip p { margin: .4rem 0; }
  .notebook { grid-template-columns: 1fr; }
  .run-register { padding: 1.25rem; }
  .run-list { max-height: 290px; overflow-y: auto; }
  .run-detail { border-left: 0; border-top: 1px solid var(--line); min-height: 0; }
  .reading-columns, .repro-files, footer { grid-template-columns: 1fr; gap: 1rem; }
  .upstream-section { display: block; }
  .run-header { flex-wrap: wrap; }
  .metadata { grid-template-columns: minmax(100px, .7fr) minmax(0, 1.3fr); }
  .reading-section { margin-top: 1.5rem; }
}
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto !important; } }
@media print {
  body { background: white; font-size: 12pt; }
  .masthead nav, .filters, .run-register, .skip-link { display: none; }
  main { padding: 0; }
  .notebook, .reading-columns, .chart-pair { display: block; }
  .run-detail { border: 0; padding: 0; }
  .chart { max-width: 400px; }
  .table-scroll { overflow: visible; }
  h2, h3 { break-after: avoid; }
  table, figure { break-inside: avoid; }
}