/* Focused article figures. Data inks and all spacing use the site's tokens. */
.nf { font-family: var(--font-sans); font-size: 12.5px; line-height: 1.55; }
/* data stays mono: package names, sizes, axis numbers, and the controls that hold them */
.nf-row-head, .nf-axis, .nf-numbers b, .nf-trace, .nf-selected, .nf button, .nf select, .nf input { font-family: var(--font-mono); font-size: 11px; }
.nf p, .nf ul { margin: 0; }
.nf button, .nf select, .nf input { color: var(--ink); }
.nf button, .nf select { padding: var(--sp-2) var(--sp-3); border: 0; border-radius: 0; background: var(--paper); cursor: pointer; }
.nf button:hover, .nf button[aria-pressed=true] { background: var(--cyan); color: var(--paper); }
.nf-controls, .nf-targets { display: flex; flex-wrap: wrap; align-items: center; gap: var(--sp-2); margin-bottom: var(--sp-4); }
.nf-controls label { display: flex; align-items: center; flex-wrap: wrap; flex: 1 1 auto; gap: var(--sp-3); }
.nf-controls input[type=range] { flex: 1 1 120px; max-width: 280px; min-width: 80px; accent-color: var(--cyan); cursor: pointer; }
.nf-targets button { display: inline-flex; gap: var(--sp-3); }
.nf-row { margin: var(--sp-4) 0 var(--sp-5); }
.nf-row-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: var(--sp-2); margin-bottom: var(--sp-2); }
.nf-row-head strong { font-weight: 600; }
.nf-bar { display: flex; height: 22px; background: transparent; }
.nf-bar > span { display: block; height: 100%; }
.nf-shared { background: var(--cyan); }
.nf-unique { background: var(--orange); }
.nf-key { display: flex; flex-wrap: wrap; gap: var(--sp-4); margin: var(--sp-4) 0; }
.nf-key span { display: inline-flex; align-items: center; gap: var(--sp-2); }
.nf-key i { display: inline-block; width: 12px; height: 12px; }
.nf-numbers { display: flex; flex-wrap: wrap; gap: var(--sp-5); margin-top: var(--sp-5); }
.nf-numbers b { display: block; font-size: 20px; color: var(--cyan); font-weight: 600; }
.nf-numbers span { display: block; }
.nf-note { margin-top: var(--sp-4) !important; font-size: 10px; }
.nf-incremental { display: flex; flex-wrap: wrap; gap: var(--sp-4); margin-top: var(--sp-4); }
.nf-selected { font-size: 10px; }
.nf-incremental b { font-weight: 600; }
.nf-axis { display: flex; justify-content: space-between; border-top: 2px solid var(--ink); padding-top: var(--sp-1); margin-top: var(--sp-4); font-size: 10px; }
.nf-proof-input { text-align: center; margin-bottom: var(--sp-4); }
.nf-proof-lanes { display: grid; grid-template-columns: 1fr 1fr; gap: var(--sp-5); }
.nf-proof-lane { border: 2.5px solid var(--ink); padding: var(--sp-4); }
.nf-proof-lane h3 { font: 600 13px var(--font-sans); margin: 0 0 var(--sp-2); }
.nf-proof-lane p { font-size: 10px; }
.nf .nf-trace { list-style: none; padding: 0; display: grid; gap: var(--sp-2); margin-top: var(--sp-4) !important; }
.nf-trace li { padding: var(--sp-2) var(--sp-3); background: var(--paper); display: flex; justify-content: space-between; }
.nf-trace li[data-emitted=true] { background: var(--cyan); color: var(--paper); }
.nf-trace li span { font-size: 10px; }
.nf-trace li[data-emitted=false] span { visibility: hidden; }
.nf-proof-state { min-height: 3.2em; margin: var(--sp-4) 0 !important; }
.nf-obligations { display: grid; grid-template-columns: repeat(3, 1fr); gap: var(--sp-4); margin: var(--sp-5) 0; }
.nf-obligations b { display: block; margin-bottom: var(--sp-2); }
.nf-obligations span { display: block; font-size: 10px; }
.nix-details { margin: var(--sp-6) 0; }
.nix-details > summary { font-weight: 600; color: var(--accent); cursor: pointer; }
.nix-details > div { padding-top: var(--sp-4); }
.nix-details .roadmap-figure { margin-top: var(--sp-4); }
@media (max-width: 640px) {
  .nf-row-head { display: block; }
  .nf-row-head > span { display: block; margin-top: var(--sp-1); }
  .nf-proof-lanes { gap: var(--sp-2); }
  .nf-proof-lane { padding: var(--sp-2); min-width: 0; }
  .nf-trace li { padding: var(--sp-2); }
  .nf-trace li span { display: none; }
  .nf-obligations { grid-template-columns: 1fr; }
  .nf-obligations b { margin-bottom: 0; }
}

