:root {
  --paper:#fafaf8; --white:#fff; --ink:#20241e; --muted:#697065;
  --line:#dfe3da; --green:#76b900; --green-ink:#477300; --green-pale:#f2f7e9;
  --blue:#0046a4; --purple:#6f42c1;
  --serif:Georgia,'Times New Roman',serif; --plot:'Times New Roman',Georgia,serif;
  --mono:'SFMono-Regular',Consolas,'Liberation Mono',monospace; --sans:'Helvetica Neue',Arial,sans-serif;
}
* { box-sizing:border-box }
html { scroll-behavior:smooth; scroll-padding-top:32px }
body { margin:0; background:var(--paper); color:var(--ink); font:15px/1.65 var(--sans); -webkit-font-smoothing:antialiased }
button,input,select { font:inherit }
button,a,input,select { touch-action:manipulation; -webkit-tap-highlight-color:transparent }
button { border:0; cursor:pointer; color:inherit }
a { color:inherit; text-decoration:none }
h1,h2,h3,h4,p { margin:0 }
em { font-family:var(--serif); font-weight:400; color:var(--green-ink) }
svg { display:block }
button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,[tabindex]:focus-visible,summary:focus-visible { outline:2px solid var(--green-ink); outline-offset:4px }
button:disabled { cursor:default; opacity:.32 }
[hidden] { display:none!important }
::selection { background:#dcefba }
.page-width { width:min(1120px,calc(100% - 96px)); margin-inline:auto }
.eyebrow { font:10px/1.6 var(--mono); text-transform:uppercase; letter-spacing:1.25px }
.tiny-dot,.green-dot { display:inline-block; width:6px; height:6px; background:var(--green); border-radius:50%; vertical-align:middle; margin-right:8px }
.skip-link { position:fixed; top:12px; left:16px; padding:10px 16px; z-index:100; background:var(--ink); color:#fff; opacity:0; pointer-events:none }
.skip-link:focus { opacity:1; pointer-events:auto }
.site-header { width:min(1320px,calc(100% - 96px)); height:84px; margin:auto; border-bottom:1px solid var(--line); display:flex; align-items:center; justify-content:space-between; gap:24px }
.wordmark { display:flex; align-items:center; gap:10px; font-size:20px; font-weight:600; letter-spacing:-.7px }
.wordmark svg { width:25px; height:25px; fill:var(--paper); stroke:var(--green-ink); stroke-width:1.5 }
.wordmark-dot { color:var(--green); margin-left:-10px }
.site-header nav { display:flex; gap:28px; font-size:12px; color:var(--muted) }
.site-header nav a:hover { color:var(--ink) }
.header-paper { font-size:12px; border-bottom:1px solid var(--ink); padding:5px 0 }
.header-paper span { margin-left:16px }
.button { display:inline-flex; justify-content:center; align-items:center; gap:11px; min-height:44px; border:1px solid transparent; border-radius:4px; padding:11px 18px; font-size:12px; font-weight:500; transition:background .18s,border-color .18s }
.button-dark { background:var(--green); color:#162300 }
.button-dark:hover { background:#85c613 }
.button-light,.button-outline { background:transparent; border-color:#ced4c7 }
.button-light:hover,.button-outline:hover { background:var(--green-pale); border-color:#a9bf8a }
.button svg { width:16px; height:16px; fill:none; stroke:currentColor; stroke-width:1.25 }
.text-button { background:none; color:var(--muted); font-size:12px; padding:8px 0; white-space:nowrap }
.text-button:hover { color:var(--green-ink) }
.control-icon { width:13px!important; height:13px!important; flex-shrink:0; fill:currentColor!important; stroke:none!important }
.control-icon .pause-symbol { display:none }
[data-playing=true] .control-icon .pause-symbol { display:block }
[data-playing=true] .control-icon .play-symbol { display:none }

/* The title and research figure share a restrained editorial rhythm. */
.hero { text-align:center; padding-top:64px }
.hero-eyebrow { color:var(--muted); padding-inline:24px }
.hero h1 { font:400 clamp(64px,6.9vw,96px)/1.08 var(--serif); letter-spacing:-4px; margin:25px 0 24px }
.hero h1 em { color:var(--ink); letter-spacing:-4px; text-decoration:underline; text-decoration-color:var(--green); text-decoration-thickness:3px; text-underline-offset:9px; text-decoration-skip-ink:auto }
.hero-deck { font-size:16px; line-height:1.85; color:var(--muted); padding-inline:24px }
.hero-actions { display:flex; justify-content:center; gap:12px; margin-top:28px }
.hero-research { margin-top:52px; background:#fff; border:1px solid var(--line); border-radius:6px; padding:23px 27px 0 }
.figure-heading { display:flex; align-items:center; justify-content:space-between; gap:20px; text-align:left; border-bottom:1px solid var(--line); margin-bottom:21px; padding-bottom:16px; color:var(--muted) }
.figure-heading>span:last-child { font-size:11px }
.hero-footnote { font-size:11px; color:var(--muted); margin-top:15px; padding-inline:24px }
.plot-legend { display:flex; align-items:center; justify-content:center; flex-wrap:wrap; gap:5px 22px; margin-bottom:15px }
.plot-legend button { display:inline-flex; gap:8px; align-items:center; min-height:32px; background:none; padding:4px 0; font:16px var(--plot); color:#30342d; transition:opacity .18s }
.plot-legend button:hover { opacity:.7 }
.plot-legend button[data-name=CodeTriage] { color:var(--green-ink); font-weight:600 }
.plot-legend button[aria-pressed=false] { opacity:.3; text-decoration:line-through }
.legend-swatch { display:inline-flex; align-items:center; justify-content:center; width:28px; height:12px; position:relative }
.legend-swatch::before { content:''; position:absolute; inset:5px 0 auto; border-top:1.7px solid var(--series-color) }
.legend-swatch i { width:7px; height:7px; background:var(--series-color); position:relative; border:1px solid white; border-radius:50% }
.legend-swatch.square i { border-radius:0 }
.legend-swatch.triangle i { clip-path:polygon(50% 0,100% 100%,0 100%); border:0 }
.legend-swatch.diamond i { border-radius:0; transform:rotate(45deg) }
.legend-swatch.down i { clip-path:polygon(0 0,100% 0,50% 100%) }
.legend-swatch.cross i { border:0; border-radius:0; clip-path:polygon(35% 0,65% 0,65% 35%,100% 35%,100% 65%,65% 65%,65% 100%,35% 100%,35% 65%,0 65%,0 35%,35% 35%) }
.legend-swatch.dashed::before { border-top-style:dashed }
.paired-plots { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:32px }
.research-plot { width:100%; height:auto; overflow:visible }
.research-plot text { font-family:var(--plot); fill:#242424 }
.plot-axis { stroke:#272727; stroke-width:1.1; fill:none }
.plot-grid { stroke:#e7e8e5; stroke-width:.8 }
.plot-tick { font-size:15px }
.plot-axis-label { font-size:17px }
.plot-caption { font:400 19px/1.45 var(--plot); text-align:center; margin-top:10px }
.plot-subcaption { font:14px/1.5 var(--plot); color:#6b6b6b; text-align:center; margin-top:3px }
.plot-curve { fill:none; stroke-linejoin:round; stroke-linecap:round; transition:opacity .2s }
.plot-point { cursor:crosshair }
.plot-point:focus-visible { outline:none; filter:drop-shadow(0 0 3px #497700) }
.plot-point:hover { filter:drop-shadow(0 0 2px #76b90066) }
.budget-limit { font:11px var(--mono); color:var(--muted) }
input[type=range] { appearance:none; background:transparent; height:30px; cursor:ew-resize; accent-color:var(--green); padding:0; margin:0 }
input[type=range]::-webkit-slider-runnable-track { height:3px; background:linear-gradient(to right,var(--green) 0 var(--range-fill,100%),#e0e5d9 var(--range-fill,100%) 100%); border-radius:2px }
input[type=range]::-moz-range-track { height:3px; background:#e0e5d9; border-radius:2px }
input[type=range]::-moz-range-progress { height:3px; background:var(--green) }
input[type=range]::-webkit-slider-thumb { appearance:none; width:13px; height:13px; background:var(--green); border:2px solid white; outline:1px solid var(--green); border-radius:50%; margin-top:-5px }
input[type=range]::-moz-range-thumb { width:10px; height:10px; background:var(--green); border:2px solid white; outline:1px solid var(--green); border-radius:50% }
.play-button { display:flex; align-items:center; justify-content:center; background:var(--green-pale); color:var(--green-ink); border:1px solid #d8e5c5; border-radius:50%; width:34px; height:34px; flex-shrink:0 }
.play-button:hover { border-color:var(--green) }
.hero-readout { display:flex; align-items:center; justify-content:center; gap:24px; min-height:49px; padding:8px 0 16px; font-size:11px; color:var(--muted); font-variant-numeric:tabular-nums }
.hero-readout>span:first-child { color:var(--green-ink); font-weight:500 }
.hero-readout strong { color:var(--ink); font-weight:500 }
.plot-tooltip { position:fixed; z-index:100; max-width:280px; padding:11px 14px; background:#20251cf5; border-radius:4px; box-shadow:0 5px 20px #1112; color:#fff; font-size:12px; line-height:1.6; pointer-events:none }
.plot-tooltip strong { display:block; color:#b9e879; font-weight:500; margin-bottom:3px }
.plot-tooltip small { display:block; font-size:10px; color:#d2d8ca; margin-top:3px }

.metrics { display:grid; grid-template-columns:repeat(4,1fr); margin-top:49px; padding-bottom:37px; border-bottom:1px solid var(--line) }
.metrics>div { padding-left:28px; border-left:1px solid var(--line) }
.metrics>div:first-child { padding-left:0; border-left:0 }
.metric-number { display:block; font:52px/1.1 var(--serif); letter-spacing:-2px; margin-bottom:13px }
.metric-number>span:not(.metric-arrow) { font-size:32px }
.metric-arrow { font:21px var(--sans); color:var(--green); margin-left:9px }
.metrics h2 { font-size:13px; font-weight:500 }
.metrics>div p { font-size:11px; color:var(--muted); margin-top:4px }
.metrics-note { grid-column:1/-1; font-size:11px; color:var(--muted); margin-top:24px }
.section { padding:86px 0 }
.section-heading { display:grid; grid-template-columns:1.1fr 1fr; align-items:end; gap:64px; margin-bottom:32px }
.section-label { display:block; color:var(--muted); margin-bottom:17px }
.section h2,.dataset-section h2 { font:400 49px/1.15 var(--serif); letter-spacing:-1.8px }
.section-heading>p { max-width:440px; font-size:15px; line-height:1.85; color:var(--muted) }
.section-heading strong { font-weight:500; color:var(--ink) }
.research-card { background:white; border:1px solid var(--line); border-radius:6px; overflow:hidden }
.demo-header { display:flex; align-items:center; justify-content:space-between; gap:24px; padding:22px 28px; border-bottom:1px solid var(--line) }
.demo-header .eyebrow { color:var(--muted) }
.demo-header p { font-size:13px; margin-top:5px }
.demo-header .button { min-width:157px; min-height:39px; padding:8px 12px; font-size:11px; white-space:nowrap }
.demo-caption { border-top:1px solid var(--line); padding:16px 28px; font-size:12px; color:var(--muted); line-height:1.8; min-height:76px }
.figure-label { display:flex; align-items:center; gap:10px; font-size:12px; font-weight:500; line-height:1.5; color:var(--ink); min-height:22px; margin-bottom:25px }
.figure-label>span { display:inline-flex; justify-content:center; align-items:center; color:#82877c; font:10px var(--mono); border-bottom:1px solid #bdc5b4; padding-bottom:2px }
.idea-notes { display:grid; grid-template-columns:repeat(3,1fr); gap:36px; margin-top:29px }
.note-number { font:italic 21px var(--serif); color:var(--green-ink) }
.idea-notes h3 { font-size:14px; font-weight:500; margin:8px 0 }
.idea-notes p { font-size:13px; color:var(--muted); line-height:1.85 }

/* Search: columns align at their labels; the selected program is an inspector. */
.search-scene { display:grid; grid-template-columns:.87fr 1.35fr 1fr; align-items:start; gap:25px; padding:27px 28px 30px; min-height:428px }
.frontier-column>p { font-size:11px; color:var(--muted); margin:-15px 0 23px }
#frontier-list { min-height:258px }
.frontier-item { display:block; width:100%; text-align:left; margin-bottom:8px; padding:10px 11px; border:1px solid #d9dfe5; border-radius:4px; background:#fff; color:var(--blue); font:11px/1.65 var(--mono); transition:background .25s,border-color .25s,opacity .4s,transform .45s }
.frontier-item:hover { background:#f4f8fc; border-color:#9bb4d3 }
.frontier-item.selected { background:#eef4fb; border-color:#83a6d0; transform:translateX(3px) }
.frontier-item.consumed { opacity:.4; text-decoration:line-through }
.frontier-item.chosen { background:var(--green-pale); border-color:#a7c875; color:var(--green-ink) }
.frontier-added:not([hidden]) { animation:frontier-enter .45s ease both }
.frontier-ellipsis { display:none }
.tree-column svg { width:100%; height:auto; max-height:340px; margin-top:16px }
.tree-link { stroke:#c5c9c0; stroke-width:1.6; fill:none }
.tree-link.active { stroke:#697163; stroke-dasharray:400; animation:edge-reveal .7s ease both }
.tree-link.solved { stroke:var(--green); stroke-width:2 }
.program-node { cursor:pointer; transition:opacity .4s }
.program-node.undiscovered { opacity:.16; pointer-events:none }
.program-card { fill:white; stroke:#969e8f; stroke-width:1.2; transition:stroke .25s,fill .25s }
.program-node.selected .program-card { stroke:var(--green); stroke-width:1.8; fill:#fcfef9 }
.node-code { fill:#d9ddd5 }
.node-progress-bg { fill:#e6efdb }
.node-progress { fill:var(--green); transition:width .5s }
.node-pass { font:500 14px var(--sans); fill:var(--green-ink) }
.edge-count { fill:#fff; stroke:#abb3a3; stroke-width:1 }
.edge-count-label { font:12px var(--mono); fill:#697163; text-anchor:middle }
.opened-column { min-width:0; border-left:1px solid var(--line); padding-left:23px }
.opened-program { padding:14px; background:#fbfcf9; border:1px solid #dfe5d7; border-radius:5px }
.code-lines { margin-bottom:17px }
.code-lines i { display:block; height:5px; margin:6px 0; width:84%; background:#dce1d6; border-radius:1px }
.code-lines i:nth-child(2) { width:65% }
.opened-pass { display:flex; align-items:center; gap:12px; margin-bottom:16px }
.opened-pass>div { flex:1; height:7px; border-radius:4px; overflow:hidden; background:#e1ebd3 }
.opened-pass i { display:block; height:100%; background:var(--green); transition:width .5s }
.opened-pass b { font:500 15px var(--mono); color:var(--green-ink) }
.opened-feedback { font:11px/1.65 var(--mono); color:#ae3423; padding-top:12px; margin-bottom:9px; border-top:1px solid #e2e6dc; overflow-wrap:anywhere }
.opened-diagnosis { font:11px/1.7 var(--mono); color:#8b630c }
.opened-edits { padding-top:19px }
.opened-edits b { display:block; font-size:11px; font-weight:500; color:var(--muted); margin-bottom:8px }
.opened-edits p { font:11px/1.65 var(--mono); color:var(--blue); padding:8px 0; border-top:1px solid #edf0e8 }
.opened-success { color:var(--green-ink); font:12px var(--mono); padding:7px 0 }
.search-steps,.method-stages { display:flex; border-top:1px solid var(--line); justify-content:center; background:#fafbf8; padding-inline:20px }
.search-steps button,.method-stages button { display:flex; align-items:center; justify-content:center; gap:8px; padding:15px 22px; min-height:54px; background:none; color:var(--muted); font-size:12px; border-top:2px solid transparent; margin-top:-1px; transition:color .2s,border-color .2s,background .2s }
.search-steps button b,.method-stages button b { font:10px var(--mono); font-weight:400; color:#8c9285 }
.search-steps button[aria-pressed=true] { border-top-color:var(--green); color:var(--green-ink); background:#f2f7e9 }
.method-stages button[aria-pressed=true] { border-top-color:var(--purple); color:var(--purple); background:#f5f1fa }

/* Method: fully readable candidates, aligned model, and a stable ranking grid. */
.method-band { background:#f1f3ec; border-block:1px solid var(--line) }
.method-band .section { padding-block:78px }
.method-scene { display:grid; grid-template-columns:1.08fr .82fr 1.08fr; align-items:start; gap:34px; padding:27px 28px 32px }
.method-input,.method-model,.method-output { min-width:0 }
.feedback-card { border:1px solid #dfe2d9; border-radius:5px; padding:13px 14px; font:11px/1.75 var(--mono); margin-bottom:15px; min-height:114px; background:#fcfcfa }
.feedback-card p { color:#ae3423 }
.feedback-card p+p { margin-top:10px; color:#8b630c }
.feedback-card span { display:block; font:9px/1.4 var(--sans); font-weight:500; text-transform:uppercase; letter-spacing:.7px; margin-bottom:3px; opacity:.85 }
.input-actions { height:142px; position:relative }
.action-card { display:flex; align-items:center; gap:10px; position:absolute; inset:0 0 auto; min-height:40px; padding:9px 10px; border:1px solid #d8e0e8; border-radius:4px; background:#fff; color:var(--blue); font:11px/1.6 var(--mono) }
.action-card code { font:inherit; white-space:normal }
.action-card>span { color:#6c86a9; font:italic 13px var(--serif); border-right:1px solid #e1e8f0; padding-right:9px }
.action-card:nth-child(2) { transform:translateY(48px) }
.action-card:nth-child(3) { transform:translateY(96px) }
.model-engine { position:relative; margin-top:57px; padding-bottom:0 }
.model-box { border:1.5px solid var(--purple); border-radius:7px; text-align:center; padding:25px 10px 17px; background:#fcfaff; position:relative; color:var(--purple); transition:box-shadow .3s }
.model-box strong { display:block; font-size:17px; font-weight:500; line-height:1.5 }
.model-box>span:not(.lora-badge) { display:block; font:12px var(--mono); color:#747079; margin-top:5px }
.lora-badge { position:absolute; top:-10px; right:13px; padding:2px 8px; font:10px/1.5 var(--mono); border:1px solid #b8a4d7; border-radius:3px; color:var(--purple); background:#fcfaff }
.encoding-bars { display:flex; align-items:center; justify-content:center; gap:4px; height:25px; margin-top:13px }
.encoding-bars i { width:4px; height:5px; background:#b9a6d8; border-radius:1px }
.encoding-bars i:nth-child(2n) { height:12px }
.encoding-bars i:nth-child(3n) { height:19px }
.model-head { position:relative; display:flex; justify-content:space-between; align-items:center; gap:7px; margin-top:27px; color:var(--purple) }
.model-head::before { content:''; position:absolute; height:27px; width:1px; background:#a28bc5; left:50%; top:-27px }
.model-head::after { content:''; position:absolute; left:0; right:0; height:1px; top:50%; background:#b9a8d0 }
.model-head>* { position:relative; z-index:1 }
.features { border:1px dashed #b9a8d0; border-radius:3px; padding:5px 7px; font:10px var(--mono); background:#fcfaff }
.combine-symbol { font-size:20px; padding:0 4px; background:#fff }
.model-head strong { border:1px solid #a78ecb; border-radius:4px; padding:4px 8px; font-size:13px; font-weight:500; background:#fff }
.flow-wire { position:absolute; width:32px; height:1px; background:#aeb5a7; top:42%; z-index:1 }
.wire-in { left:-33px }
.wire-out { right:-33px; top:calc(100% - 15px) }
.flow-wire::after { content:''; position:absolute; right:0; top:-3px; border-left:5px solid #aeb5a7; border-top:3.5px solid transparent; border-bottom:3.5px solid transparent }
.flow-wire i { width:4px; height:4px; border-radius:50%; position:absolute; top:-1.5px; left:0; opacity:0; background:var(--purple) }
.ranking-box { border:1px solid #d8e2ca; border-radius:5px; padding:16px 13px 13px; background:#fcfef9; min-height:269px }
.ranking-box h3 { font-size:11px; font-weight:500; color:var(--muted); margin-bottom:19px; padding-bottom:12px; border-bottom:1px solid #e2e8da }
.ranking-list { position:relative; height:148px }
.ranked-action { position:absolute; inset:0 0 auto; display:flex; align-items:center; gap:9px; min-height:40px; transition:transform .65s cubic-bezier(.22,1,.36,1),opacity .4s; will-change:transform }
.ranked-action>span { flex:1; min-width:0; border:1px solid #e1e5dc; padding:9px 8px; background:#fff; border-radius:4px; font:11px/1.55 var(--mono); color:#525b4b; transition:background .3s,border-color .3s }
.ranked-action b { flex:0 0 43px; font:11px var(--mono); font-weight:400; color:#8a9183; white-space:nowrap; font-variant-numeric:tabular-nums }
.ranked-action[data-rank=guard] { transform:translateY(48px) }
.ranked-action[data-rank=early] { transform:translateY(96px) }
.chosen-edit { font-size:11px; color:var(--green-ink); opacity:0; transition:opacity .35s; margin-top:5px }
.chosen-edit span { margin-right:5px }
.method-demo[data-stage="1"] .action-card { animation:encode-card 1s both }
.method-demo[data-stage="1"] .action-card:nth-child(2) { animation-delay:.18s }
.method-demo[data-stage="1"] .action-card:nth-child(3) { animation-delay:.36s }
.method-demo[data-stage="1"] .model-box { box-shadow:0 0 0 4px #6f42c10c }
.method-demo[data-stage="1"] .encoding-bars i { animation:encoding .7s alternate 3 }
.method-demo[data-stage="1"] .encoding-bars i:nth-child(2n) { animation-delay:.2s }
.method-demo[data-stage="1"] .wire-in i,.method-demo[data-stage="2"] .wire-out i { animation:packet .7s linear 2 }
.flow-wire i:nth-child(2) { animation-delay:.15s!important }
.flow-wire i:nth-child(3) { animation-delay:.3s!important }
.method-demo[data-stage="2"] .ranked-action b,.method-demo[data-stage="3"] .ranked-action b { color:var(--green-ink) }
.method-demo[data-stage="3"] .ranked-action[data-rank=early] { transform:translateY(0) }
.method-demo[data-stage="3"] .ranked-action[data-rank=guard] { opacity:.67 }
.method-demo[data-stage="3"] .ranked-action[data-rank=clamp] { transform:translateY(96px); opacity:.67 }
.method-demo[data-stage="3"] .ranked-action[data-rank=early]>span { border-color:#9bb6d8; background:#edf4fc; color:var(--blue) }
.method-demo[data-stage="5"] .chosen-edit { opacity:1 }
.method-demo[data-paused=true] * { animation-play-state:paused!important }
.method-equation { display:grid; grid-template-columns:.95fr 1.3fr 1fr; align-items:center; gap:30px; margin-top:31px }
.method-equation>p:first-child { display:flex; flex-direction:column; gap:7px }
.method-equation .eyebrow { font-size:9px; color:var(--muted) }
.method-equation strong { font-size:12px; font-weight:500 }
.equation { display:flex; align-items:center; justify-content:center; gap:10px; font:19px var(--serif); color:var(--green-ink); white-space:nowrap }
.fraction { display:flex; flex-direction:column; font-size:14px; text-align:center; line-height:1.4 }
.fraction span { padding-inline:4px }
.fraction span:first-child { border-bottom:1px solid currentColor }
.sum { font-size:31px; position:relative }
.sum small { position:absolute; bottom:-12px; left:50%; transform:translateX(-50%); font-size:9px; white-space:nowrap }
.equation-note { font-size:11px; line-height:1.8; color:var(--muted) }

/* Evidence panels use the same control sizes and spacing as the diagrams. */
.results-tabs { display:flex; border-bottom:1px solid var(--line); padding:0 28px; gap:30px; overflow:auto }
.results-tabs button { background:none; border-bottom:2px solid transparent; margin-bottom:-1px; padding:19px 0; font-size:12px; color:var(--muted); white-space:nowrap }
.results-tabs button[aria-selected=true] { color:var(--green-ink); border-bottom-color:var(--green); font-weight:500 }
.results-body { padding:28px 28px 0 }
.result-header { display:flex; justify-content:space-between; align-items:start; gap:24px; margin-bottom:24px }
.result-header h3 { font:400 26px/1.35 var(--serif); letter-spacing:-.65px }
.result-header p { font-size:12px; color:var(--muted); margin-top:7px }
.segmented { display:flex; flex-shrink:0; gap:2px; padding:3px; background:#f4f5f1; border:1px solid var(--line); border-radius:4px }
.segmented button { min-height:32px; background:none; padding:6px 11px; font-size:11px; color:var(--muted); border-radius:2px }
.segmented button[aria-pressed=true] { background:white; color:var(--green-ink); box-shadow:0 1px 3px #18200012 }
.result-note { padding:17px 28px; background:#fafbf8; border-top:1px solid var(--line); color:var(--muted); font-size:11px; line-height:1.8 }
.cost-summary { display:flex; align-items:center; justify-content:space-between; gap:24px; margin:20px 0 22px; padding:18px 20px; border-left:2px solid var(--green); background:var(--green-pale); font-size:12px }
.cost-summary b { font:26px var(--serif); font-weight:400; color:var(--green-ink); margin-right:9px }
.cost-summary small { font-size:11px; color:var(--muted) }
.cost-bar { cursor:crosshair }
.cost-bar:hover rect { filter:brightness(1.05) }
.cost-bar:focus-visible { outline:none; filter:drop-shadow(0 0 2px #497700) }
.results-body>.plot-legend { margin:16px 0 }
.model-controls { display:flex; align-items:center; gap:7px; flex-shrink:0 }
.model-controls select { max-width:240px; padding:9px 24px 9px 11px; background:white; border:1px solid #cfd6c8; border-radius:4px; font-size:12px; height:38px }
.model-controls button { width:31px; height:38px; border:1px solid var(--line); border-radius:4px; background:white; font-size:15px }
.transfer-layout { display:grid; grid-template-columns:minmax(0,1.5fr) minmax(0,.7fr); gap:33px; align-items:center }
.transfer-insight { padding-left:25px; border-left:1px solid var(--line); font-variant-numeric:tabular-nums }
.transfer-insight .eyebrow { font-size:9px; color:var(--muted) }
.transfer-insight>strong { display:block; font:56px/1.2 var(--serif); letter-spacing:-2px; color:var(--green-ink); margin:12px 0 }
.transfer-insight>strong small { display:inline; font-size:29px; color:inherit; margin:0 0 0 2px }
.transfer-insight p { font-size:13px; color:var(--muted); line-height:1.85 }
.transfer-insight>small { display:block; font-size:11px; color:var(--muted); margin-top:9px }
.transfer-gain { padding-top:17px; border-top:1px solid var(--line); margin-top:19px; font-size:12px; color:var(--green-ink) }
.data-details { border-top:1px solid var(--line); margin-top:18px; padding-top:14px }
.data-details summary { cursor:pointer; color:var(--muted); font-size:12px; padding-bottom:15px }
.table-scroll { overflow:auto }
.research-table { width:100%; border-collapse:collapse; text-align:left; font-size:12px; white-space:nowrap; font-variant-numeric:tabular-nums }
.research-table th,.research-table td { padding:12px; border-bottom:1px solid var(--line) }
.research-table th { color:var(--muted); font-weight:500 }
.research-table thead { background:#fafbf7 }
.research-table thead button { background:none; color:inherit; padding:0 }
.research-table tbody tr:hover { background:#f7faf2 }
.research-table .positive { color:var(--green-ink) }
.source-note { font-size:11px; color:var(--muted); line-height:1.85; margin-top:17px; max-width:960px }
.source-note a { border-bottom:1px solid #c1c9b8; white-space:nowrap }
.findings { display:grid; grid-template-columns:repeat(3,1fr); gap:36px; margin-top:35px }
.findings .eyebrow { font-size:9px; color:var(--muted) }
.findings h3 { font:400 29px var(--serif); letter-spacing:-.8px; margin:12px 0 }
.findings h3 span { font-size:17px; font-style:italic; color:var(--muted); margin-inline:4px }
.findings p { font-size:13px; color:var(--muted); line-height:1.85 }
.ece-row { display:flex; align-items:center; justify-content:space-between; gap:12px; border-bottom:1px solid var(--line); padding:19px 0; font-size:12px }
.ece-row b { font:27px var(--plot); white-space:nowrap }
.ece-row:first-of-type { color:var(--green-ink) }
.ece-row small { font:14px var(--plot); color:var(--muted) }

.dataset-section { background:#f1f6e9; border:1px solid #dce6cf; border-radius:6px; padding:45px 48px; display:grid; grid-template-columns:1fr 1fr; gap:66px; align-items:center }
.dataset-section .section-label { font-size:9px }
.dataset-section h2 { font-size:46px; margin-bottom:21px }
.dataset-copy>p { font-size:13px; color:var(--muted); line-height:1.85; margin-bottom:25px }
.dataset-copy>.dataset-small { font-size:10px; margin:14px 0 0 }
.dataset-total { font:90px/1.1 var(--serif); letter-spacing:-5px; color:var(--green-ink) }
.dataset-total>span { font-size:45px; margin-left:5px }
.dataset-total-label { font-size:13px; color:var(--green-ink); margin-bottom:28px }
.corpus-row { display:grid; grid-template-columns:137px 1fr 42px; gap:12px; align-items:center; margin:16px 0; font-size:11px }
.corpus-row>div { height:3px; background:#d7e3c8; border-radius:2px; overflow:hidden }
.corpus-row i { display:block; height:100%; background:var(--green) }
.corpus-row b { font:11px var(--mono); font-weight:400; color:var(--green-ink); text-align:right }
.dataset-bottom { border-top:1px solid #d4dfc9; margin-top:25px; padding-top:17px; display:flex; justify-content:space-between; gap:20px; font-size:10px; color:var(--muted) }
.dataset-bottom b { color:var(--green-ink); font-weight:500; margin-right:3px }
.closing { text-align:center; padding:80px 0 }
.closing .eyebrow { color:var(--muted); font-size:10px }
.closing h2 { font:400 48px/1.17 var(--serif); letter-spacing:-1.8px; margin:22px 0 27px }
.closing-link { display:block; width:fit-content; font-size:12px; color:var(--muted); margin:18px auto 0 }
.site-footer { display:flex; align-items:center; justify-content:space-between; gap:24px; border-top:1px solid var(--line); padding:26px 0 32px; font-size:11px }
.footer-brand { font-size:18px; font-weight:500; letter-spacing:-.5px }
.site-footer p { color:var(--muted); font-size:11px }
.site-footer p span { font-size:10px }
.site-footer>a:last-child { color:var(--muted); font-size:11px }
.noscript { padding:20px; background:var(--green-pale); text-align:center }

@keyframes edge-reveal { from { stroke-dashoffset:400 } to { stroke-dashoffset:0 } }
@keyframes packet { 0% { opacity:0; translate:0 0 } 15%,85% { opacity:1 } 100% { opacity:0; translate:28px 0 } }
@keyframes encoding { to { height:22px; background:#8760bd } }
@keyframes encode-card { 45% { translate:7px 0; border-color:#af93d2; background:#f8f5fc } }
@keyframes frontier-enter { from { opacity:0; translate:8px 0 } to { opacity:1; translate:0 0 } }

@media(max-width:1100px) {
  .page-width,.site-header { width:calc(100% - 64px) }
  .method-scene { gap:27px; padding-inline:24px; grid-template-columns:1.1fr .85fr 1.2fr }
  .method-scene .figure-label { font-size:12px; gap:7px }
  .model-box strong { font-size:15px }
  .model-head { gap:4px }
  .features { padding:5px; font-size:9px }
  .flow-wire { width:25px }
  .wire-in { left:-26px }
  .wire-out { right:-26px }
  .ranked-action>span { padding:8px 7px; font-size:11px }
  .ranked-action b { font-size:11px; flex-basis:43px }
  .feedback-card { font-size:11px }
  .action-card { font-size:11px }
  .section-heading { gap:40px }
  .search-scene { gap:21px; padding-inline:24px; grid-template-columns:.9fr 1.15fr 1fr }
  .opened-column { padding-left:18px }
  .frontier-item { font-size:11px }
  .opened-feedback,.opened-diagnosis,.opened-edits p { font-size:11px }
  .metrics>div { padding-left:20px }
  .metrics h2 { font-size:12px }
  .dataset-section { padding:36px; gap:36px }
  .corpus-row { grid-template-columns:131px 1fr 40px; gap:8px; font-size:10px }
  .method-equation { grid-template-columns:.9fr 1.2fr; gap:25px }
  .equation-note { grid-column:1/-1; text-align:center; max-width:560px; margin:auto }
}
@media(max-width:850px) {
  .site-header nav { gap:18px }
  .hero h1 { font-size:73px }
  .section-heading { grid-template-columns:1fr 1fr; gap:28px }
  .section h2 { font-size:43px }
  .section-heading>p { font-size:13px }
  .hero-research { padding-inline:19px }
  .figure-heading>span:last-child { font-size:10px }
  .hero-readout { gap:8px 18px; flex-wrap:wrap }
  .hero-readout>span:first-child { flex-basis:100% }
  .metrics>div p { font-size:10px }
  .search-scene { grid-template-columns:minmax(0,.9fr) minmax(0,1.3fr); gap:28px; padding:25px }
  .opened-column { grid-column:1/-1; border-left:0; border-top:1px solid var(--line); padding:22px 0 0 }
  #opened-node { display:grid; grid-template-columns:1fr 1fr; gap:25px; min-height:220px }
  .opened-edits { padding:0 }
  .tree-column svg { margin-top:0 }
  .frontier-item,.opened-feedback,.opened-diagnosis,.opened-edits p { font-size:11px }
  .opened-column .figure-label { margin-bottom:16px }
  .method-scene { grid-template-columns:minmax(0,1fr) minmax(0,.85fr); gap:28px 45px; padding:25px }
  .method-output { grid-column:1/-1 }
  .method-output .ranking-box { max-width:none; min-height:0; padding:18px }
  .method-output .figure-label { margin-bottom:18px }
  .ranking-list { height:148px }
  .ranked-action>span { font-size:12px; padding:9px 12px }
  .ranked-action b { flex-basis:53px; font-size:12px }
  .feedback-card { font-size:11px }
  .action-card { font-size:11px }
  .method-scene .figure-label { font-size:12px }
  .model-engine { margin-top:54px }
  .model-box strong { font-size:17px }
  .wire-in { width:43px; left:-44px }
  .wire-out { display:none }
  .method-output { position:relative; border-top:1px solid var(--line); padding-top:22px }
  .results-body { padding:24px 24px 0 }
  .result-header { flex-direction:column; align-items:start; gap:17px }
  .result-header h3 { font-size:26px }
  .transfer-layout { gap:23px; grid-template-columns:minmax(0,1.3fr) minmax(0,.8fr) }
  .transfer-insight { padding-left:20px }
  .transfer-insight>strong { font-size:42px }
  .transfer-insight p { font-size:12px }
  .transfer-insight>small { font-size:10px }
  .ece-row { font-size:11px; gap:8px; flex-wrap:wrap }
  .ece-row b { font-size:25px }
  .dataset-section { gap:28px; padding:32px }
  .dataset-section h2 { font-size:39px }
  .dataset-total { font-size:76px }
  .corpus-row { grid-template-columns:1fr 45px; font-size:11px; margin-bottom:20px }
  .corpus-row>div { grid-column:1/-1; grid-row:2 }
  .corpus-row b { grid-column:2; grid-row:1 }
  .dataset-bottom { flex-direction:column; gap:5px }
}
@media(max-width:600px) {
  .page-width,.site-header { width:calc(100% - 40px) }
  .site-header { height:71px; gap:16px }
  .wordmark { font-size:19px; gap:8px }
  .wordmark svg { width:23px }
  .site-header nav { display:none }
  .header-paper { font-size:11px }
  .header-paper span { margin-left:9px }
  .hero { padding-top:42px }
  .hero-eyebrow { font-size:8px; letter-spacing:.7px; max-width:360px; margin:auto }
  .hero h1 { font-size:clamp(36px,10.8vw,62px); letter-spacing:-1.8px; margin:25px 0 26px; line-height:1.17 }
  .hero h1 em { letter-spacing:-1.8px; white-space:nowrap; text-decoration-thickness:2px; text-underline-offset:5px }
  .hero-deck { font-size:13px; padding-inline:22px; line-height:1.8; max-width:440px; margin:auto }
  .hero-deck br { display:none }
  .hero-actions { margin-top:24px; gap:10px }
  .button { min-height:43px; font-size:11px; padding:10px 14px; gap:9px }
  .hero-research { margin-top:36px; padding:17px 10px 0 }
  .figure-heading { padding:0 7px 13px; margin-bottom:17px; gap:12px }
  .figure-heading .eyebrow { font-size:9px; letter-spacing:.6px }
  .figure-heading>span:last-child { max-width:135px; font-size:10px; text-align:right; line-height:1.5 }
  .paired-plots { grid-template-columns:1fr; gap:29px }
  .plot-legend { gap:1px 17px; margin-bottom:14px }
  .plot-legend button { font-size:14px; min-height:30px; gap:7px }
  .legend-swatch { width:23px }
  .plot-caption { font-size:19px; margin-top:6px }
  .plot-subcaption { font-size:13px; max-width:280px; margin:3px auto 0 }
  .budget-limit { display:none }
  .hero-readout { display:grid; grid-template-columns:1fr; justify-items:start; gap:4px; font-size:11px; padding:10px 7px 16px; min-height:98px }
  .hero-readout>span:first-child { margin-bottom:3px }
  .hero-footnote { font-size:10px; line-height:1.8; max-width:350px; margin:12px auto 0 }
  .metrics { grid-template-columns:1fr 1fr; row-gap:26px; margin-top:33px; padding-bottom:30px }
  .metrics>div { padding-left:19px }
  .metrics>div:nth-child(3) { padding-left:0; border-left:0 }
  .metric-number { font-size:43px; margin-bottom:10px }
  .metric-number>span:not(.metric-arrow) { font-size:27px }
  .metrics h2 { font-size:12px }
  .metrics>div p { font-size:10px; line-height:1.7 }
  .metrics-note { font-size:10px; margin-top:0; line-height:1.8 }
  .section { padding:62px 0 }
  .section-heading { grid-template-columns:1fr; gap:18px; margin-bottom:27px }
  .section h2 { font-size:41px; line-height:1.16; letter-spacing:-1.4px }
  .section-label { font-size:9px; margin-bottom:13px }
  .section-heading>p { font-size:14px; line-height:1.8 }
  .demo-header { align-items:start; flex-direction:column; gap:16px; padding:20px }
  .demo-header .eyebrow { font-size:9px; letter-spacing:.9px }
  .demo-header p { font-size:12px; margin-top:7px; line-height:1.8 }
  .demo-header .button { min-height:37px; font-size:11px; min-width:157px }
  .figure-label { font-size:12px; margin-bottom:20px }
  .demo-caption { padding:16px 20px; font-size:11px; min-height:113px }
  .search-scene { grid-template-columns:1fr; gap:0; padding:23px 20px 25px }
  .tree-column { grid-row:2; padding:23px 0 24px; border-top:1px solid var(--line) }
  .tree-column svg { max-width:355px; max-height:none; margin:auto }
  .frontier-column { grid-row:1; padding-bottom:20px }
  .frontier-column>p { margin-top:-12px; font-size:11px }
  #frontier-list { min-height:250px }
  .frontier-item { padding:10px 11px; font-size:11px }
  .opened-column { grid-row:3; margin-top:18px; padding-top:22px }
  #opened-node { display:block; min-height:320px }
  .opened-program { padding:15px }
  .opened-pass { margin-bottom:14px }
  .opened-feedback,.opened-diagnosis { font-size:11px }
  .opened-edits { padding-top:18px }
  .opened-edits p { font-size:11px }
  .search-steps,.method-stages { padding:0 }
  .search-steps button,.method-stages button { flex:1; min-width:0; flex-direction:column; gap:4px; padding:12px 4px; font-size:11px; min-height:63px }
  .search-steps button b,.method-stages button b { font-size:9px }
  .idea-notes { grid-template-columns:1fr; gap:24px; margin-top:27px }
  .idea-notes>div { padding-left:30px; position:relative }
  .note-number { position:absolute; top:0; left:0 }
  .idea-notes h3 { margin-top:0; font-size:14px }
  .idea-notes p { font-size:13px }
  .method-band .section { padding-block:62px }
  .method-scene { grid-template-columns:1fr; gap:25px; padding:23px 20px 25px }
  .method-model,.method-output { border-top:1px solid var(--line); padding-top:22px }
  .method-output { grid-column:1 }
  .method-scene .figure-label { font-size:12px; margin-bottom:21px }
  .feedback-card { font-size:12px; padding:13px 14px; min-height:0; margin-bottom:16px }
  .feedback-card span { font-size:9px }
  .input-actions { height:148px }
  .action-card { font-size:12px; padding:10px 12px; min-height:42px }
  .action-card:nth-child(2) { transform:translateY(51px) }
  .action-card:nth-child(3) { transform:translateY(102px) }
  .model-engine { width:min(230px,100% - 28px); margin:28px auto 5px }
  .model-box { padding:25px 14px 17px }
  .model-box strong { font-size:18px }
  .model-box>span:not(.lora-badge) { font-size:13px }
  .lora-badge { font-size:10px }
  .features { font-size:11px; padding:6px 8px }
  .model-head { gap:9px; margin-top:27px }
  .model-head strong { font-size:14px; padding:5px 10px }
  .wire-in,.wire-out { display:none }
  .method-output .ranking-box { padding:17px 13px 15px }
  .ranking-box h3 { font-size:11px }
  .ranked-action { gap:9px }
  .ranked-action>span { font-size:11px; padding:10px 8px; min-height:40px }
  .ranked-action b { font-size:11px; flex-basis:42px }
  .chosen-edit { font-size:11px }
  .method-equation { grid-template-columns:1fr; text-align:center; gap:24px; margin-top:29px }
  .method-equation strong { font-size:13px }
  .method-equation .eyebrow { font-size:9px }
  .equation { font-size:19px; padding-bottom:9px; gap:9px }
  .equation-note { font-size:11px; max-width:315px }
  .results-tabs { gap:23px; padding-inline:20px }
  .results-tabs button { font-size:11px; padding:17px 0 }
  .results-body { padding:24px 16px 0 }
  .result-header { gap:17px; margin-bottom:21px }
  .result-header h3 { font-size:26px; line-height:1.35; letter-spacing:-.5px }
  .result-header p { font-size:11px; line-height:1.8 }
  .segmented button { font-size:10px; padding:7px 10px }
  .cost-summary { min-height:112px; padding:16px 14px; gap:16px; align-items:start; font-size:11px }
  .cost-summary b { display:block; font-size:25px; margin-bottom:5px; margin-right:0 }
  .cost-summary small { font-size:10px; max-width:132px; line-height:1.8 }
  .result-note { padding:16px 20px; font-size:10px }
  .transfer-layout { grid-template-columns:1fr; gap:19px }
  .transfer-insight { display:grid; grid-template-columns:1fr 1fr; gap:0 17px; border-top:1px solid var(--line); border-left:0; padding:20px 0 10px }
  .transfer-insight>.eyebrow { grid-column:1; font-size:8px }
  .transfer-insight>strong { grid-column:1; grid-row:2; font-size:43px; margin:7px 0 }
  .transfer-insight>strong small { font-size:24px }
  .transfer-insight>p { grid-column:2; grid-row:1/3; align-self:center; font-size:12px }
  .transfer-gain { grid-column:1/-1; font-size:12px; margin-top:10px; padding-top:13px }
  .transfer-insight>small { grid-column:1/-1; font-size:10px }
  .model-controls { gap:6px; width:100% }
  .model-controls select { max-width:none; width:0; flex:1; font-size:11px; padding-inline:9px; height:38px }
  .model-controls button { flex-shrink:0 }
  .data-details summary { font-size:11px }
  .research-table { font-size:11px }
  .research-table th,.research-table td { padding:10px }
  .source-note { font-size:10px; margin-top:15px }
  .findings { grid-template-columns:1fr; gap:26px; margin-top:28px }
  .findings h3 { font-size:28px; margin:9px 0 }
  .findings p { font-size:13px }
  .ece-row { font-size:12px; padding:17px 0 }
  .ece-row b { font-size:27px }
  .dataset-section { grid-template-columns:1fr; padding:30px 25px; gap:31px }
  .dataset-section .section-label { font-size:8px }
  .dataset-section h2 { font-size:41px }
  .dataset-copy>p { font-size:13px }
  .dataset-total { font-size:83px }
  .dataset-total-label { font-size:12px }
  .corpus-row { grid-template-columns:1fr 45px; font-size:12px; gap:9px }
  .dataset-bottom { gap:7px; font-size:10px }
  .closing { padding-block:63px }
  .closing h2 { font-size:39px }
  .closing .eyebrow { font-size:9px }
  .site-footer { flex-wrap:wrap; gap:17px; padding-block:23px 27px }
  .site-footer p { order:3; width:100%; font-size:10px }
  .site-footer p span { font-size:9px }
  .site-footer>a:last-child { margin-left:auto; font-size:10px }
}
@media(max-width:360px) {
  .page-width,.site-header { width:calc(100% - 32px) }
  .hero-actions { gap:8px }
  .hero-actions .button { padding-inline:11px; font-size:10px; gap:7px }
  .hero h1 { font-size:35px }
  .hero-eyebrow { font-size:7px }
  .plot-legend { gap:0 12px }
  .plot-legend button { font-size:13px }
  .section h2 { font-size:37px }
  .demo-header,.method-scene,.search-scene { padding-inline:16px }
  .ranked-action>span { font-size:10px; padding-inline:7px }
  .ranked-action b { font-size:10px; flex-basis:37px }
  .results-tabs { gap:18px; padding-inline:16px }
  .results-tabs button { font-size:10px }
  .model-controls select { font-size:10px }
  .cost-summary { gap:11px; padding-inline:11px }
  .cost-summary small { max-width:112px }
  .dataset-section { padding-inline:21px }
  .equation { font-size:17px; gap:7px }
}
@media(prefers-reduced-motion:reduce) {
  html { scroll-behavior:auto }
  *,*::before,*::after { animation:none!important; transition:none!important }
}
@media print {
  .hero-actions,.site-header nav,.search-steps,.method-stages,.demo-header button,.results-tabs,.model-controls,.segmented { display:none }
  .page-width,.site-header { width:100% }
  .section { padding-block:30px }
  .hero { padding-top:25px }
  .hero h1 { font-size:65px }
  .research-card { break-inside:avoid }
  .hero-research { margin-top:25px }
  .plot-tooltip { display:none }
  .research-plot { break-inside:avoid }
}

/* Paper companion: manuscript hierarchy, figures, captions, and tables. */
.paper-site { background:#fff; --paper:#fff; --ink:#222; --muted:#62665f; --line:#e1e3dc }
.paper-site .page-width { width:min(1040px,calc(100% - 96px)) }
.paper-site .site-header { width:min(1160px,calc(100% - 96px)); height:68px }
.paper-home { font:15px var(--serif); color:#444 }

/* Header breadcrumb: the site monogram links home, then the paper's short title */
.site-crumbs { display: flex; align-items: baseline; gap: 10px; min-width: 0; }
.site-home { font: 600 20px var(--serif); letter-spacing: -0.5px; color: var(--ink); }
.crumb-sep { font: 15px var(--serif); color: #cfd6c8; }
.paper-home { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.paper-site .site-header nav { gap:24px; font-size:11px }
.paper-site .header-paper { font-size:11px; border:0; color:#555 }
.paper-title { max-width:960px; margin:58px auto 43px; padding-inline:28px; text-align:center }
.paper-title h1 { font:400 47px/1.2 var(--serif); letter-spacing:-1.1px }
.paper-title h1>span { display:block; font:400 31px/1.3 var(--serif); letter-spacing:-.45px; margin-top:13px }
.paper-resources { display:flex; justify-content:center; align-items:center; flex-wrap:wrap; gap:25px; margin-top:26px; font-size:12px }
.paper-resources a,.paper-text a { color:var(--green-ink); text-decoration:underline; text-decoration-color:#c9d7b6; text-underline-offset:4px }
.paper-resources a:hover,.paper-text a:hover { text-decoration-color:var(--green) }
.paper-resources a>span { font-size:10px; margin-left:3px }
.paper-text { width:min(780px,100%); margin-inline:auto; font:16px/1.8 var(--serif); color:#333 }
.paper-text p+p { margin-top:15px }
.paper-text strong { font-weight:600 }
.paper-text em { color:inherit }
.abstract.paper-text { width:min(780px,calc(100% - 64px)) }
.abstract h2 { text-align:center; font:400 23px var(--serif); margin-bottom:17px }
.abstract p { text-align:left }
.paper-teaser { margin-top:36px }
.paper-figure { margin:29px 0 0; padding:0; border:0; border-radius:0; background:#fff; overflow:visible }
.teaser-figure { margin-top:0 }
.paper-caption { color:#444; font:14px/1.65 var(--serif); text-align:left; margin:17px 0 0 }
.paper-caption b { color:#242424; font-weight:600 }
.paper-site .plot-legend { margin-bottom:12px }
.paper-site .plot-legend button { font-size:16px }
.paper-site .plot-caption { font-size:18px }
.paper-site .plot-subcaption { font-size:13px }
.paper-site .text-button { font-size:11px }
.paper-site .play-button { width:29px; height:29px; background:white; color:#66705a; border:1px solid #d7ddce; border-radius:3px }
.paper-site .hero-readout { padding:10px 0 0; min-height:0; font-size:11px; gap:24px; justify-content:center }
.paper-site .section { padding:51px 0 0 }
.paper-site .section-heading { display:block; width:min(780px,100%); margin:0 auto 24px }
.paper-site .section-heading h2 { font:400 29px/1.3 var(--serif); letter-spacing:-.4px; margin-bottom:18px }
.paper-site .section-heading>p { font:16px/1.8 var(--serif); color:#333; max-width:none }
.paper-site .section-heading>p+p { margin-top:15px }
.section-number { color:#60645b; font-size:23px; padding-right:11px }
.figure-tools { display:flex; justify-content:space-between; align-items:center; gap:20px; border-top:1px solid var(--line); padding:13px 0 10px; margin-bottom:5px }
.figure-tools>span { font:italic 14px var(--serif); color:#666 }
.figure-action { display:inline-flex; align-items:center; gap:7px; background:none; padding:5px 0; color:#616957; font-size:11px; min-height:30px }
.figure-action:hover { color:var(--green-ink) }
.paper-site .search-scene { padding:19px 0 21px; gap:28px; min-height:0 }
.paper-site .figure-label { font-size:12px; font-weight:500; gap:7px; margin-bottom:22px }
.paper-site .figure-label>span { border:0; padding:0; font:13px var(--serif); color:inherit }
.paper-site .frontier-item { border-color:#dcdfe3; background:#fff; border-radius:3px }
.paper-site .frontier-item.selected { background:#f4f7fc; border-color:#a2bad5; transform:none }
.paper-site .frontier-item.chosen { background:#f8fbf3; border-color:#a8c585 }
.paper-site .opened-program { background:#fff; border-radius:3px }
.paper-site .program-node.selected .program-card { fill:white; stroke-width:1.5 }
.paper-site .search-steps,.paper-site .method-stages { background:white; padding:0; justify-content:flex-start; border-top:1px solid var(--line); gap:17px }
.paper-site .search-steps button,.paper-site .method-stages button { background:none; color:#777; padding:10px 1px 8px; border-top:0; border-bottom:1px solid transparent; margin:0; min-height:35px; font-size:11px; flex:none }
.paper-site .search-steps button[aria-pressed=true],.paper-site .method-stages button[aria-pressed=true] { background:none; border-bottom-color:#728b50; color:#30392a }
.paper-site .demo-caption { border:0; padding:12px 0 0; min-height:49px; font:12px/1.7 var(--serif); color:#6b6e65 }
.paper-site .search-demo .paper-caption,.paper-site .method-demo .paper-caption { margin-top:6px }
.paper-site .method-scene { padding:19px 0 22px; gap:34px }
.paper-site .feedback-card { background:white; border-radius:3px }
.paper-site .action-card { border-radius:3px; background:white }
.paper-site .model-box { background:white; border-radius:5px; border-width:1.4px; box-shadow:none }
.paper-site .model-box strong { font-size:16px; font-weight:500 }
.paper-site .model-box>span.model-representation { font:10px/1.6 var(--sans); color:#76707e; margin-top:17px }
.paper-site .lora-badge,.paper-site .features { background:white }
.paper-site .ranking-box { border-color:#dbe1d3; border-radius:3px; background:white }
.paper-site .ranking-box h3 { font:13px var(--serif); color:#494e42 }
.paper-site .ranked-action>span { border-radius:3px; color:#555 }
.paper-site .method-demo[data-stage="3"] .ranked-action[data-rank=early]>span { background:#f5f9ff }
.paper-site .method-demo[data-stage="3"] .ranked-action[data-rank=guard],.paper-site .method-demo[data-stage="3"] .ranked-action[data-rank=clamp] { opacity:1 }
.paper-site .chosen-edit { font:italic 12px var(--serif) }
.paper-site .method-demo[data-stage="1"] .action-card,.paper-site .method-demo .flow-wire i,.paper-site .frontier-added { animation:none }
.paper-site .method-demo[data-stage="1"] .model-box { background:#faf8fd; box-shadow:none }
.method-definition { margin-top:27px }
.method-definition h3 { font:600 17px/1.5 var(--serif); margin-bottom:10px }
.paper-equation { display:flex; align-items:center; justify-content:center; position:relative; gap:12px; font:21px var(--serif); margin:25px 0 34px; color:#252525 }
.paper-equation .sum { font-size:34px }
.paper-equation .sum small { bottom:-12px; font-size:11px }
.paper-equation .sum sup { position:absolute; top:-10px; left:50%; transform:translateX(-50%); font-size:13px }
.paper-equation .fraction { font-size:17px }
.equation-number { position:absolute; right:5px; font-size:16px; color:#777 }
.paper-site .results-tabs { padding:0; gap:31px; border-top:1px solid var(--line); border-bottom:1px solid var(--line) }
.paper-site .results-tabs button { padding:12px 0; font-size:12px; border-bottom-width:1px }
.paper-site .results-tabs button[aria-selected=true] { color:#28351c; font-weight:500 }
.paper-site .results-body { padding:21px 0 0 }
.paper-site .result-header { margin-bottom:18px }
.paper-site .result-header h3 { font:400 23px/1.35 var(--serif); letter-spacing:0 }
.paper-site .result-header p { font-size:11px; line-height:1.8 }
.paper-site .segmented { background:#fff; border-color:#ddd; border-radius:3px; padding:2px }
.paper-site .segmented button { border-radius:1px; font-size:11px; min-height:29px }
.paper-site .segmented button[aria-pressed=true] { background:#f4f6f0; box-shadow:none }
.paper-site .cost-summary { display:block; border:0; background:none; padding:0; margin:16px 0 18px; min-height:0; font:14px/1.7 var(--serif); color:#454a3e }
.paper-site .result-note { margin-top:10px; padding:0; border:0; background:white; font:14px/1.65 var(--serif); color:#444 }
.paper-site .result-note b { font-weight:600; color:#222 }
.paper-site .data-details { padding-top:11px; margin-top:13px; border:0 }
.paper-site .data-details summary { font-size:11px; padding-bottom:9px }
.paper-site .source-note { font:12px/1.75 var(--serif); margin-top:12px; color:#73766d }
.paper-site .transfer-insight { display:block; padding:0 0 0 22px; border:0; border-left:1px solid var(--line) }
.metric-table { width:100%; font:14px/1.6 var(--serif); border-collapse:collapse; font-variant-numeric:tabular-nums }
.metric-table caption { text-align:left; font-style:italic; margin-bottom:10px }
.metric-table th,.metric-table td { padding:9px 0; border-bottom:1px solid #e4e6df; font-weight:400 }
.metric-table th { text-align:left }
.metric-table td { text-align:right }
.metric-table tr:first-child { color:var(--green-ink) }
.paper-site .transfer-insight .interval-note { font:12px/1.7 var(--serif); color:#62685b; margin-top:15px }
.paper-site .ece-row { font:13px var(--serif); padding:14px 0 }
.paper-site .ece-row b { font-size:21px }
.paper-site .model-controls select,.paper-site .model-controls button { height:34px; border-radius:3px }
.paper-site .model-controls select { font-size:11px }
.paper-site .research-table { font:13px/1.6 var(--serif) }
.paper-site .research-table thead { background:#fff }
.paper-site .research-table th { color:#444 }
.result-discussion { margin-top:24px }
.corpus-table-wrap { margin-top:24px }
.corpus-table { width:100%; border-collapse:collapse; font:15px/1.7 var(--serif); font-variant-numeric:tabular-nums }
.corpus-table caption { text-align:left; padding-bottom:12px; font-size:14px }
.corpus-table th,.corpus-table td { padding:10px 12px; text-align:right; border-bottom:1px solid #e5e5e0; font-weight:400 }
.corpus-table th:first-child { text-align:left; padding-left:0 }
.corpus-table thead { border-top:1px solid #555; border-bottom:1px solid #999 }
.corpus-table thead th { font-size:14px; font-weight:500; vertical-align:bottom }
.corpus-table tfoot { border-top:1px solid #aaa; border-bottom:1px solid #555 }
.corpus-table tfoot th,.corpus-table tfoot td { border-bottom:0; font-weight:600 }
.corpus-note { font:13px/1.8 var(--serif); color:#65695f; margin-top:13px }
.paper-resource-link { font-size:13px }
.paper-footer { margin-top:54px; padding:22px 0 29px; border-top:1px solid var(--line); display:flex; justify-content:space-between; gap:20px; color:#777; font:12px var(--serif) }
.paper-footer>div { display:flex; gap:22px }
@media(max-width:850px) {
  .paper-site .page-width,.paper-site .site-header { width:calc(100% - 64px) }
  .paper-home { font-size:13px }
  .paper-site .site-header nav { gap:17px }
  .paper-title { margin-top:44px }
  .paper-title h1 { font-size:41px }
  .paper-title h1>span { font-size:27px }
  .paper-site .method-scene { gap:26px 40px }
  .paper-site .method-output { padding-top:20px }
  .paper-site .transfer-insight { padding-left:17px }
}
@media(max-width:600px) {
  .paper-site .page-width,.paper-site .site-header { width:calc(100% - 40px) }
  .paper-site .site-header { height:57px; gap:14px }
  .paper-site .site-header nav { display:none }
  .paper-home { font-size:12px }
  .paper-site .header-paper { font-size:10px; white-space:nowrap }
  .paper-title { margin:35px auto 31px; padding-inline:21px }
  .paper-title h1 { font-size:33px; line-height:1.2; letter-spacing:-.65px }
  .paper-title h1>span { font-size:22px; line-height:1.35; margin-top:13px; letter-spacing:0 }
  .title-break { display:none }
  .paper-resources { gap:14px 20px; margin-top:23px; font-size:11px }
  .paper-resources a>span { font-size:9px }
  .abstract.paper-text { width:calc(100% - 48px) }
  .paper-text,.paper-site .section-heading>p { font-size:15px; line-height:1.8 }
  .abstract h2 { font-size:21px; margin-bottom:15px }
  .paper-teaser { margin-top:29px }
  .paper-caption,.paper-site .result-note { font-size:13px; line-height:1.7 }
  .paper-site .plot-legend { gap:1px 16px; margin-bottom:13px }
  .paper-site .plot-legend button { font-size:14px }
  .paper-site .plot-caption { font-size:18px }
  .paper-site .plot-subcaption { font-size:13px }
  .paper-site .hero-readout { display:grid; gap:4px; justify-content:start; padding:7px 0 0; font-size:10px }
  .paper-site .section { padding-top:40px }
  .paper-site .section-heading { margin-bottom:21px }
  .paper-site .section-heading h2 { font-size:26px; letter-spacing:0; margin-bottom:16px }
  .section-number { font-size:21px; padding-right:8px }
  .figure-tools { padding-top:11px; gap:12px }
  .figure-tools>span { font-size:13px }
  .figure-action { font-size:10px; white-space:nowrap }
  .paper-site .search-scene,.paper-site .method-scene { padding:17px 0 18px; gap:0 }
  .paper-site .method-scene { gap:24px }
  .paper-site .figure-label { font-size:12px; margin-bottom:20px }
  .paper-site .method-model,.paper-site .method-output { padding-top:20px }
  .paper-site .model-engine { margin-top:25px }
  .paper-site .method-output .ranking-box { padding-inline:13px }
  .paper-site .search-steps,.paper-site .method-stages { gap:12px; flex-wrap:wrap }
  .paper-site .search-steps button,.paper-site .method-stages button { display:inline-flex; flex-direction:row; padding:9px 0 7px; min-height:31px; font-size:10px }
  .paper-site .demo-caption { padding-top:10px; min-height:68px; font-size:11px }
  .paper-site .search-demo .paper-caption,.paper-site .method-demo .paper-caption { margin-top:6px }
  .method-definition { margin-top:23px }
  .method-definition h3 { font-size:16px }
  .paper-equation { font-size:21px; gap:10px; margin-block:25px 32px }
  .equation-number { font-size:14px; right:0 }
  .paper-site .results-tabs { gap:24px }
  .paper-site .results-tabs button { font-size:11px; padding-block:12px }
  .paper-site .results-body { padding:19px 0 0 }
  .paper-site .result-header h3 { font-size:22px }
  .paper-site .result-header p { font-size:11px }
  .paper-site .cost-summary { font-size:13px; line-height:1.7; min-height:4.8em; margin-block:13px 10px }
  .paper-site .transfer-insight { border-left:0; border-top:1px solid var(--line); padding:13px 0 4px }
  .metric-table { font-size:14px }
  .metric-table caption { margin-bottom:5px }
  .metric-table th,.metric-table td { padding-block:8px }
  .paper-site .transfer-insight .interval-note { font-size:12px; margin-top:9px }
  .paper-site .interval-note br { display:none }
  .paper-site .ece-row { font-size:12px }
  .paper-site .ece-row b { font-size:22px }
  .paper-site .source-note { font-size:11px; margin-top:11px }
  .result-discussion { margin-top:20px }
  .corpus-table { font-size:12px; line-height:1.6 }
  .corpus-table caption { font-size:13px }
  .corpus-table th,.corpus-table td { padding:10px 6px }
  .corpus-table thead th { font-size:11px }
  .corpus-table th:first-child { max-width:132px }
  .corpus-note { font-size:12px }
  .paper-resource-link { font-size:12px }
  .paper-footer { margin-top:35px; font-size:11px; gap:17px; flex-wrap:wrap }
  .paper-footer>div { gap:20px }
}
@media(max-width:360px) {
  .paper-site .page-width,.paper-site .site-header { width:calc(100% - 32px) }
  .paper-home { font-size:11px }
  .paper-title h1 { font-size:30px }
  .paper-title h1>span { font-size:21px }
  .paper-site .results-tabs { gap:20px }
  .paper-site .search-steps { gap:10px }
  .paper-site .plot-legend { gap:0 12px }
  .paper-site .plot-legend button { font-size:13px }
  .corpus-table { font-size:11px }
  .corpus-table th,.corpus-table td { padding-inline:5px }
}

/* Linked program states and frontier edits. */
.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 }
.repair-task { font:13px/1.7 var(--serif); color:#555; margin:0 0 22px; padding:0 0 16px; border-bottom:1px solid #eceee8 }
.repair-task>code:first-child { margin-right:12px; color:#252525 }
.repair-task code { font:11px var(--mono) }
.paper-site .search-scene { grid-template-columns:minmax(0,.8fr) minmax(0,1.1fr) minmax(0,1.12fr); gap:24px }
.paper-site .frontier-column>p { margin:0 0 18px; font:11px/1.7 var(--sans); color:#74796e }
.paper-site .frontier-column>p.figure-hint { margin:16px 0 0; font:12px/1.7 var(--serif); color:#73796c }
.paper-site #frontier-list { min-height:218px }
.paper-site .frontier-item { padding:11px 12px; font:12px/1.6 var(--sans); margin-bottom:9px; min-height:68px }
.frontier-meta { display:flex; align-items:center; justify-content:space-between; margin-bottom:6px }
.frontier-meta em { font:italic 17px var(--serif); color:var(--blue) }
.frontier-meta small { font:12px var(--serif); color:#767f88 }
.frontier-label { display:block }
.paper-site .frontier-item.selected { border-color:#7599c3; background:#f5f8fc }
.paper-site .frontier-item.related { border-left:2px solid #7599c3 }
.paper-site .tree-column svg { max-height:none; margin:4px 0 0; overflow:visible }
/* Actions sit on the branches; program circles represent evaluated states. */
.repair-edge { cursor:pointer; outline:none }
.repair-edge .tree-link { fill:none; stroke:#969c91; stroke-width:1.25 }
.repair-edge.pending .tree-link { stroke:#9cb2c9; stroke-dasharray:3 3 }
.edge-hit { fill:none; stroke:transparent; stroke-width:16 }
.action-surface { fill:#fff; stroke:#bfc5ba; stroke-width:1; transition:fill .2s,stroke .2s }
.edge-id { font:italic 16px var(--serif); fill:#596253 }
.edge-status { font:8px var(--sans); fill:#7b8375; letter-spacing:.1px }
.edge-verb { font:11px var(--sans); fill:#586051 }
.repair-edge.pending .action-surface { fill:#f7faff; stroke:#91abc8 }
.repair-edge.pending .edge-id,.repair-edge.pending .edge-verb { fill:var(--blue) }
.repair-edge.pending .edge-status { fill:#7187a1 }
.repair-edge:hover .action-surface { stroke:#587895; stroke-width:1.5 }
.repair-edge:hover .edge-verb { text-decoration:underline; text-underline-offset:3px }
.repair-edge.selected .tree-link { stroke:var(--green); stroke-width:1.8; stroke-dasharray:none }
.repair-edge.selected .action-surface,.repair-edge:focus-visible .action-surface { fill:#f6faef; stroke:var(--green); stroke-width:1.8 }
.repair-edge.selected .edge-id,.repair-edge.selected .edge-verb { fill:#426817 }
.repair-edge.selected .edge-status { fill:#52782d }
.repair-edge.next-action .action-surface { fill:#edf6df; stroke-width:2 }
.repair-edge.next-action .edge-status { font-weight:600 }
.repair-edge:focus-visible,.program-node:focus-visible { outline:none }
.paper-site .program-node.undiscovered { display:none }
.paper-site .program-node .program-card { fill:#fff; stroke:none }
.paper-site .program-node.selected .program-card { fill:#f5faec; stroke:none }
.node-selection { fill:none; stroke:var(--green); stroke-width:1; opacity:0 }
.program-node.selected .node-selection,.program-node.source-parent .node-selection { opacity:1 }
.program-node:focus-visible .node-selection { opacity:1; stroke:var(--green-ink); stroke-width:2 }
.program-node:hover .program-card { fill:#f5faec }
.node-ring-bg { fill:none; stroke:#e1e5db; stroke-width:3.5 }
.node-ring { fill:none; stroke:var(--green); stroke-width:3.5 }
.node-id { font:italic 19px var(--serif); fill:#333 }
.node-terminal { font:10px var(--sans); fill:#637b47 }
.node-origin { font:10px var(--sans); fill:#858a80 }
.node-tests { font:10px var(--sans); fill:#68735d }
.tree-key { display:flex; justify-content:center; flex-wrap:wrap; gap:12px 25px; margin-top:4px; font:11px var(--sans); color:#74796c }
.tree-key>span { display:flex; gap:7px; align-items:center }
.tree-key i { display:block; width:17px; height:11px; border:1px solid; border-radius:1px }
.tree-key .key-proposed { border-color:#91abc8; background:#f7faff }
.tree-key .key-expanded { border-color:#bfc5ba; background:#fff }
.tree-key .key-selected { border-color:var(--green); background:#f6faef }
.tree-key .key-pass-rate { width:13px; height:13px; border:2px solid var(--green); border-right-color:#e1e5db; border-radius:50% }
.paper-site .opened-column { padding-left:20px }
.paper-site #opened-node { min-height:448px; display:block }
.inspector-title { display:flex; flex-direction:column; gap:6px; margin-bottom:12px; color:#555 }
.inspector-title strong { font:500 13px var(--sans); color:#333 }
.inspector-title>span { font:11px var(--serif); color:#777 }
.program-code { background:#fafbf9; border:1px solid #e4e7df; padding:11px 0; overflow-x:auto; font:10px/1.9 var(--mono); color:#333; margin:0; min-height:99px; tab-size:4 }
.program-code code { font:inherit; display:block; min-width:max-content }
.code-line { display:block; min-height:1.9em; padding-right:10px }
.code-line i { display:inline-block; width:18px; text-align:center; font-style:normal; color:#788070; user-select:none }
.code-line.add { background:#edf4e4; color:#39581b }
.code-line.remove { background:#fbefed; color:#8b5144 }
.diff-key { display:flex; gap:13px; font:10px var(--sans); color:#818578; margin:7px 0 18px; min-height:13px }
.diff-key>span:first-child { color:#92645a }
.diff-key>span:last-child { color:#4e6c37 }
.evaluation-heading { display:flex; justify-content:space-between; align-items:baseline; gap:10px; font:11px var(--sans); margin-bottom:10px }
.evaluation-heading b { color:var(--green-ink); font-weight:500; white-space:nowrap }
.example-tests { width:100%; border-collapse:collapse; table-layout:auto; font:10px/1.7 var(--mono); color:#555 }
.example-tests th { text-align:left; font:11px var(--serif); color:#777; padding:0 3px 7px; border-bottom:1px solid #d4d9cd }
.example-tests td { padding:6px 3px; border-bottom:1px solid #edf0e9; white-space:nowrap }
.example-tests code { font:inherit }
.example-tests .test-fail td:last-child { color:#a24a37 }
.test-symbol { display:inline-block; width:13px; color:#859277 }
.test-fail .test-symbol { color:#a24a37 }
.program-diagnosis { font:12px/1.65 var(--serif); color:#6d725f; margin-top:12px }

/* Candidate identity persists from input through scoring and ranking. */
.method-demo { --candidate-row:65px }
.paper-site .feedback-card { min-height:132px; font:11px/1.7 var(--mono) }
.feedback-card code { font:inherit }
.paper-site .input-actions { height:calc(3 * var(--candidate-row) - 7px) }
.paper-site .action-card { width:100%; text-align:left; height:calc(var(--candidate-row) - 7px); transform:translateY(calc(var(--row) * var(--candidate-row))); padding:8px 10px; gap:10px; font:11px/1.5 var(--sans); transition:border-color .2s,background .2s }
.paper-site .action-card>.candidate-copy { font:inherit; color:var(--blue); border:0; padding:0 }
.candidate-copy code { font:inherit }
.candidate-copy small { display:block; font:11px var(--serif); color:#8a9299; margin-top:4px }
.paper-site .action-card>.candidate-id { font:italic 17px var(--serif); color:#718dad; padding-right:10px; flex:0 0 28px }
.paper-site .action-card.traced { background:#f3f7fc; border-color:#7da1cb }
.paper-site .action-card.traced>.candidate-id { color:var(--blue) }
.paper-site .model-engine { margin-top:53px }
.paper-site .model-box .trace-representation { color:var(--purple); font:italic 19px var(--serif); margin-top:9px }
.trace-prediction { display:flex; justify-content:space-between; align-items:center; gap:8px; padding-top:13px; margin-top:17px; border-top:1px solid #e7e0f1; color:var(--purple) }
.trace-prediction>span { font:11px var(--serif) }
.trace-prediction>b { font:italic 15px var(--serif); font-weight:400; white-space:nowrap }
.method-demo[data-stage="0"] .trace-representation { opacity:.35 }
.method-demo[data-stage="0"] .trace-prediction,.method-demo[data-stage="1"] .trace-prediction { opacity:.45 }
.paper-site .wire-in { background:#7993b1 }
.paper-site .wire-in::after { border-left-color:#7993b1 }
.paper-site .wire-out { top:calc(100% - 71px); background:#a68abe }
.paper-site .wire-out::after { border-left-color:#a68abe }
.paper-site .ranking-box { padding:15px 12px 13px; min-height:0 }
.paper-site .ranking-list { height:calc(3 * var(--candidate-row) - 1px) }
.paper-site .ranked-action { width:100%; text-align:left; padding:0; background:none; min-height:0; height:calc(var(--candidate-row) - 7px); gap:7px; transform:translateY(calc(var(--row) * var(--candidate-row))); }
.paper-site .ranked-action>span { display:flex; align-items:center; gap:8px; padding:8px; height:100%; font:11px/1.5 var(--sans) }
.ranked-action .candidate-id { font:italic 16px var(--serif); color:#778ca5; flex-shrink:0 }
.paper-site .ranked-action b { flex:0 0 29px; font:11px var(--mono) }
.rank-position { flex:0 0 10px; font:11px var(--serif); color:#888; text-align:center }
.paper-site .ranked-action.traced>span { background:#f3f7fc; border-color:#7da1cb; color:var(--blue) }
.paper-site .ranked-action.traced .candidate-id { color:var(--blue) }
.paper-site .candidate-button:hover { filter:brightness(.98) }
.paper-site .chosen-edit { margin-top:12px }
.candidate-trace { display:flex; flex-wrap:wrap; align-items:center; justify-content:center; gap:10px; padding:16px 0 21px; font:italic 14px var(--serif); color:#605b6b }
.candidate-trace i { font:12px var(--sans); color:#b0b1a9 }
.candidate-trace .trace-label { font:11px var(--sans); color:#71776b; margin-right:8px }
.trace-pending { opacity:.4 }
@media(max-width:1100px) and (min-width:851px) {
  .paper-site .search-scene { grid-template-columns:minmax(0,.75fr) minmax(0,1fr) minmax(0,1.2fr); gap:18px }
  .paper-site .opened-column { padding-left:14px }
  .paper-site .method-scene { gap:26px; grid-template-columns:minmax(0,1.08fr) minmax(0,.83fr) minmax(0,1.16fr) }
  .paper-site .action-card { font-size:10px }
  .paper-site .ranked-action>span { font-size:10px; gap:5px; padding:6px }
  .trace-prediction { flex-direction:column; align-items:start; gap:6px }
}
@media(max-width:850px) {
  .paper-site .search-scene { grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr); gap:24px }
  .paper-site .opened-column { padding:21px 0 0 }
  .paper-site #opened-node { display:grid; grid-template-columns:1fr 1fr; gap:24px; min-height:265px }
  .paper-site .model-engine { margin-top:53px }
  .paper-site .ranked-action>span { font-size:12px }
}
@media(max-width:600px) {
  .repair-task { font-size:13px; margin:0 0 7px; padding-bottom:16px }
  .repair-task>code:first-child { display:block; margin:0 0 6px }
  .paper-site .search-scene { grid-template-columns:1fr; gap:0 }
  .paper-site #frontier-list { min-height:228px }
  .paper-site .frontier-item { font-size:12px; min-height:66px }
  .paper-site .frontier-column { padding-bottom:22px }
  .paper-site .frontier-column>p.figure-hint { margin-top:4px }
  .paper-site .tree-column { border-top:1px solid var(--line); padding-top:22px }
  .paper-site .tree-column svg { max-width:380px }
  .tree-key { margin-top:12px }
  .paper-site .opened-column { margin-top:10px; padding-top:22px }
  .paper-site #opened-node { display:block; min-height:450px }
  .program-code { font-size:10px }
  .example-tests { font-size:11px }
  .example-tests td { padding-block:7px }
  .paper-site .feedback-card { min-height:124px; font-size:11px }
  .paper-site .action-card { font-size:12px }
  .paper-site .model-engine { margin-top:25px; width:min(265px,100% - 28px) }
  .paper-site .ranked-action>span { font-size:11px }
  .candidate-trace { justify-content:flex-start; gap:9px; font-size:13px; padding-block:9px 20px }
  .candidate-trace .trace-label { flex-basis:100%; margin-bottom:2px }
}

/* Routing trace: each repair action occupies its own branch slot. */
.repair-task { display:block; padding-bottom:20px }
.repair-task>div { display:flex; align-items:baseline; gap:18px; flex-wrap:wrap }
.repair-task>div>code { font:12px var(--mono); color:#30352a }
.repair-task>div>span { font:14px var(--serif); color:#444 }
.repair-task>p { max-width:800px; font:13px/1.75 var(--serif); margin-top:8px; color:#68705e }
.repair-scale { display:block; font:11px var(--sans); color:#737b69; margin-top:13px }
.paper-site .search-scene { grid-template-columns:minmax(0,1fr); gap:24px }
.paper-site .search-scene .tree-column { min-width:0; grid-row:1; padding:0; border:0 }
.tree-heading,.frontier-heading { display:flex; justify-content:space-between; align-items:baseline; gap:10px; flex-wrap:wrap }
.tree-heading>p { font:12px var(--serif); color:#737c68; margin-bottom:20px }
.frontier-heading>p { font:11px var(--sans); color:#7a8272; margin-bottom:18px }
.paper-site .search-scene .tree-column svg { display:block; max-width:1040px; min-width:960px; max-height:none; margin:0 auto }
.depth-guide { stroke:#edf0e8; stroke-width:1; stroke-dasharray:2 5 }
.depth-label { font:10px var(--mono); fill:#909789 }
.paper-site .search-scene .frontier-column { grid-row:3; padding:22px 0 0; border-top:1px solid var(--line) }
.paper-site .search-scene #frontier-list { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:8px 20px; min-height:0 }
.paper-site .search-scene .frontier-item { min-height:0; margin:0; padding:9px 10px; font-size:11px }
.paper-site .search-scene .frontier-item[hidden] { display:none }
.paper-site .search-scene .frontier-item.selected { border-color:var(--green); background:#f6faef }
.paper-site .search-scene .frontier-meta { margin-bottom:3px }
.paper-site .search-scene .opened-column { grid-column:1/-1; padding:24px 0 0; border-left:0; border-top:1px solid var(--line) }
.paper-site .search-scene #opened-node { display:grid; grid-template-columns:minmax(0,1.08fr) minmax(0,1fr); gap:34px; min-height:0 }
.program-source,.program-evaluation { min-width:0 }
.program-code { font-size:10px; line-height:1.85; padding-block:13px; background:#fcfcfa }
.program-code code { min-width:max-content }
.proposed-repair { border-left:2px solid #9bb1cc; padding:1px 0 1px 13px; margin-bottom:15px; color:#536d8d }
.proposed-repair b { font:500 12px var(--sans) }
.proposed-repair p { font:13px/1.7 var(--serif); margin-top:5px }
.example-tests { font-size:11px }
.example-tests td { padding-block:7px }
.example-tests td:first-child { white-space:normal; width:57% }
.example-tests td:last-child { white-space:normal }
.example-tests th { font-size:12px }
.example-tests button { text-align:left; padding:0; font:12px/1.5 var(--serif); color:#555; background:none; text-decoration:underline; text-decoration-color:transparent; text-underline-offset:3px }
.example-tests button[aria-pressed=true] { color:var(--blue); text-decoration-color:#bbc9da }
.example-tests button:hover { color:var(--blue) }
.example-tests code { overflow-wrap:anywhere }
.program-diagnosis { font-size:13px; margin-top:15px }
.test-input { border-top:1px solid #e3e6df; margin-top:17px; padding-top:12px }
.test-input summary { cursor:pointer; font:12px/1.6 var(--serif); color:#656f5b }
.test-input pre { margin:10px 0 0; font:10px/1.8 var(--mono); color:#6c7165; white-space:pre-wrap }
.sequence-label { align-self:center; font:10px var(--sans); color:#9a9f93; margin-left:10px; margin-right:-6px }
.paper-site .search-steps { gap:17px }
.paper-site .search-steps [data-search-step] { min-width:22px }
.paper-site .feedback-card { min-height:166px }
.paper-site .feedback-card code { overflow-wrap:anywhere }
@media(max-width:850px) {
  
  .paper-site .search-scene #opened-node { gap:24px }
  .example-tests button { font-size:11px }
  .example-tests { font-size:10px }
  .program-code { font-size:9px }
}
@media(max-width:600px) {
  .repair-task>div { gap:8px }
  .repair-task>div>code { font-size:10px }
  .repair-task>div>span { font-size:14px }
  .repair-task>p { font-size:12px }
  .repair-scale { font-size:10px }
  .paper-site .search-scene { grid-template-columns:1fr; row-gap:24px }
  .paper-site .search-scene .tree-column { grid-row:1; border:0; padding:0 }
  .paper-site .search-scene .frontier-column { grid-row:3; padding-top:20px }
  .paper-site .search-scene #frontier-list { grid-template-columns:repeat(2,minmax(0,1fr)); gap:8px }
  .paper-site .search-scene .opened-column { grid-row:4; margin:0; padding-top:20px }
  .paper-site .search-scene .frontier-item { min-height:58px }
  .paper-site .search-scene #opened-node { display:block }
  .program-code { font-size:9px }
  .program-evaluation { margin-top:24px }
  .example-tests { font-size:10px }
  .example-tests button { font-size:12px }
  .test-input pre { font-size:10px }
  .paper-site .search-steps { gap:12px 16px }
  .sequence-label { margin-left:0 }
  .paper-site .search-steps [data-search-step] { min-width:18px }
  .paper-site .feedback-card { min-height:166px }
}
.tree-canvas { width:100%; overflow-x:auto; overscroll-behavior-x:contain; scrollbar-width:thin; scrollbar-color:#b8c0b0 #f7f8f5 }
.tree-pan-hint { display:none }
.search-navigation { grid-column:1/-1; grid-row:2 }
.paper-site .search-scene .opened-column { grid-row:4 }
.paper-site .search-navigation .demo-caption { min-height:52px; margin-bottom:0 }
@media(max-width:600px) {
  .paper-site .search-scene .tree-column svg { min-width:960px; max-width:none }
  .tree-pan-hint { display:block; font:10px/1.6 var(--sans); color:#7d8673; margin-top:10px; text-align:center }
  .search-navigation { grid-row:2 }
  .tree-heading>p { font-size:11px; line-height:1.7; margin-top:-8px }
  .tree-key { justify-content:flex-start; font-size:10px; gap:10px 15px; margin-top:14px }
  .paper-site .search-scene .opened-column { grid-row:4 }
}

@media(min-width:601px) and (max-width:1000px) {
  .tree-pan-hint { display:block; font:10px/1.6 var(--sans); color:#7d8673; margin-top:10px; text-align:center }
}

/* ======================================================================
   Figure polish: one visual system for every research figure.
   Plot typography follows the manuscript (serif, tabular numerals);
   CodeTriage is the only saturated color, baselines are neutral.
   ====================================================================== */
.research-plot text { font-family:var(--plot); fill:#2b2b2b; font-variant-numeric:tabular-nums }
.plot-axis { stroke:#3b3b3b; stroke-width:1; fill:none }
.plot-grid { stroke:#ececea; stroke-width:.8 }
.plot-tick { font-size:12.5px; fill:#4a4a4a }
.plot-axis-label { font-size:14px; fill:#222 }
.research-plot.compact .plot-tick { font-size:11px }
.research-plot.compact .plot-axis-label { font-size:12px }
.plot-error { pointer-events:none }
.plot-point { cursor:crosshair; transition:none }
.plot-point:hover { filter:drop-shadow(0 0 2px #76b90088) }
.plot-gain { fill:#76b900; opacity:.13; pointer-events:none }
.plot-better .better-arrow { stroke:#76b900; stroke-width:2.4; fill:none; stroke-linecap:round }
.plot-better .better-text { font:700 13.5px var(--plot); fill:#4f7d00 }
.research-plot.compact .plot-better .better-text { font-size:12px }
.budget-label { font:italic 11.5px var(--plot); fill:#4f7d00; pointer-events:none; paint-order:stroke; stroke:#fff; stroke-width:3px; stroke-linejoin:round }
.research-plot.compact .budget-label { font-size:10px }
.bar-fill { transition:none }
.bar-error { stroke:#111; stroke-width:1.1; fill:none }
.bar-value { font-size:12.5px; fill:#333 }
.bar-value.lead { font-weight:700; fill:#4f7d00 }
.bar-label { font-size:12.5px; fill:#333 }
.bar-label.lead { font-weight:700; fill:#4f7d00 }
.research-plot.compact .bar-value,.research-plot.compact .bar-label { font-size:10.5px }
.cost-bar:hover .bar-fill { filter:brightness(1.06) }
.fit-note rect { fill:#fff; stroke:#d6d6d6; stroke-width:.8 }
.fit-note text { font-size:12px; fill:#3a3a3a }
.family-label { font-size:12.5px; font-weight:600; paint-order:stroke; stroke:#fff; stroke-width:3px; stroke-linejoin:round }
.plot-selected { cursor:default }

/* legends */
.paper-site .plot-legend { gap:2px 22px; margin-bottom:10px }
.paper-site .plot-legend button { font-size:14.5px; min-height:26px; gap:8px; color:#333 }
.paper-site .plot-legend button[data-name=CodeTriage] { color:#4f7d00 }
.legend-static { display:inline-flex; align-items:center; gap:8px; font:14.5px var(--plot); color:#6a6a6a; min-height:26px }
.legend-swatch { width:26px; height:12px }
.legend-swatch::before { border-top-width:1.6px }
.legend-swatch i { width:7px; height:7px; border-width:1px }
.legend-swatch.none::before { inset:5px 0 auto }
.legend-swatch.cross i { width:8px; height:8px }
.paper-site .plot-caption { font-size:16px; margin-top:6px; color:#222 }
.paper-site .plot-subcaption { font-size:12.5px; color:#6b6b6b }
.paper-site .paired-plots { gap:36px }

/* Figure 1 controls */
.paper-site .hero-readout { display:flex; flex-wrap:wrap; justify-content:center; gap:8px 28px; padding:8px 0 0; font:11.5px var(--sans); color:#555 }
.paper-site .hero-readout>span:first-child { color:#4f7d00; font-weight:600 }
.paper-site .hero-readout em { font:italic 12px var(--serif); color:#666; margin-right:7px }
.paper-site .hero-readout strong { color:#222; font-weight:600 }
.paper-site .hero-readout small { color:#888; margin-left:4px }

/* results panel chrome */
.paper-site .results-tabs button { font-size:12.5px; padding:13px 0 }
.paper-site .result-header p { color:#6a6a6a }
.paper-site .cost-summary { margin:12px 0 14px; font-size:14.5px; color:#3d4236 }
.paper-site .cost-summary strong { font-weight:600; color:#4f7d00 }
.paper-site .result-note { margin-top:8px }
.paper-site .transfer-layout { gap:30px; grid-template-columns:minmax(0,1.55fr) minmax(0,.75fr) }
.scaling-footer { display:block; margin-top:6px; padding-top:12px; border-top:1px solid #eef0ea }
.scaling-footer .plot-legend { margin:12px 0 0; justify-content:center }
.paper-site .metric-table caption { font-size:13px; color:#555 }

/* ---------- Figure 2: repair tree ---------- */
.paper-site .search-scene .tree-column svg { max-width:1000px; min-width:920px }
.depth-guide { stroke:#eef0ea; stroke-width:1; stroke-dasharray:2 5 }
.depth-label { font:10px var(--sans); fill:#9aa094; letter-spacing:.2px }
.repair-edge .tree-link { fill:none; stroke:#aab0a4; stroke-width:1.4 }
.repair-edge.solution .tree-link { stroke:#6f7a68; stroke-width:1.6 }
.repair-edge.pending .tree-link { stroke:#a9bdd4; stroke-width:1.2; stroke-dasharray:3 3 }
.action-surface { fill:#fff; stroke:#c3c8bd; stroke-width:1; transition:fill .2s,stroke .2s }
.repair-edge.solution .action-surface { stroke:#a5ad9f }
.repair-edge.pending .action-surface { fill:#f5f9fe; stroke:#8fabc9; stroke-dasharray:3 2 }
.edge-id { font:italic 15px var(--plot); fill:#4e564a }
.edge-verb { font:10.5px/1.2 var(--sans); fill:#4a5145 }
.edge-status { font:600 9px var(--sans); fill:#4f7d00; letter-spacing:.2px }
.edge-badge circle { fill:#3f4738; stroke:#fff; stroke-width:1.5 }
.edge-badge text { font:700 9.5px var(--sans); fill:#fff }
.repair-edge.pending .edge-badge { display:none }
.repair-edge.pending .edge-id,.repair-edge.pending .edge-verb { fill:var(--blue) }
.repair-edge:hover .action-surface { stroke:#587895; stroke-width:1.5 }
.repair-edge.selected .tree-link { stroke:var(--green); stroke-width:2; stroke-dasharray:none }
.repair-edge.selected .action-surface,.repair-edge:focus-visible .action-surface { fill:#f6faef; stroke:var(--green); stroke-width:1.8; stroke-dasharray:none }
.repair-edge.selected .edge-id,.repair-edge.selected .edge-verb { fill:#3d6114 }
.repair-edge.selected .edge-badge circle { fill:#4f7d00 }
.repair-edge.next-action .action-surface { fill:#edf6df; stroke:var(--green); stroke-width:2; stroke-dasharray:none }
.paper-site .program-node .program-card { fill:#fff; stroke:none }
.paper-site .program-node.selected .program-card,.program-node:hover .program-card { fill:#f5faec }
.node-selection { fill:none; stroke:var(--green); stroke-width:1.2; opacity:0 }
.program-node.selected .node-selection,.program-node.source-parent .node-selection { opacity:1 }
.node-ring-bg { fill:none; stroke:#e3e6de; stroke-width:4 }
.node-ring { fill:none; stroke:var(--green); stroke-width:4; stroke-linecap:butt }
.node-id { font:italic 18px var(--plot); fill:#2f342b }
.node-tests { font:10px var(--sans); fill:#68735d }
.node-terminal { font:10px var(--sans); fill:#4f7d00 }
.node-fix circle { fill:var(--green); stroke:#fff; stroke-width:1.5 }
.node-fix path { fill:none; stroke:#fff; stroke-width:2; stroke-linecap:round; stroke-linejoin:round }
.tree-key { gap:10px 22px; margin-top:8px; font-size:11px }
.tree-key i { position:relative; width:18px; height:12px; border-radius:3px }
.tree-key .key-expanded { border-color:#c3c8bd; background:#fff }
.tree-key .key-expanded b { position:absolute; top:-5px; right:-5px; width:11px; height:11px; border-radius:50%; background:#3f4738; color:#fff; font:700 7px/11px var(--sans); text-align:center }
.tree-key .key-proposed { border:1px dashed #8fabc9; background:#f5f9fe }
.tree-key .key-selected { border-color:var(--green); background:#f6faef }
.tree-key .key-pass-rate { width:13px; height:13px; border:3px solid var(--green); border-right-color:#e3e6de; border-radius:50% }
.tree-key .key-fix { width:13px; height:13px; border:0; border-radius:50%; background:var(--green) }
.tree-key .key-fix::after { content:'✓'; position:absolute; inset:0; color:#fff; font:700 9px/13px var(--sans); text-align:center }
.tree-heading>p { font-size:12px }
/* frontier as a compact chip grid */
.paper-site .search-scene #frontier-list { grid-template-columns:repeat(4,minmax(0,1fr)); gap:8px 12px }
.paper-site .search-scene .frontier-item { display:grid; grid-template-columns:auto minmax(0,1fr); grid-template-rows:auto auto; column-gap:9px; row-gap:2px; align-items:baseline; padding:8px 10px; min-height:0; font:11px/1.45 var(--sans); border-color:#dfe3e8 }
.paper-site .search-scene .frontier-item em { grid-row:1/3; font:italic 16px var(--plot); color:var(--blue); align-self:center }
.paper-site .search-scene .frontier-item .frontier-label { color:#2f3a4a }
.paper-site .search-scene .frontier-item small { font:11px var(--serif); color:#8a929b }
.paper-site .search-scene .frontier-item.related { border-left:2px solid #7599c3 }
.paper-site .search-scene .frontier-item.selected { border-color:var(--green); background:#f6faef }
.paper-site .search-scene .frontier-item.selected em { color:#3d6114 }
.paper-site .search-scene .frontier-item:hover { background:#f4f8fc; border-color:#9bb4d3 }
.paper-site .frontier-column>p.figure-hint { margin-top:12px; font-size:12px }
/* inspector */
.paper-site .search-scene #opened-node { gap:30px }
.inspector-title strong { font-size:13px }
.program-code { font-size:10.5px; line-height:1.8 }

/* ---------- Figure 3: priority model ---------- */
.paper-site .method-scene { grid-template-columns:minmax(0,1.05fr) minmax(0,.9fr) minmax(0,1.05fr); gap:0 44px; align-items:start }
.paper-site .feedback-card { min-height:0; padding:12px 14px 10px; font:11px/1.7 var(--mono); border-color:#d9c9c6; background:#fffdfc; margin-bottom:14px }
.feedback-card p { color:#3a3a3a; margin:0 }
.feedback-card p+p { margin-top:8px; color:#3a3a3a }
.feedback-card .feedback-meta { font:11px var(--serif); color:#8a8f84; margin-top:9px; padding-top:8px; border-top:1px solid #eee7e4 }
.tag { font:700 10px var(--mono); letter-spacing:.2px; margin-right:2px }
.tag-feedback { color:#b3261e }
.tag-diagnosis { color:#9a6700 }
.tag-action { color:var(--blue) }
.feedback-card code { color:#b3261e }
.paper-site .action-card { border-color:#c9d6e4; background:#fbfcfe }
.paper-site .action-card>.candidate-copy code { color:#2f3f55 }
.paper-site .action-card.traced { background:#eef4fb; border-color:#5f87b8 }
.paper-site .model-engine { margin-top:20px }
.paper-site .model-box { padding:18px 12px 14px; border-radius:8px; border:1.5px solid var(--purple); background:#fbf9fe }
.paper-site .model-box strong { font-size:15px }
.paper-site .model-box>span:not(.lora-badge) { margin-top:3px }
.paper-site .model-box>span.model-representation { margin-top:12px; font-size:10px }
.paper-site .model-box .trace-representation { font-size:18px; margin-top:6px }
.paper-site .model-head { margin-top:24px }
.paper-site .model-head::before { height:24px; top:-24px; background:#a68abe }
.paper-site .model-head::after { background:#a68abe }
.paper-site .model-head strong { border-color:var(--purple); color:var(--purple) }
.paper-site .features { border-color:#a68abe; color:#5b3f8f }
.paper-site .trace-prediction { margin-top:14px; padding-top:11px; border-top:1px solid #e7e0f1 }
.paper-site .flow-wire { height:1.5px; width:44px; top:38%; background:#7d8ea8 }
.paper-site .wire-in { left:-45px }
.paper-site .wire-in::after { border-left-color:#7d8ea8; top:-3px }
.paper-site .wire-out { display:block; right:-45px; top:calc(100% - 13px); background:#8a76a8 }
.paper-site .wire-out::after { border-left-color:#8a76a8 }
.paper-site .ranking-box { padding:14px 12px 12px; border:1px solid #cfdcc0; background:#fbfdf8 }
.paper-site .ranking-box h3 { font:13px var(--serif); color:#3d4936; padding-bottom:10px; margin-bottom:14px; border-bottom:1px solid #e2e8da }
.paper-site .ranked-action>span { border-color:#dfe3d9; background:#fff; color:#3f463c }
.paper-site .ranked-action b { color:#5b6153 }
.paper-site .ranked-action.top>span { border-color:var(--green); background:#f3f9e9; color:#2f4b10 }
.paper-site .ranked-action.top .candidate-id { color:#4f7d00 }
.paper-site .ranked-action.top b { color:#4f7d00; font-weight:700 }
.paper-site .ranked-action.traced:not(.top)>span { background:#eef4fb; border-color:#5f87b8; color:var(--blue) }
.paper-site .chosen-edit { margin-top:12px; color:#4f7d00 }
.candidate-trace { padding:14px 0 16px }

@media(max-width:1100px) and (min-width:851px) {
  .paper-site .method-scene { gap:0 34px }
  .paper-site .flow-wire { width:34px }
  .paper-site .wire-in { left:-35px }
  .paper-site .wire-out { right:-35px }
  .paper-site .search-scene #frontier-list { grid-template-columns:repeat(3,minmax(0,1fr)) }
}
@media(max-width:850px) {
  .paper-site .method-scene { grid-template-columns:minmax(0,1fr) minmax(0,.85fr); gap:26px 40px }
  .paper-site .method-output { grid-column:1/-1 }
  .paper-site .method-output .ranking-box { max-width:560px }
  .paper-site .wire-out { display:none }
  .paper-site .search-scene #frontier-list { grid-template-columns:repeat(3,minmax(0,1fr)) }
  .scaling-footer .plot-legend { justify-content:flex-start }
  .paper-site .transfer-layout { grid-template-columns:minmax(0,1.3fr) minmax(0,.8fr) }
}
@media(max-width:600px) {
  .paper-site .method-scene { grid-template-columns:1fr; gap:24px }
  .paper-site .method-output { grid-column:1 }
  .paper-site .method-output .ranking-box { max-width:none }
  .paper-site .flow-wire { display:none }
  .paper-site .search-scene #frontier-list { grid-template-columns:repeat(2,minmax(0,1fr)); gap:8px }
  .paper-site .search-scene .frontier-item { font-size:11px }
  .paper-site .hero-readout { justify-content:flex-start; gap:4px 18px }
  .paper-site .hero-readout>span:first-child { flex-basis:100% }
  .paper-site .plot-legend button,.legend-static { font-size:13.5px }
  .paper-site .transfer-layout { grid-template-columns:1fr }
  .tree-key { gap:8px 16px }
}

/* ---------- Figure 3: priority-model architecture (transformer diagram) ---------- */
.paper-site .method-scene { grid-template-columns:minmax(0,.95fr) minmax(0,1.15fr) minmax(0,.95fr); gap:0 44px }
.paper-site .model-engine { margin-top:0; position:relative }
.arch { display:block; width:100%; height:auto; overflow:visible }
.arch text { font-family:var(--sans); fill:#3a3a3a; font-variant-numeric:tabular-nums }
.arch .arch-title { font-size:11.5px; font-weight:600; fill:var(--purple) }
.arch .arch-text { font-size:10.5px; fill:#3d3d3d }
.arch .purple { fill:#4b2f8a }
.arch .strong { font-weight:600 }
.arch .green { fill:#4f7d00 }
.arch .arch-small { font-size:9px; fill:#7a7a7a }
.arch .arch-tiny { font-size:8.5px; fill:#6a6a6a }
.arch .arch-mono { font-family:var(--mono); font-size:8.8px; fill:#5a5a5a }
.arch .arch-mono.dark { fill:#3a3a3a }
.arch .arch-math { font:italic 11.5px var(--serif); fill:#333 }
.arch .arch-frac { font-size:11px }
.arch .arch-h { font:italic 12.5px var(--serif); fill:var(--purple) }
.arch .arch-h-dim { font:10.5px var(--serif); fill:#6a5a86 }
.arch .arch-score { font:italic 600 14px var(--serif); fill:#2f4b10 }
.arch .arch-flow { fill:none; stroke:#8a7aa6; stroke-width:1.2 }
.arch .arch-axis { stroke:#c4c4c4; stroke-width:1 }
.arch .arch-plus circle { fill:#fff; stroke:var(--purple); stroke-width:1.2 }
.arch .arch-plus path { fill:none; stroke:var(--purple); stroke-width:1.3; stroke-linecap:round }
.arch .arch-backbone-box { fill:#fbf9fe; stroke:var(--purple); stroke-width:1.4 }
.arch .arch-lora-badge { fill:#5f3dc4; stroke:#fff; stroke-width:1.5 }
.arch .arch-lora-badge-text { font:700 9.5px var(--mono); fill:#fff; letter-spacing:.3px }
.arch .arch-title.large { font-size:14px }
.arch .arch-state { fill:#cfc4e6 }
.arch .arch-state-last { fill:var(--purple) }
.arch .arch-features-box { fill:#fff; stroke:#a68abe; stroke-width:1; stroke-dasharray:3 2 }
.arch .arch-head-box { fill:#fff; stroke:var(--purple); stroke-width:1.2 }
.arch .arch-bin { fill:var(--green) }
.arch .arch-bin.beyond { fill:#d7e8b6 }
.arch .arch-bracket { fill:none; stroke:#76b900; stroke-width:1.2 }
.arch .arch-score-box { fill:#f3f9e9; stroke:var(--green); stroke-width:1.2 }
.arch .arch-con { fill:none; stroke-width:1.4; stroke-linejoin:round }
.arch .arch-con-feedback { stroke:#c99a95 }
.arch .arch-con-action { stroke:#8fb0d6 }
.arch .arch-con-out { stroke:#76b900; stroke-width:1.6 }
.paper-site .feedback-card { margin-bottom:16px }
@media(max-width:850px) {
  .paper-site .method-scene { grid-template-columns:minmax(0,1fr) minmax(0,1.05fr); gap:26px 44px }
}
@media(max-width:600px) {
  .paper-site .method-scene { grid-template-columns:1fr }
  .arch .arch-connectors { display:none }
  .paper-site .model-engine { width:min(420px,100%); margin-inline:auto }
}

/* ---------- Figure 2: compact tree beside the frontier ---------- */
.paper-site .search-scene { grid-template-columns:minmax(0,1.55fr) minmax(0,1fr); grid-template-areas:"tree frontier" "nav nav" "inspector inspector"; gap:20px 30px; align-items:start }
.paper-site .search-scene .tree-column { grid-area:tree }
.paper-site .search-scene .frontier-column { grid-area:frontier; border:0; padding:0 }
.paper-site .search-scene .search-navigation { grid-area:nav }
.paper-site .search-scene .opened-column { grid-area:inspector }
.paper-site .search-scene .tree-column svg { min-width:0; width:100%; max-width:640px; margin:0 auto }
.paper-site .search-scene #frontier-list { grid-template-columns:1fr; gap:5px }
.paper-site .search-scene .frontier-item { grid-template-columns:auto minmax(0,1fr) auto; grid-template-rows:auto; align-items:center; column-gap:9px; padding:6px 10px; min-height:33px; font-size:11px }
.paper-site .search-scene .frontier-item em { grid-row:auto; font-size:14px }
.paper-site .search-scene .frontier-item small { font-size:11px }
.frontier-heading>p { margin-bottom:12px }
.repair-stub { cursor:pointer; outline:none }
.repair-stub .tree-link { fill:none; stroke:#a9bdd4; stroke-width:1.2; stroke-dasharray:3 3 }
.stub-pill { fill:#f5f9fe; stroke:#8fabc9; stroke-width:1; stroke-dasharray:3 2; transition:fill .2s,stroke .2s }
.stub-text { font:600 9.5px var(--sans); fill:var(--blue) }
.repair-stub:hover .stub-pill,.repair-stub.related .stub-pill { stroke:#587895; fill:#eef4fb }
.repair-stub.selected .stub-pill,.repair-stub:focus-visible .stub-pill { fill:#f6faef; stroke:var(--green); stroke-width:1.6; stroke-dasharray:none }
.repair-stub.selected .tree-link { stroke:var(--green); stroke-dasharray:none; stroke-width:1.6 }
.repair-stub.selected .stub-text { fill:#3d6114 }
.edge-id { font-size:13px }
.edge-verb { font-size:10.5px }
.node-id { font-size:16px }
.node-tests { font-size:9.5px }
.node-terminal { font-size:9.5px }
.tree-key .key-pill { width:auto; height:14px; padding:0 6px; border-radius:7px; border:1px dashed #8fabc9; background:#f5f9fe; color:var(--blue); font:600 7.5px/12px var(--sans); text-align:center; white-space:nowrap }
@media(min-width:601px) { .tree-pan-hint { display:none } }
@media(max-width:850px) {
  .paper-site .search-scene { grid-template-columns:1fr; grid-template-areas:"tree" "nav" "frontier" "inspector"; gap:20px }
  .paper-site .search-scene .frontier-column { padding-top:18px; border-top:1px solid var(--line) }
  .paper-site .search-scene #frontier-list { grid-template-columns:repeat(2,minmax(0,1fr)); gap:6px 14px }
}
@media(max-width:600px) {
  .paper-site .search-scene .tree-column svg { min-width:560px; max-width:none }
  .paper-site .search-scene #frontier-list { grid-template-columns:1fr }
}

/* ---------- Figure 3: typeset math ---------- */
.arch .arch-math { font:italic 12px var(--serif); fill:#333 }
.arch .arch-math.small { font-size:10.5px }
.arch .arch-math.green { fill:#4f7d00 }
.arch .arch-math.limit { font-size:8px }
.arch .arch-math.upright { font-style:normal }
.arch .arch-sigma { font:400 19px var(--serif); fill:#333 }
.arch .arch-fraction-bar { stroke:#333; stroke-width:.9 }

/* ---------- Figure 4: paired cost panels ---------- */
.cost-legend { display:flex; flex-wrap:wrap; justify-content:center; gap:6px 18px; margin:0 0 14px; font:13.5px var(--plot); color:#333 }
.cost-key { display:inline-flex; align-items:center; gap:7px }
.cost-key small { font-size:11px; color:#777 }
.cost-key i { display:inline-block; width:16px; height:12px; background-color:var(--bar-fill); box-shadow:0 0 0 1px #d8d8d8 }
.hatch-diag { background-image:repeating-linear-gradient(45deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-backdiag { background-image:repeating-linear-gradient(-45deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-vertical { background-image:repeating-linear-gradient(90deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-horizontal { background-image:repeating-linear-gradient(0deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-cross { background-image:repeating-linear-gradient(45deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px),repeating-linear-gradient(-45deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-grid { background-image:repeating-linear-gradient(90deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px),repeating-linear-gradient(0deg,rgba(255,255,255,.85) 0 1px,transparent 1px 4px) }
.hatch-dots { background-image:radial-gradient(circle,rgba(255,255,255,.9) .9px,transparent 1.1px); background-size:4px 4px }
.paper-site .cost-plots { gap:34px; margin-top:4px }
@media(max-width:600px) { .cost-legend { font-size:12px; gap:4px 12px } }

/* ---------- Figure 3: six-stage replay ---------- */
.arch .arch-input,.arch .arch-backbone,.arch .arch-hidden,.arch .arch-features,.arch .arch-head,.arch .arch-dist,.arch .arch-priority,.arch .arch-con { transition:opacity .45s }
.method-demo[data-stage="0"] :is(.arch-backbone,.arch-hidden,.arch-features,.arch-head,.arch-dist,.arch-priority,.arch-con-out) { opacity:.2 }
.method-demo[data-stage="1"] :is(.arch-features,.arch-head,.arch-dist,.arch-priority,.arch-con-out) { opacity:.2 }
.method-demo[data-stage="2"] :is(.arch-head,.arch-dist,.arch-priority,.arch-con-out) { opacity:.2 }
.method-demo[data-stage="3"] :is(.arch-priority,.arch-con-out) { opacity:.2 }
.method-demo[data-stage="4"] .arch-con-out { opacity:.35 }
.method-demo[data-stage="1"] .arch-backbone-box { fill:#f4eefc }
.method-demo[data-stage="2"] .arch-features-box { fill:#faf7fd; stroke:var(--purple) }
.method-demo[data-stage="3"] .arch-head-box { fill:#f4eefc }
.arch .arch-tok,.arch .arch-state { transform-box:fill-box; transform-origin:center }
@keyframes arch-tok-wave { 0% { opacity:.32; transform:none } 45% { opacity:1; transform:translateY(-2px) } 100% { opacity:.32; transform:none } }
@keyframes arch-state-in { from { opacity:0; transform:translateY(5px) } to { opacity:1; transform:none } }
@keyframes arch-fade-in { from { opacity:0 } to { opacity:1 } }
@keyframes arch-draw { from { stroke-dashoffset:120 } to { stroke-dashoffset:0 } }
.method-demo[data-stage="1"] .arch-tok:not(.arch-tok-last) { animation:arch-tok-wave 1s ease-out both; animation-delay:calc(var(--i) * 22ms) }
.method-demo[data-stage="1"] .arch-state { animation:arch-state-in .45s ease-out both; animation-delay:calc(.55s + var(--i) * 18ms) }
.method-demo[data-stage="1"] .arch-hidden text { animation:arch-fade-in .6s both; animation-delay:.9s }
.method-demo[data-stage="2"] .arch-features { animation:arch-fade-in .5s both }
.method-demo[data-stage="2"] .arch-hidden .arch-flow,.method-demo[data-stage="2"] .arch-features .arch-flow { stroke-dasharray:120; animation:arch-draw .7s ease-out both }
.method-demo[data-stage="3"] .arch-head { animation:arch-fade-in .45s both }
.method-demo[data-stage="4"] .arch-priority { animation:arch-fade-in .5s both }
.method-demo[data-stage="5"] .arch-con-out { stroke-dasharray:1200; animation:arch-draw 1s ease-out both }
.paper-site .method-stages { gap:14px }

/* ---------- Figure 4: broken axis ---------- */
.bar-break { fill:#fff }

/* ---------- Figure 1: static curves ---------- */
.paper-site .teaser-figure .paired-plots { margin-bottom:6px }

/* ---------- Figure 2: recorded example (frontier scores, timeouts, footprint, inspector) ---------- */
.paper-site .search-scene { grid-template-areas:"tree frontier" "nav nav" "footprint footprint" "inspector inspector" }
.paper-site .search-scene .footprint-column { grid-area:footprint; padding-top:20px; border-top:1px solid var(--line) }
.footprint-map { display:block; width:100%; height:auto; max-width:960px; margin:4px auto 0 }
.fp-edges line { stroke:#e3e6dd; stroke-width:.8 }
.fp-node { fill:#d9ddd3; stroke:none; transition:fill .25s }
.fp-node.fix { fill:#fff; stroke:var(--green); stroke-width:1.4 }
.fp-node.baseline { fill:#6f7a68 }
.fp-node.baseline.fix { fill:#6f7a68 }
.fp-node.model { fill:var(--green); stroke:#4f7d00; stroke-width:1 }
.fp-node.model.baseline { fill:#4f7d00 }
.fp-node.reached { stroke:#2f4b10; stroke-width:2 }
.footprint-note { font:12.5px/1.7 var(--serif); color:#4a4f44; margin:10px 0 8px }
.footprint-note .fp-model { color:#4f7d00; font-weight:600 }
.footprint-note .fp-base { color:#4a5244; font-weight:600 }
.fp-chip-list { display:flex; flex-wrap:wrap; gap:6px 8px }
.fp-chip { display:inline-flex; align-items:center; gap:5px; padding:4px 9px; border:1px solid #d8dcd3; border-radius:14px; background:#fff; font:11px var(--sans); color:#4a4f44; cursor:pointer }
.fp-chip b { font-weight:600; color:#222; font-variant-numeric:tabular-nums }
.fp-chip small { font-size:9.5px; color:#8a9084 }
.fp-chip:hover { border-color:#8f978a }
.fp-chip[aria-pressed=true] { background:#4a5244; border-color:#4a5244; color:#fff }
.fp-chip[aria-pressed=true] b,.fp-chip[aria-pressed=true] small { color:#fff }
.fp-chip-model { background:#f3f9e9; border-color:var(--green); color:#3d6114; cursor:default }
.fp-chip-model b { color:#3d6114 }
.fp-chip-static { cursor:default; color:#8a9084; border-style:dashed }
.paper-site .search-scene .frontier-item { grid-template-columns:auto minmax(0,1fr) auto auto }
.frontier-score { font:600 11px var(--mono); color:#4a5244; font-variant-numeric:tabular-nums }
.paper-site .search-scene .frontier-item .frontier-label { overflow:hidden; text-overflow:ellipsis; white-space:nowrap }
.paper-site .search-scene .frontier-item.next { border-color:var(--green); box-shadow:inset 3px 0 0 var(--green) }
.paper-site .search-scene .frontier-item.next .frontier-score { color:#4f7d00 }
.paper-site .search-scene #frontier-list { max-height:600px; overflow-y:auto; padding-right:4px; scrollbar-width:thin }
.edge-score { font:9.5px var(--mono); fill:#6b7365 }
.repair-edge.pending .edge-score { fill:#6b86a6 }
.repair-edge.selected .edge-score { fill:#3d6114 }
.node-timeout { font:600 9px var(--sans); fill:#a24a37 }
.program-node.is-timeout .node-tests { fill:#a24a37 }
.program-node.is-timeout .node-ring-bg { stroke:#f0d9d5 }
.tree-key .key-timeout { width:13px; height:13px; border:3px solid #f0d9d5; border-radius:50% }
.step-buttons { display:contents }
.program-code.long { max-height:420px; overflow:auto }
.line-count { margin-left:auto; color:#9aa094 }
.proposed-repair p { font:12.5px/1.65 var(--serif); margin-top:6px; color:#4a5560 }
.proposed-repair p b { font:600 11px var(--sans); color:#5d7390; margin-right:2px }
.proposed-repair .oracle { color:#6a6f66; font-style:italic; border-top:1px dashed #d9dee4; padding-top:6px; margin-top:8px }
.test-unknown td { color:#9a9a9a }
.test-none { color:#a24a37; font-weight:600; padding-right:6px }
.timeout-note { font:12px/1.65 var(--serif); color:#8a4a3e; margin-top:10px }
.feedback-raw { margin-top:12px; border-top:1px solid #e3e6df; padding-top:8px }
.feedback-raw summary,.diagnosis-full summary { cursor:pointer; font:12px var(--serif); color:#656f5b }
.feedback-raw pre,.diagnosis-full pre { margin:8px 0 0; font:10px/1.6 var(--mono); color:#555; white-space:pre-wrap; max-height:260px; overflow:auto; background:#fafbf9; border:1px solid #e4e7df; padding:8px }
.program-diagnosis .tag { margin-right:4px }
.diagnosis-head { font:13px/1.65 var(--serif); color:#4a4f44 }
.diagnosis-full { margin-top:6px }
.diagnosis-full pre { font:11px/1.6 var(--mono) }
.method-subset-note { font:11.5px/1.6 var(--serif); color:#73796c; margin-top:10px }
.paper-site .action-card>.candidate-copy code { display:-webkit-box; -webkit-line-clamp:2; -webkit-box-orient:vertical; overflow:hidden }
.paper-site .ranked-action>span>span:last-child { overflow:hidden; text-overflow:ellipsis; white-space:nowrap }
@media(max-width:850px) {
  .paper-site .search-scene { grid-template-areas:"tree" "nav" "frontier" "footprint" "inspector" }
  .paper-site .search-scene #frontier-list { max-height:none }
}
.fp-depth { font:7.5px var(--sans); fill:#9aa094 }
.paper-site .ranked-action b { flex-basis:38px }

/* ---------- Figure 2: full-width tree, frontier beside footprint, proposal badges ---------- */
.paper-site .search-scene { grid-template-columns:minmax(0,1fr) minmax(0,1.6fr); grid-template-areas:"tree tree" "nav nav" "frontier footprint" "inspector inspector"; gap:20px 34px }
.paper-site .search-scene .tree-column svg { max-width:860px }
.paper-site .search-scene .frontier-column { padding-top:20px; border-top:1px solid var(--line) }
.paper-site .search-scene .footprint-column { padding-top:20px }
.paper-site .search-scene #frontier-list { max-height:520px }
.repair-stub { cursor:pointer }
.stub-pill { fill:#f5f9fe; stroke:#8fabc9; stroke-width:1; stroke-dasharray:3 2 }
.stub-text { font:700 9.5px var(--sans); fill:var(--blue) }
.program-node:hover .stub-pill,.repair-stub.related .stub-pill { stroke:#587895; fill:#eef4fb }
.repair-stub.selected .stub-pill { fill:#f6faef; stroke:var(--green); stroke-width:1.6; stroke-dasharray:none }
.repair-stub.selected .stub-text { fill:#3d6114 }
.tree-key .key-badge { width:22px; height:22px; border-radius:50%; border:1px dashed #8fabc9; background:#f5f9fe; color:var(--blue); font:700 8px/20px var(--sans); text-align:center }
@media(max-width:850px) {
  .paper-site .search-scene { grid-template-columns:1fr; grid-template-areas:"tree" "nav" "frontier" "footprint" "inspector" }
}

/* ---------- Figure 2: frontier beside a compact tree; footprint with side panel ---------- */
.paper-site .search-scene { grid-template-columns:minmax(0,1.75fr) minmax(0,1fr); grid-template-areas:"tree frontier" "nav nav" "footprint footprint" "inspector inspector"; gap:20px 30px }
.paper-site .search-scene .tree-column svg { max-width:none }
.paper-site .search-scene .frontier-column { padding-top:0; border-top:0 }
.paper-site .search-scene #frontier-list { max-height:560px }
.paper-site .search-scene .frontier-item { padding:5px 9px; min-height:30px; font-size:10.5px; column-gap:7px }
.paper-site .search-scene .frontier-item em { font-size:13px }
.paper-site .search-scene .frontier-item small { font-size:10px }
.frontier-score { font-size:10.5px }
.edge-id { font-size:12px }
.edge-verb { font-size:9.5px }
.edge-score { font-size:8.5px }
.edge-badge text { font-size:8.5px }
.node-id { font-size:14.5px }
.node-tests { font-size:8.5px }
.node-terminal,.node-timeout { font-size:8.5px }
.stub-text { font-size:8.5px }
.depth-label { font-size:9px }
.footprint-body { display:grid; grid-template-columns:minmax(0,1.55fr) minmax(0,1fr); gap:10px 30px; align-items:start }
.footprint-map { margin:6px 0 0; max-width:none }
.footprint-note { margin:0 0 10px }
.fp-node.selected { fill:#4a5244 }
.fp-node.selected.fix { fill:#4a5244 }
.model-selected .fp-node.selected { fill:var(--green); stroke:#4f7d00; stroke-width:1 }
.model-selected .fp-node.selected.fix { fill:var(--green) }
.fp-node.reached { stroke:#2f4b10; stroke-width:2.2 }
.fp-chip-model { cursor:pointer }
.fp-chip-model[aria-pressed=true] { background:#4f7d00; border-color:#4f7d00; color:#fff }
.fp-chip-model[aria-pressed=true] b { color:#fff }
.fp-chip-replay { border-style:dashed }
@media(max-width:850px) {
  .paper-site .search-scene { grid-template-columns:1fr; grid-template-areas:"tree" "nav" "frontier" "footprint" "inspector" }
  .paper-site .search-scene .frontier-column { padding-top:18px; border-top:1px solid var(--line) }
  .footprint-body { grid-template-columns:1fr }
}

/* footprint: expansion-order ramp */
.fp-order-legend { display:flex; align-items:center; gap:8px; margin:2px 0 0 60px; font:10px var(--sans); color:#7a7f74 }
.fp-order-legend>i { display:inline-block; width:90px; height:8px; border-radius:4px; background:linear-gradient(to right,var(--ramp-from,#ccc),var(--ramp-to,#333)) }
.fp-legend-fix { margin-left:14px; display:inline-flex; align-items:center; gap:5px }
.fp-legend-fix i { display:inline-block; width:9px; height:9px; border-radius:50%; border:1.5px solid var(--green); background:#fff }
.footprint-body .footprint-map { margin-bottom:0 }
.footprint-body { grid-template-areas:"map side" "legend side"; grid-template-rows:auto 1fr }
.footprint-body .footprint-map { grid-area:map }
.footprint-body .fp-order-legend { grid-area:legend }
.footprint-body .footprint-side { grid-area:side }
@media(max-width:850px) { .footprint-body { grid-template-areas:"map" "legend" "side" } }

/* ---------- Priority stage: cumulative view and mean line; icons; justified prose; calibration pair ---------- */
.arch .arch-bin-cum { fill:var(--green); opacity:.38 }
.model-icon { width:14px; height:14px; vertical-align:-2px; margin-right:6px; border-radius:3px }
.model-icon-slot { display:inline-flex; width:20px; justify-content:center }
.model-icon-slot .model-icon { margin:0; width:16px; height:16px }
.research-table th .model-icon,.corpus-table th .model-icon { margin-right:8px }
.metric-table caption .model-icon { margin:0 5px 0 2px }
.repair-scale .model-icon,.plot-subcaption .model-icon { width:13px; height:13px; margin-right:5px }
.ece-note { font:600 12.5px var(--plot) }
.paper-site .calibration-pair { gap:36px }
.paper-text,.paper-text p,.paper-caption,.result-note,.paper-site .section-heading>p,.abstract p,.demo-caption,.repair-task>p,.corpus-note,.footprint-note,.figure-hint,.source-note,.result-discussion p,.method-definition p,.diagnosis-head,.proposed-repair p,.cost-summary,.timeout-note,.method-subset-note,.program-diagnosis { text-align:justify; hyphens:auto; -webkit-hyphens:auto }
.abstract p { text-align:justify }
/* On phones, justified lines open wide gaps; set prose ragged-right as on the other project pages */
@media (max-width:600px) { .paper-text,.paper-text p,.paper-caption,.paper-site .section-heading>p,.abstract p,.result-discussion p,.method-definition p,.corpus-note,.source-note { text-align:left } }

/* ---------- solved view: fade by distance from the recorded path; tighter ranking box ---------- */
.search-demo .repair-edge { transition:opacity .45s }
.search-demo.solved-view .program-node:not(.selected):not(.source-parent),.search-demo.solved-view .repair-edge:not(.selected):not(.next-action) { opacity:var(--dim,1) }
.method-demo { --ranked-row:52px }
.paper-site .ranking-box { padding:12px 12px 11px }
.paper-site .ranking-box h3 { padding-bottom:9px; margin-bottom:10px }
.paper-site .ranking-list { height:calc(3 * var(--ranked-row) - 6px) }
.paper-site .ranked-action { height:calc(var(--ranked-row) - 6px); transform:translateY(calc(var(--row) * var(--ranked-row))) }
.paper-site .chosen-edit { margin-top:9px; min-height:16px; line-height:1.35 }

/* ---------- Table 1: ablations ---------- */
.ablation-table { white-space:normal }
.ablation-table th.axis { font:italic 13px var(--serif); color:#3d4936; vertical-align:top; white-space:nowrap; padding-right:24px }
.ablation-table td.variant { color:#333 }
.ablation-table th.num,.ablation-table td.num { text-align:right; white-space:nowrap }
.ablation-table td.num .se { color:#8a9183; font-size:11px; margin-left:4px }
.ablation-table tr.reference td.num { color:var(--green-ink); font-weight:600 }
.ablation-table tr.reference td.num .se { font-weight:400 }
.ablation-table tr.block-start th,.ablation-table tr.block-start td { border-top:1px solid #cfd6c8 }
.ablation-table td.delta { white-space:nowrap; min-width:170px }
.ablation-table td.delta .dash { color:#9aa093 }
.delta-bar { display:inline-block; width:96px; height:6px; background:#eef0ea; border-radius:3px; vertical-align:middle; margin-right:12px }
.delta-bar i { display:block; height:100%; background:#d5a9a2; border-radius:3px } /* muted red: every bar is an increase in search cost */
.paper-site .ablation-table tbody tr:hover { background:#fafcf6 }
.rules-note { font:12px/1.7 var(--serif); color:#5f665a; margin:12px 0 4px; text-align:justify }
.ablation-table tr.axis-row { display:none } /* phone layout only: the axis becomes a group heading row */
@media (max-width:640px) {
  .ablation-table th.axis,.ablation-table th.axis-col { display:none }
  .ablation-table tr.axis-row { display:table-row }
  .ablation-table tr.axis-row th { font:italic 13px var(--serif); color:#3d4936; padding:14px 8px 6px; border-top:1px solid #cfd6c8; border-bottom:0 }
  .ablation-table tr.block-start th,.ablation-table tr.block-start td { border-top:0 }
  .ablation-table td.variant { white-space:normal; padding-left:8px }
  .ablation-table td.delta { min-width:0; white-space:nowrap }
  .delta-bar { display:none }
}

/* ---------- authors, resource buttons, citation ---------- */
.paper-authors { font:18px/1.5 var(--serif); color:var(--ink); margin-top:24px }
.paper-authors sup { font-size:60%; color:#7a8073; margin-left:1px }
.paper-affiliations { display:flex; justify-content:center; flex-wrap:wrap; gap:6px 22px; margin-top:8px; font:14px var(--serif); color:#555 }
.paper-affiliations sup { font-size:70%; color:#7a8073; margin-right:2px }
.paper-buttons { display:flex; justify-content:center; flex-wrap:wrap; gap:10px; margin-top:26px }
.paper-buttons a,.paper-buttons span { display:inline-flex; align-items:center; gap:7px; padding:7px 15px; border:1px solid #cfd6c8; border-radius:0; font:12.5px var(--sans); color:var(--ink); text-decoration:none; background:#fff; transition:border-color .2s,color .2s }
.paper-buttons a:hover { border-color:var(--green); color:var(--green-ink) }
.paper-buttons svg,.paper-buttons img { height:14px; width:auto; display:block }
.paper-buttons .icon-mark { fill:currentColor }
.paper-buttons .icon-arxiv { height:15px }
.paper-buttons .icon-hf { height:15px }
.paper-buttons .pending svg,.paper-buttons .pending img { opacity:.7 }
.paper-buttons .pending { color:#8a9183; border-style:dashed; cursor:default }
.paper-buttons .pending small { font-size:10.5px; color:#9aa094 }
.citation-box { position:relative; background:#fafbf8; border:1px solid var(--line); border-radius:0; padding:18px 20px }
.citation-box pre { margin:0; font:12.5px/1.65 var(--mono); color:#333; white-space:pre; overflow:auto; tab-size:2 }
.citation-box .copy-button { position:absolute; top:10px; right:12px; padding:4px 10px; border:1px solid #cfd6c8; border-radius:0; background:#fff; min-height:0 }
.citation-box .copy-button.copied { color:var(--green-ink); border-color:var(--green) }
@media (max-width:640px) { .paper-authors { font-size:15.5px } .paper-affiliations { font-size:12.5px } .paper-buttons a,.paper-buttons span { padding:6px 12px; font-size:12px } .citation-box { padding:14px 12px } .citation-box pre { font-size:11px } }

/* ---------- references ---------- */
.cite { font-size:78%; color:var(--green-ink); text-decoration:none !important; margin-left:2px; vertical-align:baseline; letter-spacing:.2px }
.cite:hover { color:var(--green) }
.reference-list { list-style:none; padding:0; margin:0; counter-reset:ref; font:15px/1.65 var(--serif); color:#333 }
.reference-list li { position:relative; padding-left:38px; margin-bottom:9px; text-align:left; counter-increment:ref }
.reference-list li::before { content:"[" counter(ref) "]"; position:absolute; left:0; top:0; color:#7a8073; font-variant-numeric:tabular-nums }
.reference-list li:target { background:#f5faec; outline:6px solid #f5faec }
.reference-list li>a { font-size:13px; white-space:nowrap }
@media (max-width:640px) { .reference-list { font-size:13.5px } .reference-list li { padding-left:32px } }

/* ---------- embedded prompt, release note ---------- */
.prompt-details { margin:10px 0 4px }
.prompt-details summary { cursor:pointer; color:var(--green-ink); font:13px var(--serif); text-decoration:underline; text-decoration-color:#c9d7b6; text-underline-offset:4px; list-style:none }
.prompt-details summary::-webkit-details-marker { display:none }
.prompt-details summary::after { content:" ▸"; color:#8a9183; font-size:11px }
.prompt-details[open] summary::after { content:" ▾" }
.prompt-details pre { margin:10px 0 0; padding:12px 14px; max-height:320px; overflow:auto; background:#fafbf8; border:1px solid var(--line); border-radius:4px; font:11px/1.55 var(--mono); color:#333; white-space:pre; text-align:left }
.release-note { font:13.5px/1.6 var(--serif); color:#73796c }

/* Theme switch, as on the other project pages */
.site-header nav { align-items:center }
.theme-toggle { display:grid; place-items:center; width:26px; height:26px; margin-right:-6px; padding:0; border:0; background:none; color:var(--muted); cursor:pointer }
.theme-toggle:hover { color:var(--ink) }
.theme-toggle svg { width:14px; height:14px; fill:none; stroke:currentColor; stroke-width:1.5; stroke-linecap:round }
:root[data-theme="dark"] .icon-moon, :root:not([data-theme="dark"]) .icon-sun { display:none }

/* ---- dark theme (generated by tools/codetriage/dark_theme.py) ---- */
:root[data-theme="dark"] { color-scheme: dark }
:root[data-theme="dark"] { --paper:#151511; --white:#1b1b1b; --ink:#dbe0d9; --muted:#9da399; --line:#2f3329; --green:#76b900; --green-ink:#c4ed81; --green-pale:#334219; --blue:#74a7eb; --purple:#6f42c1 }
:root[data-theme="dark"] ::selection { background:#273213 }
:root[data-theme="dark"] .skip-link { color:#1b1b1b }
:root[data-theme="dark"] .button-dark { color:#cff096 }
:root[data-theme="dark"] .button-dark:hover { background:#85c613 }
:root[data-theme="dark"] .button-light,
:root[data-theme="dark"] .button-outline { border-color:#404639 }
:root[data-theme="dark"] .button-light:hover,
:root[data-theme="dark"] .button-outline:hover { border-color:#a9bf8a }
:root[data-theme="dark"] .hero-research { background:#1b1b1b }
:root[data-theme="dark"] .plot-legend button { color:#d0d4cd }
:root[data-theme="dark"] .legend-swatch i { border:1px solid #1b1b1b }
:root[data-theme="dark"] .research-plot text { fill:#dadada }
:root[data-theme="dark"] .plot-axis { stroke:#d8d8d8 }
:root[data-theme="dark"] .plot-grid { stroke:#272824 }
:root[data-theme="dark"] .plot-subcaption { color:#9e9e9e }
:root[data-theme="dark"] .plot-point:focus-visible { filter:drop-shadow(0 0 3px #c3ed80) }
:root[data-theme="dark"] .plot-point:hover { filter:drop-shadow(0 0 2px #76b90066) }
:root[data-theme="dark"] input[type=range]::-webkit-slider-runnable-track { background:linear-gradient(to right,var(--green) 0 var(--range-fill,100%),#282e1f var(--range-fill,100%) 100%) }
:root[data-theme="dark"] input[type=range]::-moz-range-track { background:#282e1f }
:root[data-theme="dark"] input[type=range]::-webkit-slider-thumb { border:2px solid #1b1b1b }
:root[data-theme="dark"] input[type=range]::-moz-range-thumb { border:2px solid #1b1b1b }
:root[data-theme="dark"] .play-button { border:1px solid #253015 }
:root[data-theme="dark"] .plot-tooltip { background:#dce0d9f5; color:#1b1b1b }
:root[data-theme="dark"] .plot-tooltip strong { color:#b9e879 }
:root[data-theme="dark"] .plot-tooltip small { color:#3d4236 }
:root[data-theme="dark"] .research-card { background:#1b1b1b }
:root[data-theme="dark"] .figure-label>span { color:#898e84; border-bottom:1px solid #515848 }
:root[data-theme="dark"] .frontier-item { border:1px solid #1f272e; background:#1b1b1b }
:root[data-theme="dark"] .frontier-item:hover { background:#121416; border-color:#9bb4d3 }
:root[data-theme="dark"] .frontier-item.selected { background:#1a2e45; border-color:#83a6d0 }
:root[data-theme="dark"] .frontier-item.chosen { border-color:#a7c875 }
:root[data-theme="dark"] .tree-link { stroke:#494e43 }
:root[data-theme="dark"] .tree-link.active { stroke:#9ea598 }
:root[data-theme="dark"] .program-card { fill:#1b1b1b; stroke:#757e6d }
:root[data-theme="dark"] .program-node.selected .program-card { fill:#11120f }
:root[data-theme="dark"] .node-code { fill:#34392e }
:root[data-theme="dark"] .node-progress-bg { fill:#2b3919 }
:root[data-theme="dark"] .edge-count { fill:#1b1b1b; stroke:#616b58 }
:root[data-theme="dark"] .edge-count-label { fill:#9ea598 }
:root[data-theme="dark"] .opened-program { background:#121310; border:1px solid #272e1e }
:root[data-theme="dark"] .code-lines i { background:#32362c }
:root[data-theme="dark"] .opened-pass>div { background:#293518 }
:root[data-theme="dark"] .opened-feedback { color:#e27e70; border-top:1px solid #2c3027 }
:root[data-theme="dark"] .opened-diagnosis { color:#ecc778 }
:root[data-theme="dark"] .opened-edits p { border-top:1px solid #2e3523 }
:root[data-theme="dark"] .search-steps,
:root[data-theme="dark"] .method-stages { background:#131411 }
:root[data-theme="dark"] .search-steps button b,
:root[data-theme="dark"] .method-stages button b { color:#808778 }
:root[data-theme="dark"] .search-steps button[aria-pressed=true] { background:#334219 }
:root[data-theme="dark"] .method-stages button[aria-pressed=true] { background:#161419 }
:root[data-theme="dark"] .method-band { background:#323823 }
:root[data-theme="dark"] .feedback-card { border:1px solid #31342a; background:#13130f }
:root[data-theme="dark"] .feedback-card p { color:#e27e70 }
:root[data-theme="dark"] .feedback-card p+p { color:#ecc778 }
:root[data-theme="dark"] .action-card { border:1px solid #1d2731; background:#1b1b1b }
:root[data-theme="dark"] .action-card>span { color:#6c86a9; border-right:1px solid #1c2a39 }
:root[data-theme="dark"] .model-box { background:#1a191d }
:root[data-theme="dark"] .model-box>span:not(.lora-badge) { color:#959199 }
:root[data-theme="dark"] .lora-badge { border:1px solid #b8a4d7; background:#1a191d }
:root[data-theme="dark"] .encoding-bars i { background:#b9a6d8 }
:root[data-theme="dark"] .model-head::before { background:#a28bc5 }
:root[data-theme="dark"] .model-head::after { background:#b9a8d0 }
:root[data-theme="dark"] .features { border:1px dashed #b9a8d0; background:#1a191d }
:root[data-theme="dark"] .combine-symbol { background:#1b1b1b }
:root[data-theme="dark"] .model-head strong { border:1px solid #a78ecb; background:#1b1b1b }
:root[data-theme="dark"] .flow-wire { background:#5e6756 }
:root[data-theme="dark"] .flow-wire::after { border-left:5px solid #5e6756 }
:root[data-theme="dark"] .ranking-box { border:1px solid #252d19; background:#11120f }
:root[data-theme="dark"] .ranking-box h3 { border-bottom:1px solid #29311e }
:root[data-theme="dark"] .ranked-action>span { border:1px solid #2d3028; background:#1b1b1b; color:#b2baac }
:root[data-theme="dark"] .ranked-action b { color:#818979 }
:root[data-theme="dark"] .method-demo[data-stage="1"] .model-box { box-shadow:0 0 0 4px #6f42c10c }
:root[data-theme="dark"] .method-demo[data-stage="3"] .ranked-action[data-rank=early]>span { border-color:#9bb6d8; background:#1a2e45 }
:root[data-theme="dark"] .segmented { background:#1a1c17 }
:root[data-theme="dark"] .segmented button[aria-pressed=true] { background:#1b1b1b; box-shadow:0 1px 3px #daf09712 }
:root[data-theme="dark"] .result-note { background:#131411 }
:root[data-theme="dark"] .cost-bar:focus-visible { filter:drop-shadow(0 0 2px #c3ed80) }
:root[data-theme="dark"] .model-controls select { background:#1b1b1b; border:1px solid #3e4438 }
:root[data-theme="dark"] .model-controls button { background:#1b1b1b }
:root[data-theme="dark"] .research-table thead { background:#141511 }
:root[data-theme="dark"] .research-table tbody tr:hover { background:#171814 }
:root[data-theme="dark"] .source-note a { border-bottom:1px solid #4d5445 }
:root[data-theme="dark"] .dataset-section { background:#32401a; border:1px solid #263119 }
:root[data-theme="dark"] .corpus-row>div { background:#242e18 }
:root[data-theme="dark"] .dataset-bottom { border-top:1px solid #222b1a }
:root[data-theme="dark"] .paper-site { background:#1b1b1b; --paper:#1b1b1b; --ink:#dcdcdc; --muted:#a5a9a2; --line:#2f3229 }
:root[data-theme="dark"] .paper-home { color:#c0c0c0 }
:root[data-theme="dark"] .crumb-sep { color:#3e4438 }
:root[data-theme="dark"] .paper-site .header-paper { color:#b1b1b1 }
:root[data-theme="dark"] .paper-resources a,
:root[data-theme="dark"] .paper-text a { text-decoration-color:#c9d7b6 }
:root[data-theme="dark"] .paper-text { color:#cecece }
:root[data-theme="dark"] .paper-figure { background:#1b1b1b }
:root[data-theme="dark"] .paper-caption { color:#c0c0c0 }
:root[data-theme="dark"] .paper-caption b { color:#dadada }
:root[data-theme="dark"] .paper-site .play-button { background:#1b1b1b; color:#a4ac9a; border:1px solid #24291d }
:root[data-theme="dark"] .paper-site .section-heading>p { color:#cecece }
:root[data-theme="dark"] .section-number { color:#a9aca4 }
:root[data-theme="dark"] .figure-tools>span { color:#a2a2a2 }
:root[data-theme="dark"] .figure-action { color:#a9b09f }
:root[data-theme="dark"] .paper-site .frontier-item { border-color:#292c32; background:#1b1b1b }
:root[data-theme="dark"] .paper-site .frontier-item.selected { background:#121316; border-color:#a2bad5 }
:root[data-theme="dark"] .paper-site .frontier-item.chosen { background:#161713; border-color:#a8c585 }
:root[data-theme="dark"] .paper-site .opened-program { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .program-node.selected .program-card { fill:#1b1b1b }
:root[data-theme="dark"] .paper-site .search-steps,
:root[data-theme="dark"] .paper-site .method-stages { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .search-steps button,
:root[data-theme="dark"] .paper-site .method-stages button { color:#939393 }
:root[data-theme="dark"] .paper-site .search-steps button[aria-pressed=true],
:root[data-theme="dark"] .paper-site .method-stages button[aria-pressed=true] { border-bottom-color:#728b50; color:#ced4cb }
:root[data-theme="dark"] .paper-site .demo-caption { color:#a0a39b }
:root[data-theme="dark"] .paper-site .feedback-card { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .action-card { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .model-box { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .model-box>span.model-representation { color:#928c99 }
:root[data-theme="dark"] .paper-site .lora-badge,
:root[data-theme="dark"] .paper-site .features { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .ranking-box { border-color:#262c1e; background:#1b1b1b }
:root[data-theme="dark"] .paper-site .ranking-box h3 { color:#bec2b7 }
:root[data-theme="dark"] .paper-site .ranked-action>span { color:#b1b1b1 }
:root[data-theme="dark"] .paper-site .method-demo[data-stage="3"] .ranked-action[data-rank=early]>span { background:#101214 }
:root[data-theme="dark"] .paper-site .method-demo[data-stage="1"] .model-box { background:#111013 }
:root[data-theme="dark"] .paper-equation { color:#d9d9d9 }
:root[data-theme="dark"] .equation-number { color:#939393 }
:root[data-theme="dark"] .paper-site .results-tabs button[aria-selected=true] { color:#bbd1a8 }
:root[data-theme="dark"] .paper-site .segmented { background:#1b1b1b; border-color:#303030 }
:root[data-theme="dark"] .paper-site .segmented button[aria-pressed=true] { background:#333a23 }
:root[data-theme="dark"] .paper-site .cost-summary { color:#c1c6bb }
:root[data-theme="dark"] .paper-site .result-note { background:#1b1b1b; color:#c0c0c0 }
:root[data-theme="dark"] .paper-site .result-note b { color:#dcdcdc }
:root[data-theme="dark"] .paper-site .source-note { color:#999c94 }
:root[data-theme="dark"] .metric-table th,
:root[data-theme="dark"] .metric-table td { border-bottom:1px solid #2c2e26 }
:root[data-theme="dark"] .paper-site .transfer-insight .interval-note { color:#a7aca0 }
:root[data-theme="dark"] .paper-site .research-table thead { background:#1b1b1b }
:root[data-theme="dark"] .paper-site .research-table th { color:#c0c0c0 }
:root[data-theme="dark"] .corpus-table th,
:root[data-theme="dark"] .corpus-table td { border-bottom:1px solid #2e2e26 }
:root[data-theme="dark"] .corpus-table thead { border-top:1px solid #b1b1b1; border-bottom:1px solid #737373 }
:root[data-theme="dark"] .corpus-table tfoot { border-top:1px solid #626262; border-bottom:1px solid #b1b1b1 }
:root[data-theme="dark"] .corpus-note { color:#a5a99f }
:root[data-theme="dark"] .paper-footer { color:#939393 }
:root[data-theme="dark"] .repair-task { color:#b1b1b1; border-bottom:1px solid #22251e }
:root[data-theme="dark"] .repair-task>code:first-child { color:#d9d9d9 }
:root[data-theme="dark"] .paper-site .frontier-column>p { color:#969b91 }
:root[data-theme="dark"] .paper-site .frontier-column>p.figure-hint { color:#979d91 }
:root[data-theme="dark"] .frontier-meta small { color:#838b93 }
:root[data-theme="dark"] .paper-site .frontier-item.selected { border-color:#7599c3; background:#121315 }
:root[data-theme="dark"] .paper-site .frontier-item.related { border-left:2px solid #7599c3 }
:root[data-theme="dark"] .repair-edge .tree-link { stroke:#757b6f }
:root[data-theme="dark"] .repair-edge.pending .tree-link { stroke:#9cb2c9 }
:root[data-theme="dark"] .action-surface { fill:#1b1b1b; stroke:#4d5446 }
:root[data-theme="dark"] .edge-id { fill:#abb3a6 }
:root[data-theme="dark"] .edge-status { fill:#8d9488 }
:root[data-theme="dark"] .edge-verb { fill:#aeb5a7 }
:root[data-theme="dark"] .repair-edge.pending .action-surface { fill:#0f1013; stroke:#91abc8 }
:root[data-theme="dark"] .repair-edge.pending .edge-status { fill:#7187a1 }
:root[data-theme="dark"] .repair-edge:hover .action-surface { stroke:#587895 }
:root[data-theme="dark"] .repair-edge.selected .action-surface,
:root[data-theme="dark"] .repair-edge:focus-visible .action-surface { fill:#35451a }
:root[data-theme="dark"] .repair-edge.selected .edge-id,
:root[data-theme="dark"] .repair-edge.selected .edge-verb { fill:#b8e486 }
:root[data-theme="dark"] .repair-edge.selected .edge-status { fill:#afd48c }
:root[data-theme="dark"] .repair-edge.next-action .action-surface { fill:#303f18 }
:root[data-theme="dark"] .paper-site .program-node .program-card { fill:#1b1b1b }
:root[data-theme="dark"] .paper-site .program-node.selected .program-card { fill:#35441a }
:root[data-theme="dark"] .program-node:hover .program-card { fill:#35441a }
:root[data-theme="dark"] .node-ring-bg { stroke:#2d3128 }
:root[data-theme="dark"] .node-id { fill:#cecece }
:root[data-theme="dark"] .node-terminal { fill:#adc295 }
:root[data-theme="dark"] .node-origin { fill:#868b81 }
:root[data-theme="dark"] .node-tests { fill:#a0aa97 }
:root[data-theme="dark"] .tree-key { color:#989d91 }
:root[data-theme="dark"] .tree-key .key-proposed { border-color:#91abc8; background:#0f1013 }
:root[data-theme="dark"] .tree-key .key-expanded { border-color:#4d5446; background:#1b1b1b }
:root[data-theme="dark"] .tree-key .key-selected { background:#35451a }
:root[data-theme="dark"] .tree-key .key-pass-rate { border-right-color:#2d3128 }
:root[data-theme="dark"] .inspector-title { color:#b1b1b1 }
:root[data-theme="dark"] .inspector-title strong { color:#cecece }
:root[data-theme="dark"] .inspector-title>span { color:#939393 }
:root[data-theme="dark"] .program-code { background:#121410; border:1px solid #2b2e25; color:#cecece }
:root[data-theme="dark"] .code-line i { color:#92998b }
:root[data-theme="dark"] .code-line.add { background:#2e3e19; color:#b7dd91 }
:root[data-theme="dark"] .code-line.remove { background:#44201a; color:#c7978c }
:root[data-theme="dark"] .diff-key { color:#8e9286 }
:root[data-theme="dark"] .diff-key>span:first-child { color:#92645a }
:root[data-theme="dark"] .diff-key>span:last-child { color:#adca96 }
:root[data-theme="dark"] .example-tests { color:#b1b1b1 }
:root[data-theme="dark"] .example-tests th { color:#939393; border-bottom:1px solid #3b3f34 }
:root[data-theme="dark"] .example-tests td { border-bottom:1px solid #2d3424 }
:root[data-theme="dark"] .example-tests .test-fail td:last-child { color:#a24a37 }
:root[data-theme="dark"] .test-symbol { color:#87927a }
:root[data-theme="dark"] .test-fail .test-symbol { color:#a24a37 }
:root[data-theme="dark"] .program-diagnosis { color:#a4a997 }
:root[data-theme="dark"] .candidate-copy small { color:#727a82 }
:root[data-theme="dark"] .paper-site .action-card>.candidate-id { color:#718dad }
:root[data-theme="dark"] .paper-site .action-card.traced { background:#121417; border-color:#7da1cb }
:root[data-theme="dark"] .trace-prediction { border-top:1px solid #281a3b }
:root[data-theme="dark"] .paper-site .wire-in { background:#7993b1 }
:root[data-theme="dark"] .paper-site .wire-in::after { border-left-color:#7993b1 }
:root[data-theme="dark"] .paper-site .wire-out { background:#a68abe }
:root[data-theme="dark"] .paper-site .wire-out::after { border-left-color:#a68abe }
:root[data-theme="dark"] .ranked-action .candidate-id { color:#778ca5 }
:root[data-theme="dark"] .rank-position { color:#838383 }
:root[data-theme="dark"] .paper-site .ranked-action.traced>span { background:#121417; border-color:#7da1cb }
:root[data-theme="dark"] .candidate-trace { color:#a29eac }
:root[data-theme="dark"] .candidate-trace i { color:#63645b }
:root[data-theme="dark"] .candidate-trace .trace-label { color:#989e93 }
:root[data-theme="dark"] .repair-task>div>code { color:#d1d6cc }
:root[data-theme="dark"] .repair-task>div>span { color:#c0c0c0 }
:root[data-theme="dark"] .repair-task>p { color:#a2aa99 }
:root[data-theme="dark"] .repair-scale { color:#98a08f }
:root[data-theme="dark"] .tree-heading>p { color:#98a08e }
:root[data-theme="dark"] .frontier-heading>p { color:#909789 }
:root[data-theme="dark"] .depth-guide { stroke:#2e3523 }
:root[data-theme="dark"] .depth-label { fill:#7b8374 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item.selected { background:#35451a }
:root[data-theme="dark"] .program-code { background:#13130f }
:root[data-theme="dark"] .proposed-repair { border-left:2px solid #9bb1cc; color:#536d8d }
:root[data-theme="dark"] .example-tests button { color:#b1b1b1 }
:root[data-theme="dark"] .example-tests button[aria-pressed=true] { text-decoration-color:#bbc9da }
:root[data-theme="dark"] .test-input { border-top:1px solid #2b2e26 }
:root[data-theme="dark"] .test-input summary { color:#a3ac9a }
:root[data-theme="dark"] .test-input pre { color:#9fa398 }
:root[data-theme="dark"] .sequence-label { color:#74796c }
:root[data-theme="dark"] .tree-canvas { scrollbar-color:#555d4c #161813 }
@media(max-width:600px) {
  :root[data-theme="dark"] .tree-pan-hint { color:#8e9685 }
}
@media(min-width:601px) and (max-width:1000px) {
  :root[data-theme="dark"] .tree-pan-hint { color:#8e9685 }
}
:root[data-theme="dark"] .research-plot text { fill:#d5d5d5 }
:root[data-theme="dark"] .plot-axis { stroke:#c8c8c8 }
:root[data-theme="dark"] .plot-grid { stroke:#232320 }
:root[data-theme="dark"] .plot-tick { fill:#bbbbbb }
:root[data-theme="dark"] .plot-axis-label { fill:#dcdcdc }
:root[data-theme="dark"] .plot-point:hover { filter:drop-shadow(0 0 2px #76b90088) }
:root[data-theme="dark"] .plot-gain { fill:#76b900 }
:root[data-theme="dark"] .plot-better .better-arrow { stroke:#76b900 }
:root[data-theme="dark"] .plot-better .better-text { fill:#c4ed7f }
:root[data-theme="dark"] .budget-label { fill:#c4ed7f; stroke:#1b1b1b }
:root[data-theme="dark"] .bar-error { stroke:#e8e8e8 }
:root[data-theme="dark"] .bar-value { fill:#cecece }
:root[data-theme="dark"] .bar-value.lead { fill:#c4ed7f }
:root[data-theme="dark"] .bar-label { fill:#cecece }
:root[data-theme="dark"] .bar-label.lead { fill:#c4ed7f }
:root[data-theme="dark"] .fit-note rect { fill:#1b1b1b; stroke:#373737 }
:root[data-theme="dark"] .fit-note text { fill:#c8c8c8 }
:root[data-theme="dark"] .family-label { stroke:#1b1b1b }
:root[data-theme="dark"] .paper-site .plot-legend button { color:#cecece }
:root[data-theme="dark"] .paper-site .plot-legend button[data-name=CodeTriage] { color:#c4ed7f }
:root[data-theme="dark"] .legend-static { color:#9f9f9f }
:root[data-theme="dark"] .paper-site .plot-caption { color:#dcdcdc }
:root[data-theme="dark"] .paper-site .plot-subcaption { color:#9e9e9e }
:root[data-theme="dark"] .paper-site .hero-readout { color:#b1b1b1 }
:root[data-theme="dark"] .paper-site .hero-readout>span:first-child { color:#c4ed7f }
:root[data-theme="dark"] .paper-site .hero-readout em { color:#a2a2a2 }
:root[data-theme="dark"] .paper-site .hero-readout strong { color:#dcdcdc }
:root[data-theme="dark"] .paper-site .hero-readout small { color:#838383 }
:root[data-theme="dark"] .paper-site .result-header p { color:#9f9f9f }
:root[data-theme="dark"] .paper-site .cost-summary { color:#c8ccc1 }
:root[data-theme="dark"] .paper-site .cost-summary strong { color:#c4ed7f }
:root[data-theme="dark"] .scaling-footer { border-top:1px solid #20221c }
:root[data-theme="dark"] .paper-site .metric-table caption { color:#b1b1b1 }
:root[data-theme="dark"] .depth-guide { stroke:#20221c }
:root[data-theme="dark"] .depth-label { fill:#72796b }
:root[data-theme="dark"] .repair-edge .tree-link { stroke:#62695b }
:root[data-theme="dark"] .repair-edge.solution .tree-link { stroke:#96a090 }
:root[data-theme="dark"] .repair-edge.pending .tree-link { stroke:#a9bdd4 }
:root[data-theme="dark"] .action-surface { fill:#1b1b1b; stroke:#4b5143 }
:root[data-theme="dark"] .repair-edge.solution .action-surface { stroke:#656e5e }
:root[data-theme="dark"] .repair-edge.pending .action-surface { fill:#111214; stroke:#8fabc9 }
:root[data-theme="dark"] .edge-id { fill:#b4bbb0 }
:root[data-theme="dark"] .edge-verb { fill:#b9c0b5 }
:root[data-theme="dark"] .edge-status { fill:#c4ed7f }
:root[data-theme="dark"] .edge-badge circle { fill:#c3cabe; stroke:#1b1b1b }
:root[data-theme="dark"] .edge-badge text { fill:#1b1b1b }
:root[data-theme="dark"] .repair-edge:hover .action-surface { stroke:#587895 }
:root[data-theme="dark"] .repair-edge.selected .action-surface,
:root[data-theme="dark"] .repair-edge:focus-visible .action-surface { fill:#35451a }
:root[data-theme="dark"] .repair-edge.selected .edge-id,
:root[data-theme="dark"] .repair-edge.selected .edge-verb { fill:#bae687 }
:root[data-theme="dark"] .repair-edge.selected .edge-badge circle { fill:#c4ed7f }
:root[data-theme="dark"] .repair-edge.next-action .action-surface { fill:#303f18 }
:root[data-theme="dark"] .paper-site .program-node .program-card { fill:#1b1b1b }
:root[data-theme="dark"] .paper-site .program-node.selected .program-card,
:root[data-theme="dark"] .program-node:hover .program-card { fill:#35441a }
:root[data-theme="dark"] .node-ring-bg { stroke:#2c2f26 }
:root[data-theme="dark"] .node-id { fill:#d1d5cd }
:root[data-theme="dark"] .node-tests { fill:#a0aa97 }
:root[data-theme="dark"] .node-terminal { fill:#c4ed7f }
:root[data-theme="dark"] .node-fix circle { stroke:#1b1b1b }
:root[data-theme="dark"] .node-fix path { stroke:#1b1b1b }
:root[data-theme="dark"] .tree-key .key-expanded { border-color:#4b5143; background:#1b1b1b }
:root[data-theme="dark"] .tree-key .key-expanded b { background:#c3cabe; color:#1b1b1b }
:root[data-theme="dark"] .tree-key .key-proposed { border:1px dashed #8fabc9; background:#111214 }
:root[data-theme="dark"] .tree-key .key-selected { background:#35451a }
:root[data-theme="dark"] .tree-key .key-pass-rate { border-right-color:#2c2f26 }
:root[data-theme="dark"] .tree-key .key-fix::after { color:#1b1b1b }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item { border-color:#25292d }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item .frontier-label { color:#a6b3c7 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item small { color:#6f7882 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item.related { border-left:2px solid #7599c3 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item.selected { background:#35451a }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item.selected em { color:#bae687 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item:hover { background:#121416; border-color:#9bb4d3 }
:root[data-theme="dark"] .paper-site .feedback-card { border-color:#d9c9c6; background:#1d1a19 }
:root[data-theme="dark"] .feedback-card p { color:#c8c8c8 }
:root[data-theme="dark"] .feedback-card p+p { color:#c8c8c8 }
:root[data-theme="dark"] .feedback-card .feedback-meta { color:#82877c; border-top:1px solid #342721 }
:root[data-theme="dark"] .tag-feedback { color:#b3261e }
:root[data-theme="dark"] .tag-diagnosis { color:#ecc577 }
:root[data-theme="dark"] .feedback-card code { color:#b3261e }
:root[data-theme="dark"] .paper-site .action-card { border-color:#18232f; background:#191a1d }
:root[data-theme="dark"] .paper-site .action-card>.candidate-copy code { color:#9fb1ca }
:root[data-theme="dark"] .paper-site .action-card.traced { background:#1a2e45; border-color:#5f87b8 }
:root[data-theme="dark"] .paper-site .model-box { background:#100f12 }
:root[data-theme="dark"] .paper-site .model-head::before { background:#a68abe }
:root[data-theme="dark"] .paper-site .model-head::after { background:#a68abe }
:root[data-theme="dark"] .paper-site .features { border-color:#a68abe; color:#a088cb }
:root[data-theme="dark"] .paper-site .trace-prediction { border-top:1px solid #281a3b }
:root[data-theme="dark"] .paper-site .flow-wire { background:#7d8ea8 }
:root[data-theme="dark"] .paper-site .wire-in::after { border-left-color:#7d8ea8 }
:root[data-theme="dark"] .paper-site .wire-out { background:#8a76a8 }
:root[data-theme="dark"] .paper-site .wire-out::after { border-left-color:#8a76a8 }
:root[data-theme="dark"] .paper-site .ranking-box { border:1px solid #cfdcc0; background:#121310 }
:root[data-theme="dark"] .paper-site .ranking-box h3 { color:#c2cabe; border-bottom:1px solid #29311e }
:root[data-theme="dark"] .paper-site .ranked-action>span { border-color:#2f332a; background:#1b1b1b; color:#c1c7be }
:root[data-theme="dark"] .paper-site .ranked-action b { color:#aeb3a7 }
:root[data-theme="dark"] .paper-site .ranked-action.top>span { background:#334319; color:#bde78f }
:root[data-theme="dark"] .paper-site .ranked-action.top .candidate-id { color:#c4ed7f }
:root[data-theme="dark"] .paper-site .ranked-action.top b { color:#c4ed7f }
:root[data-theme="dark"] .paper-site .ranked-action.traced:not(.top)>span { background:#1a2e45; border-color:#5f87b8 }
:root[data-theme="dark"] .paper-site .chosen-edit { color:#c4ed7f }
:root[data-theme="dark"] .arch text { fill:#c8c8c8 }
:root[data-theme="dark"] .arch .arch-text { fill:#c6c6c6 }
:root[data-theme="dark"] .arch .purple { fill:#9d84d5 }
:root[data-theme="dark"] .arch .green { fill:#c4ed7f }
:root[data-theme="dark"] .arch .arch-small { fill:#909090 }
:root[data-theme="dark"] .arch .arch-tiny { fill:#9f9f9f }
:root[data-theme="dark"] .arch .arch-mono { fill:#adadad }
:root[data-theme="dark"] .arch .arch-mono.dark { fill:#c8c8c8 }
:root[data-theme="dark"] .arch .arch-math { fill:#cecece }
:root[data-theme="dark"] .arch .arch-h-dim { fill:#6a5a86 }
:root[data-theme="dark"] .arch .arch-score { fill:#bde78f }
:root[data-theme="dark"] .arch .arch-flow { stroke:#8a7aa6 }
:root[data-theme="dark"] .arch .arch-axis { stroke:#494949 }
:root[data-theme="dark"] .arch .arch-plus circle { fill:#1b1b1b }
:root[data-theme="dark"] .arch .arch-backbone-box { fill:#100f12 }
:root[data-theme="dark"] .arch .arch-lora-badge { fill:#5f3dc4; stroke:#1b1b1b }
:root[data-theme="dark"] .arch .arch-lora-badge-text { fill:#1b1b1b }
:root[data-theme="dark"] .arch .arch-state { fill:#1e1531 }
:root[data-theme="dark"] .arch .arch-features-box { fill:#1b1b1b; stroke:#a68abe }
:root[data-theme="dark"] .arch .arch-head-box { fill:#1b1b1b }
:root[data-theme="dark"] .arch .arch-bin.beyond { fill:#d7e8b6 }
:root[data-theme="dark"] .arch .arch-bracket { stroke:#76b900 }
:root[data-theme="dark"] .arch .arch-score-box { fill:#334319 }
:root[data-theme="dark"] .arch .arch-con-feedback { stroke:#c99a95 }
:root[data-theme="dark"] .arch .arch-con-action { stroke:#8fb0d6 }
:root[data-theme="dark"] .arch .arch-con-out { stroke:#76b900 }
:root[data-theme="dark"] .repair-stub .tree-link { stroke:#a9bdd4 }
:root[data-theme="dark"] .stub-pill { fill:#111214; stroke:#8fabc9 }
:root[data-theme="dark"] .repair-stub:hover .stub-pill,
:root[data-theme="dark"] .repair-stub.related .stub-pill { stroke:#587895; fill:#1a2e45 }
:root[data-theme="dark"] .repair-stub.selected .stub-pill,
:root[data-theme="dark"] .repair-stub:focus-visible .stub-pill { fill:#35451a }
:root[data-theme="dark"] .repair-stub.selected .stub-text { fill:#bae687 }
:root[data-theme="dark"] .tree-key .key-pill { border:1px dashed #8fabc9; background:#111214 }
:root[data-theme="dark"] .arch .arch-math { fill:#cecece }
:root[data-theme="dark"] .arch .arch-math.green { fill:#c4ed7f }
:root[data-theme="dark"] .arch .arch-sigma { fill:#cecece }
:root[data-theme="dark"] .arch .arch-fraction-bar { stroke:#cecece }
:root[data-theme="dark"] .cost-legend { color:#cecece }
:root[data-theme="dark"] .cost-key small { color:#939393 }
:root[data-theme="dark"] .cost-key i { box-shadow:0 0 0 1px #353535 }
:root[data-theme="dark"] .hatch-diag { background-image:repeating-linear-gradient(45deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-backdiag { background-image:repeating-linear-gradient(-45deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-vertical { background-image:repeating-linear-gradient(90deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-horizontal { background-image:repeating-linear-gradient(0deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-cross { background-image:repeating-linear-gradient(45deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px),repeating-linear-gradient(-45deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-grid { background-image:repeating-linear-gradient(90deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px),repeating-linear-gradient(0deg,rgba(27,27,27,0.85) 0 1px,transparent 1px 4px) }
:root[data-theme="dark"] .hatch-dots { background-image:radial-gradient(circle,rgba(27,27,27,0.9) .9px,transparent 1.1px) }
:root[data-theme="dark"] .method-demo[data-stage="1"] .arch-backbone-box { fill:#171519 }
:root[data-theme="dark"] .method-demo[data-stage="2"] .arch-features-box { fill:#121014 }
:root[data-theme="dark"] .method-demo[data-stage="3"] .arch-head-box { fill:#171519 }
:root[data-theme="dark"] .bar-break { fill:#1b1b1b }
:root[data-theme="dark"] .fp-edges line { stroke:#2c2f27 }
:root[data-theme="dark"] .fp-node { fill:#363a2f }
:root[data-theme="dark"] .fp-node.fix { fill:#1b1b1b }
:root[data-theme="dark"] .fp-node.baseline { fill:#96a090 }
:root[data-theme="dark"] .fp-node.baseline.fix { fill:#96a090 }
:root[data-theme="dark"] .fp-node.model { stroke:#c4ed7f }
:root[data-theme="dark"] .fp-node.model.baseline { fill:#c4ed7f }
:root[data-theme="dark"] .fp-node.reached { stroke:#bde78f }
:root[data-theme="dark"] .footprint-note { color:#bcc0b6 }
:root[data-theme="dark"] .footprint-note .fp-model { color:#c4ed7f }
:root[data-theme="dark"] .footprint-note .fp-base { color:#b9c1b4 }
:root[data-theme="dark"] .fp-chip { border:1px solid #363a30; background:#1b1b1b; color:#bcc0b6 }
:root[data-theme="dark"] .fp-chip b { color:#dcdcdc }
:root[data-theme="dark"] .fp-chip small { color:#81877b }
:root[data-theme="dark"] .fp-chip:hover { border-color:#798274 }
:root[data-theme="dark"] .fp-chip[aria-pressed=true] { background:#b9c1b4; border-color:#b9c1b4; color:#1b1b1b }
:root[data-theme="dark"] .fp-chip[aria-pressed=true] b,
:root[data-theme="dark"] .fp-chip[aria-pressed=true] small { color:#1b1b1b }
:root[data-theme="dark"] .fp-chip-model { background:#334319; color:#bae687 }
:root[data-theme="dark"] .fp-chip-model b { color:#bae687 }
:root[data-theme="dark"] .fp-chip-static { color:#81877b }
:root[data-theme="dark"] .frontier-score { color:#b9c1b4 }
:root[data-theme="dark"] .paper-site .search-scene .frontier-item.next .frontier-score { color:#c4ed7f }
:root[data-theme="dark"] .edge-score { fill:#9ca396 }
:root[data-theme="dark"] .repair-edge.pending .edge-score { fill:#6b86a6 }
:root[data-theme="dark"] .repair-edge.selected .edge-score { fill:#bae687 }
:root[data-theme="dark"] .node-timeout { fill:#a24a37 }
:root[data-theme="dark"] .program-node.is-timeout .node-tests { fill:#a24a37 }
:root[data-theme="dark"] .program-node.is-timeout .node-ring-bg { stroke:#3a1b16 }
:root[data-theme="dark"] .tree-key .key-timeout { border:3px solid #3a1b16 }
:root[data-theme="dark"] .line-count { color:#72796b }
:root[data-theme="dark"] .proposed-repair p { color:#aab1b9 }
:root[data-theme="dark"] .proposed-repair p b { color:#5d7390 }
:root[data-theme="dark"] .proposed-repair .oracle { color:#9ea29a; border-top:1px dashed #292e33 }
:root[data-theme="dark"] .test-unknown td { color:#727272 }
:root[data-theme="dark"] .test-none { color:#a24a37 }
:root[data-theme="dark"] .timeout-note { color:#cb948a }
:root[data-theme="dark"] .feedback-raw { border-top:1px solid #2b2e26 }
:root[data-theme="dark"] .feedback-raw summary,
:root[data-theme="dark"] .diagnosis-full summary { color:#a3ac9a }
:root[data-theme="dark"] .feedback-raw pre,
:root[data-theme="dark"] .diagnosis-full pre { color:#b1b1b1; background:#121410; border:1px solid #2b2e25 }
:root[data-theme="dark"] .diagnosis-head { color:#bcc0b6 }
:root[data-theme="dark"] .method-subset-note { color:#979d91 }
:root[data-theme="dark"] .fp-depth { fill:#72796b }
:root[data-theme="dark"] .stub-pill { fill:#111214; stroke:#8fabc9 }
:root[data-theme="dark"] .program-node:hover .stub-pill,
:root[data-theme="dark"] .repair-stub.related .stub-pill { stroke:#587895; fill:#1a2e45 }
:root[data-theme="dark"] .repair-stub.selected .stub-pill { fill:#35451a }
:root[data-theme="dark"] .repair-stub.selected .stub-text { fill:#bae687 }
:root[data-theme="dark"] .tree-key .key-badge { border:1px dashed #8fabc9; background:#111214 }
:root[data-theme="dark"] .fp-node.selected { fill:#b9c1b4 }
:root[data-theme="dark"] .fp-node.selected.fix { fill:#b9c1b4 }
:root[data-theme="dark"] .model-selected .fp-node.selected { stroke:#c4ed7f }
:root[data-theme="dark"] .fp-node.reached { stroke:#bde78f }
:root[data-theme="dark"] .fp-chip-model[aria-pressed=true] { background:#c4ed7f; border-color:#c4ed7f; color:#1b1b1b }
:root[data-theme="dark"] .fp-chip-model[aria-pressed=true] b { color:#1b1b1b }
:root[data-theme="dark"] .fp-order-legend { color:#91958b }
:root[data-theme="dark"] .fp-order-legend>i { background:linear-gradient(to right,var(--ramp-from,#414141),var(--ramp-to,#cecece)) }
:root[data-theme="dark"] .fp-legend-fix i { background:#1b1b1b }
:root[data-theme="dark"] .ablation-table th.axis { color:#c2cabe }
:root[data-theme="dark"] .ablation-table td.variant { color:#cecece }
:root[data-theme="dark"] .ablation-table td.num .se { color:#818979 }
:root[data-theme="dark"] .ablation-table tr.block-start th,
:root[data-theme="dark"] .ablation-table tr.block-start td { border-top:1px solid #3e4438 }
:root[data-theme="dark"] .ablation-table td.delta .dash { color:#737a6b }
:root[data-theme="dark"] .delta-bar { background:#20221c }
:root[data-theme="dark"] .delta-bar i { background:#d5a9a2 }
:root[data-theme="dark"] .paper-site .ablation-table tbody tr:hover { background:#141511 }
:root[data-theme="dark"] .rules-note { color:#a7ada2 }
@media (max-width:640px) {
  :root[data-theme="dark"] .ablation-table tr.axis-row th { color:#c2cabe; border-top:1px solid #3e4438 }
}
:root[data-theme="dark"] .paper-authors sup { color:#91968a }
:root[data-theme="dark"] .paper-affiliations { color:#b1b1b1 }
:root[data-theme="dark"] .paper-affiliations sup { color:#91968a }
:root[data-theme="dark"] .paper-buttons a,
:root[data-theme="dark"] .paper-buttons span { border:1px solid #3e4438; background:#1b1b1b }
:root[data-theme="dark"] .paper-buttons .pending { color:#818979 }
:root[data-theme="dark"] .paper-buttons .pending small { color:#72796b }
:root[data-theme="dark"] .citation-box { background:#131411 }
:root[data-theme="dark"] .citation-box pre { color:#cecece }
:root[data-theme="dark"] .citation-box .copy-button { border:1px solid #3e4438; background:#1b1b1b }
:root[data-theme="dark"] .reference-list { color:#cecece }
:root[data-theme="dark"] .reference-list li::before { color:#91968a }
:root[data-theme="dark"] .reference-list li:target { background:#35441a; outline:6px solid #35441a }
:root[data-theme="dark"] .prompt-details summary { text-decoration-color:#c9d7b6 }
:root[data-theme="dark"] .prompt-details summary::after { color:#818979 }
:root[data-theme="dark"] .prompt-details pre { background:#131411; color:#cecece }
:root[data-theme="dark"] .release-note { color:#979d91 }
:root[data-theme="dark"] svg [fill="#0060c7"] { fill:#0060c7 }
:root[data-theme="dark"] svg [fill="#3b3b3b"] { fill:#c8c8c8 }
:root[data-theme="dark"] svg [fill="#4a4a4a"] { fill:#bbbbbb }
:root[data-theme="dark"] svg [fill="#5d5d5d"] { fill:#aaaaaa }
:root[data-theme="dark"] svg [fill="#6f7a68"] { fill:#96a090 }
:root[data-theme="dark"] svg [fill="#767676"] { fill:#949494 }
:root[data-theme="dark"] svg [fill="#76b900"] { fill:#76b900 }
:root[data-theme="dark"] svg [fill="#8a7aa6"] { fill:#8a7aa6 }
:root[data-theme="dark"] svg [fill="#8f8f8f"] { fill:#7c7c7c }
:root[data-theme="dark"] svg [fill="#8f978a"] { fill:#798274 }
:root[data-theme="dark"] svg [fill="#999"] { fill:#737373 }
:root[data-theme="dark"] svg [fill="#9a6700"] { fill:#ecc577 }
:root[data-theme="dark"] svg [fill="#9a9aa8"] { fill:#636373 }
:root[data-theme="dark"] svg [fill="#a8a8a8"] { fill:#646464 }
:root[data-theme="dark"] svg [fill="#b3261e"] { fill:#b3261e }
:root[data-theme="dark"] svg [fill="#b3b3b3"] { fill:#595959 }
:root[data-theme="dark"] svg [fill="#b9b1c4"] { fill:#514a5a }
:root[data-theme="dark"] svg [fill="#c2c2c2"] { fill:#4b4b4b }
:root[data-theme="dark"] svg [fill="#dadada"] { fill:#333333 }
:root[data-theme="dark"] svg [fill="#e8f3fc"] { fill:#193043 }
:root[data-theme="dark"] svg [fill="#fdf0ef"] { fill:#181414 }
:root[data-theme="dark"] svg [fill="#fdf3d7"] { fill:#3f3418 }
:root[data-theme="dark"] svg [fill="#fff"] { fill:#1b1b1b }
:root[data-theme="dark"] svg [stroke="#0060c7"] { stroke:#0060c7 }
:root[data-theme="dark"] svg [stroke="#3b3b3b"] { stroke:#c8c8c8 }
:root[data-theme="dark"] svg [stroke="#4a4a4a"] { stroke:#bbbbbb }
:root[data-theme="dark"] svg [stroke="#5d5d5d"] { stroke:#aaaaaa }
:root[data-theme="dark"] svg [stroke="#6f7a68"] { stroke:#96a090 }
:root[data-theme="dark"] svg [stroke="#767676"] { stroke:#949494 }
:root[data-theme="dark"] svg [stroke="#76b900"] { stroke:#76b900 }
:root[data-theme="dark"] svg [stroke="#8a7aa6"] { stroke:#8a7aa6 }
:root[data-theme="dark"] svg [stroke="#8f8f8f"] { stroke:#7c7c7c }
:root[data-theme="dark"] svg [stroke="#8f978a"] { stroke:#798274 }
:root[data-theme="dark"] svg [stroke="#999"] { stroke:#737373 }
:root[data-theme="dark"] svg [stroke="#9a6700"] { stroke:#ecc577 }
:root[data-theme="dark"] svg [stroke="#9a9aa8"] { stroke:#636373 }
:root[data-theme="dark"] svg [stroke="#a8a8a8"] { stroke:#646464 }
:root[data-theme="dark"] svg [stroke="#b3261e"] { stroke:#b3261e }
:root[data-theme="dark"] svg [stroke="#b3b3b3"] { stroke:#595959 }
:root[data-theme="dark"] svg [stroke="#b9b1c4"] { stroke:#514a5a }
:root[data-theme="dark"] svg [stroke="#c2c2c2"] { stroke:#4b4b4b }
:root[data-theme="dark"] svg [stroke="#dadada"] { stroke:#333333 }
:root[data-theme="dark"] svg [stroke="#e8f3fc"] { stroke:#193043 }
:root[data-theme="dark"] svg [stroke="#fdf0ef"] { stroke:#181414 }
:root[data-theme="dark"] svg [stroke="#fdf3d7"] { stroke:#3f3418 }
:root[data-theme="dark"] svg [stroke="#fff"] { stroke:#1b1b1b }
/* ---- end of dark theme ---- */