/* Give the article room to borrow the dashboard's exploratory voice. */
.nf .nf-intro { font: 600 clamp(18px, 3vw, 25px)/1.25 var(--font-sans); letter-spacing: -.025em; margin-bottom: var(--sp-5); max-width: 32ch; }
.nf input[type=search] { width: min(100%, 280px); min-width: 0; padding: var(--sp-2) var(--sp-3); background: var(--paper); border: 1px solid var(--ink); border-radius: 3px; }
.nf button, .nf select { border-radius: 3px; }
.nf button:focus-visible, .nf select:focus-visible, .nf input:focus-visible, .nf summary:focus-visible { outline: 2px solid var(--ink); outline-offset: 3px; }
.nf button:disabled { cursor: default; opacity: .55; }
.nf select { max-width: 100%; }
.nf .nf-kicker { display: block; font-family: var(--font-sans); font-size: 12px; font-weight: 600; letter-spacing: 0; margin-bottom: var(--sp-2); }
.nf-addition { background: var(--paper); border-left: 4px solid var(--orange); padding: var(--sp-4); margin-top: var(--sp-5); display: grid; grid-template-columns: 1fr auto; gap: var(--sp-1) var(--sp-3); }
.nf-addition:empty { display: none; }
.nf-addition .nf-kicker, .nf-addition > span:last-child { grid-column: 1/-1; }
.nf-addition > strong, .nf-addition > b { font: 600 20px/1.4 var(--font-sans); }
.nf-addition > b { color: var(--orange); }
.nf-options { margin-top: var(--sp-5); }
.nf-options > summary { cursor: pointer; font-weight: 600; }
.nf-options[open] > summary { margin-bottom: var(--sp-4); }
.nf-picks { display: flex; flex-wrap: wrap; gap: var(--sp-2); margin-bottom: var(--sp-4); }
.nf-reach-plot { position: relative; }
.nf-reach-plot canvas { display: block; width: 100%; }
.nf-reach-plot svg { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; }
.nf svg { display: block; width: 100%; overflow: visible; }
.nf svg text { font: 10px var(--font-mono); fill: var(--ink); }
.nf-reach-plot svg text { paint-order: stroke; stroke: var(--ground); stroke-width: 3px; stroke-linejoin: round; }
.nf-grid { fill: none; stroke: var(--ink); stroke-width: .5; stroke-dasharray: 2 5; opacity: .25; }
.nf-reach-detail { padding: var(--sp-4); background: var(--paper); margin-top: var(--sp-4); }
.nf-reach-detail h3 { font: 600 22px/1.2 var(--font-sans); margin: 0; overflow-wrap: anywhere; }
.nf-reach-detail .nf-numbers { margin: var(--sp-3) 0; }
.nf-progress-plot { margin-top: var(--sp-4); cursor: crosshair; }
.nf-curve { fill: none; stroke-width: 2.5; stroke-linejoin: round; }
.nf-curve-0 { stroke: var(--cyan); }
.nf-curve-1 { stroke: var(--orange); stroke-dasharray: 7 3; }
.nf-dot-0 { fill: var(--cyan); }
.nf-dot-1 { fill: var(--orange); }
.nf-cursor { fill: none; stroke: var(--ink); stroke-width: 1; stroke-dasharray: 3 3; }
.nf-scenario { font-size: 11px; }
.nf-milestones { margin-top: var(--sp-5); }
.nf-milestone { display: flex; justify-content: space-between; gap: var(--sp-3); padding: var(--sp-2) 0; border-bottom: .5px solid var(--ink); }
.nf-milestone b { overflow-wrap: anywhere; min-width: 0; }
.nf-milestone span { text-align: right; }
.nf-milestone[data-complete=true] span { color: var(--cyan); font-weight: 600; }
.nf-percentiles { display: grid; grid-template-columns: repeat(4, 1fr); gap: var(--sp-4); margin: var(--sp-5) 0; }
.nf-percentiles b { display: block; font: 600 22px var(--font-sans); margin: var(--sp-2) 0; }
.nf-percent-bar { height: 8px; background: var(--cyan); }
@media (max-width: 640px) {
  .nf-percentiles { grid-template-columns: repeat(2, 1fr); }
  .nf-addition { grid-template-columns: 1fr; }
  .nf-addition .nf-kicker, .nf-addition > span:last-child { grid-column: auto; }
  .nf-milestone { font-size: 10px; }
}
.nf-budget-plot { margin-top: var(--sp-4); }   /* no crosshair (Maggie, 2026-09-28) */
.nf-budget-key { display: flex; flex-wrap: wrap; gap: var(--sp-2) var(--sp-4); margin: var(--sp-3) 0 var(--sp-5); }
.nf-budget-key span { display: inline-flex; align-items: center; gap: var(--sp-2); }
.nf-budget-key i { display: inline-block; width: 12px; height: 12px; border: .5px solid var(--ink); }

.nf-options > .nf-controls { margin:var(--sp-5) 0 var(--sp-3); }
.nf-incremental { padding-top:var(--sp-3); border-top:.5px solid var(--ink); }

.nf[data-nix-figure=budget] .nf-intro { font-size:clamp(24px,4vw,32px); }
.nf-budget-contour { fill:none; stroke:var(--ink); stroke-width:1.25; }
.nf svg .nf-budget-contour-label { font-size:11px; font-weight:600; paint-order:stroke; stroke:var(--paper); stroke-width:4px; stroke-linejoin:round; }

/* Keep the scenario controls together and the methods available on demand. */
.nf .nf-intro, .nf[data-nix-figure=budget] .nf-intro { font-size:clamp(20px,3vw,25px); margin-bottom:var(--sp-3); }
.nf .nf-settings { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:var(--sp-4) var(--sp-6); margin:var(--sp-4) 0; }
.nf-settings label { display:grid; grid-template-columns:minmax(0,1fr) auto; gap:var(--sp-2); min-width:0; }
.nf-settings label > span { grid-column:1; grid-row:1; }
.nf-settings output { grid-column:2; grid-row:1; text-align:right; }
.nf-settings input[type=range], .nf-settings select { grid-column:1/-1; grid-row:2; width:100%; max-width:none; margin:0; min-width:0; min-height:36px; }
.nf-method { margin-top:var(--sp-4); font-size:10px; }
.nf-method summary { cursor:pointer; color:var(--brand); padding:var(--sp-2) 0; }
.nf-method p { margin-top:var(--sp-2); max-width:80ch; }
.nf-portfolio-plot { margin:var(--sp-4) 0; }
.prose .nf .nf-portfolio-table { display:table; width:100%; min-width:0; border-collapse:collapse; font:10px/1.6 var(--font-mono); margin:var(--sp-3) 0; }
.nf-portfolio-table th, .nf-portfolio-table td { text-align:right; padding:var(--sp-2) var(--sp-1); border:0; border-bottom:.5px solid color-mix(in srgb,var(--ink) 12%,transparent); }
.nf-portfolio-table th:first-child { text-align:left; }
.nf-portfolio-table th { font-weight:500; }
.prose .nf-portfolio-table th { background:transparent; color:var(--ink); text-transform:none; letter-spacing:0; }
.nf-grid { opacity:.16; }
.nf-milestone { border-bottom:0; }
.nf-milestone + .nf-milestone { border-top:.5px solid color-mix(in srgb,var(--ink) 12%,transparent); }
@media(max-width:480px) {
  .nf .nf-settings { gap:var(--sp-3); }
  .nf-settings label { grid-template-columns:minmax(0,1fr); }
  .nf-settings output { grid-column:1; grid-row:2; text-align:left; }
  .nf-settings input[type=range] { grid-row:3; }
}

/* White analysis plates and readable controls, drawn from the original gallery. */
.nix-figure .stamp { background:var(--ground); }   /* the figure ground, like every other figure */
.nf .nf-intro { font-family:var(--font-sans); }
.nf .nf-controls, .nf .nf-settings, .nf .nf-targets { font:12px/1.6 var(--font-sans); }
.nf button, .nf select { min-height:36px; border-radius:0; background:var(--ground); }
.nf .nf-settings { padding:var(--sp-3) 0; border-top:.6px solid var(--ink); border-bottom:.6px solid var(--ink); }
.nf .nf-settings output { font-family:var(--font-mono); }
.nf-numbers { gap:var(--sp-6); padding:var(--sp-4) 0; }
.nf-numbers b { font:500 28px/1.4 var(--font-mono); }
.nf-numbers span { font:12px/1.6 var(--font-sans); }
.nf-method { font:12px/1.6 var(--font-sans); }
.nf-addition { background:var(--ground); }
.nix-details { border-top:.6px solid var(--ink); border-bottom:.6px solid var(--ink); padding:var(--sp-4) 0; }
.nix-details > summary { color:var(--brand); font:600 14px/1.6 var(--font-sans); }
.nix-details > div > p { font-size:13px; }
.nix-details .nix-inline { margin:var(--sp-3) 0 0; border:0; padding:0; }

.nf-presets { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:var(--sp-2); margin:var(--sp-4) 0; }
.nf-presets button { padding:var(--sp-3); text-align:left; font:12px/1.5 var(--font-sans); }
.nf-presets strong, .nf-presets span { display:block; }
.nf-presets span { font:10px/1.6 var(--font-mono); margin-top:var(--sp-1); }
.nf-presets button[aria-pressed=true] strong, .nf-presets button:hover strong { color:inherit; }
@media(max-width:480px) {
  .nf-presets { grid-template-columns:1fr; }
  .nf-presets button { display:flex; align-items:center; justify-content:space-between; gap:var(--sp-2); }
  .nf-presets span { margin:0; }
}

/* Fig. 2 (the budget map) in the block-print scheme: a figure-sized sans title over a mono
   subtitle; the presets as outlined chips, the chosen one filled; ink sliders; mono legend
   blocks; no rules around the settings; the numbers as mono in the brand ink. */
.nf[data-nix-figure=budget] .nf-intro, .nf .nf-intro { font: 600 15px/1.35 var(--font-sans); letter-spacing: 0; margin: 0 0 var(--sp-1); max-width: none; }
.nf[data-nix-figure=budget] .nf-scenario { font: 11px/1.6 var(--font-mono); margin: 0 0 var(--sp-3); }
.nf-presets { display: flex; flex-wrap: wrap; gap: var(--sp-2); margin: 0 0 var(--sp-2); }
.nf-presets button {
  display: grid; gap: 2px; min-height: 0; padding: 6px 10px; border: 1.5px solid var(--ink); border-radius: 0;   /* spacing-exempt: chip */
  background: var(--ground); color: var(--ink); text-align: left; cursor: pointer; flex: 0 1 auto;
}
.nf-presets button strong { font: 600 12px/1.2 var(--font-sans); }
.nf-presets button span { font: 10px/1.4 var(--font-mono); }
.nf-presets button:hover { color: var(--brand); border-color: var(--brand); background: var(--ground); }
.nf-presets button[aria-pressed=true] { background: var(--brand); border-color: var(--brand); color: var(--paper); }
.nf-presets button[aria-pressed=true]:hover { color: var(--paper); }
.nf-budget-key { font: 600 11px var(--font-mono); text-transform: uppercase; letter-spacing: .04em; margin: var(--sp-3) 0 var(--sp-4); }   /* the legend ladder shared with Fig. 1b (nix-shared.css) */
.nf-budget-key i { width: 10px; height: 10px; border: 0.6px solid var(--ink); }
.nf .nf-settings { border: 0; padding: 0; margin: var(--sp-2) 0 0; }
.nf .nf-settings label > span { font: 600 12px/1.4 var(--font-sans); }
.nf .nf-settings output { font: 600 11px var(--font-mono); color: var(--brand); }
.nf input[type=range] { -webkit-appearance: none; appearance: none; height: 20px; min-height: 20px; margin: 0; background: transparent; accent-color: var(--ink); cursor: pointer; }
.nf input[type=range]:focus { outline: none; }
.nf input[type=range]::-webkit-slider-runnable-track { height: 2px; background: var(--ink); }
.nf input[type=range]::-webkit-slider-thumb { -webkit-appearance: none; appearance: none; width: 12px; height: 12px; margin-top: -5px; background: var(--ink); border: 0; border-radius: 0; }
.nf input[type=range]:hover::-webkit-slider-thumb, .nf input[type=range]:focus-visible::-webkit-slider-thumb { background: var(--brand); }
.nf input[type=range]::-moz-range-track { height: 2px; background: var(--ink); }
.nf input[type=range]::-moz-range-thumb { width: 12px; height: 12px; background: var(--ink); border: 0; border-radius: 0; }
.nf-numbers { gap: var(--sp-7); padding: var(--sp-3) 0 0; }
.nf-numbers b { font: 600 22px/1.3 var(--font-mono); color: var(--brand); }
.nf-numbers span { font: 11px/1.5 var(--font-sans); }
.nf-note, .nf-method { font: 11px/1.6 var(--font-mono); }
.nf svg text { font-family: var(--font-mono); }
/* the frontier lines stay ink; their labels wear a ground halo */
.nf svg .nf-budget-contour-label { stroke: var(--ground); }
.nf-presets button { background: var(--ground); }
.nf-presets button[aria-pressed=true] { background: var(--brand); }

/* Fig. 2's ladder, shared with Fig. 1b (nix-shared.css): mono uppercase axis titles; the four
   scenarios of Appendix A as two-line labels on the y axis, traced across the map as dotted
   guides; links inside a figure panel are ink with an accent underline (accent text on the ground
   falls short of AA) */
.nf svg text.nf-axis-title { font: 600 11px var(--font-mono); letter-spacing: 0.04em; text-transform: uppercase; }
.nf svg text.nf-budget-scenario { font-weight: 600; }
.nf svg .nf-budget-tick { fill: none; stroke: var(--ink); stroke-width: 1.5; }
.nf svg .nf-budget-guide { fill: none; stroke: var(--ink); stroke-width: 0.8; stroke-dasharray: 2 4; }