/* Generated by scripts/build_dark_theme.py from styles.css. Do not edit by hand. */
:root{color-scheme:light;--muted:#636f6b}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){color-scheme:dark}}
/* Light theme: WCAG AA contrast repairs for small text. */
.brand-divider{color:#687069}
.beta-tag{color:#607469}
.eyebrow{color:#607369}
.frontier-method{color:#617468}
.frontier-stats span{color:#627366}
.pending-note{color:#677367}
.compare-select>span{color:#62726c}
.compare-versus{color:#667369}
.segmented button{color:#647367}
.search{color:#667369}
.matrix-legend{color:#67726a}
.reused{color:#5b6f9f}
.retuned{color:#8d6730}
.foundation{color:#6a7266}
.unknown{color:#627268}
.inherited{color:#657462}
th{color:#617265}
.method-meta{color:#657265}
.mini-proposal{color:#896a3a}
.matrix-footer{color:#657166}
.small-copy{color:#657368}
.radar-legend{color:#5c7463}
.chart-note{color:#687367}
.detail-summary{color:#617365}
.detail-right h4{color:#5e7566}
.metric small{color:#677365}
.empty-message{color:#647367}
.lineage-col h4{color:#667364}
.lineage-card small{color:#667464}
.lineage-arrow{color:#677364}
.lineage-note{color:#677362}
.graph-key{color:#637566}
.lane-label{color:#657462}
.proof-node span{color:#64735d}
.proof-node .node-tag{color:#93643b}
.gate-description{color:#5f745e}
.formula-context{color:#61735b}
.gate-checks{color:#64755c}
.gate-notice{color:#786e56}
.outline-tag{color:#637459}
.plot-heading{color:#62735a}
.capacity-caption{color:#67745c}
.capacity-controls>label{color:#65755f}
.range-labels{color:#68735f}
.capacity-metrics>div{color:#647358}
summary{color:#5f7458}
.note-icon{color:#5e784f}
.reading-note p{color:#647559}
.text-link{color:#607657}
footer p{color:#6a7361}
footer>div{color:#64755a}
.dimension-index{color:#65755d}
.dimension-card summary small{color:#63735a}
.expand-mark{color:#627457}
.dimension-body p{color:#617458}
.dimension-body .dimension-caution{color:#7b6e50}
.dimension-extra p{color:#667559}
.chart-range-toggle{color:#647358}
.guide-header p{color:#66745b}
.guide-header #guide-close{color:#617655}
.guide-nav button{color:#637559}
.guide-intro{color:#647459}
.section-heading .capacity-scope{color:#667360}
.capacity-chart-help{color:#63765d}
.capacity-point-summary span{color:#64735d}
.capacity-point-summary strong[data-state=fail]{color:#97653b}
.capacity-point-summary strong[data-state=outside]{color:#697263}
.capacity-point-summary small{color:#667461}
.parameter-label label{color:#5f755a}
.parameter-hint{color:#64725a}
.review-coverage{color:#796e4d}
.review-coverage.reviewed{color:#59784f}
.route-steps.causal-route li:not(:last-child):after{color:#5e7550}
.route-steps span{color:#637658}
.route-pending{color:#64755a}
.evidence-label{color:#66735b}
.context-kind{color:#65735b}
.source-context p{color:#64735a}
.proof-identity>b{color:#65735a}
.proof-identity>small{color:#657458}
.flow-legend{color:#647559}
.flow-key.upstream{color:#5a7090}
.flow-key.downstream{color:#277c71}
.lane-label{color:#637557}
.proof-node span{color:#637558}
.proof-node small.node-role{color:#66745d}
.proof-node small.intervention-role{color:#9d6339}
.proof-map-note{color:#627357}
.gate-notice.inherited-notice{color:#637356}
.gate-relations h4{color:#647359}
.gate-relations button span{color:#657459}
.gate-relations button b{color:#607656}
.gate-relations p{color:#647358}
.bn-heading>p{color:#5e7656}
.bn-scope{color:#67745b}
.bn-state{color:#637455}
.bn-state[data-state=endpoint-balance],.bn-state[data-state=boundary-used]{color:#906635}
.bn-state[data-state=conditional-positive],.bn-state[data-state=domain-limited]{color:#5f7192}
.bn-dimension>small{color:#65755a}
.bn-ledger-heading>span{color:#657358}
#bn-constraint-list span{color:#617657}
.bn-constraint-meta{color:#647355}
.bn-constraint-meta>span:first-child{color:#5a7649}
#bn-constraint-detail>p{color:#5f7454}
.bn-domain{color:#667457!important}
.bn-certified>p{color:#637555}
.bn-diagnostic-heading p{color:#647457}
.bn-height>label{color:#607451}
.bn-color-key{color:#647555}
.bn-map-note{color:#647653}
.bn-probe-fields label{color:#607750}
.bn-numeric-kind{color:#657355}
#bn-point-readout>p{color:#617552}
#bn-point-readout>small{color:#637355}
.bn-probes span{color:#627353}
.bn-frozen{color:#657654}
.bn-directions>p{color:#647656}
.bn-directions article p{color:#617454}
.bn-empty p{color:#647657}
/* Dark theme chosen explicitly. */
:root[data-theme="dark"]{--bg:#121917;--paper:#1a2321;--ink:#e7efe9;--text:#c3d0ca;--muted:#93a39d;--border:#2c3a37;--teal:#5fbcb0;--teal-soft:#16302c;--orange:#e3926d;--orange-soft:#36231a;--blue:#98add0}
:root[data-theme="dark"] body{background:var(--bg);color:var(--ink)}
:root[data-theme="dark"] button:focus-visible,:root[data-theme="dark"] a:focus-visible,:root[data-theme="dark"] select:focus-visible,:root[data-theme="dark"] input:focus-visible,:root[data-theme="dark"] summary:focus-visible{outline:2px solid var(--teal)}
:root[data-theme="dark"] .skip-link{background:var(--ink);color:#1f1f1f}
:root[data-theme="dark"] .topbar{border-bottom:1px solid var(--border);background:rgba(23,23,22,0.96)}
:root[data-theme="dark"] .brand-symbol{background:var(--ink);color:#1d211a}
:root[data-theme="dark"] .brand-divider{color:#98a199}
:root[data-theme="dark"] .beta-tag{border:1px solid #373e37;color:#97ada1}
:root[data-theme="dark"] nav{color:#9eb0ac}
:root[data-theme="dark"] nav a:hover{color:var(--teal)}
:root[data-theme="dark"] .external-link{border-left:1px solid var(--border)}
:root[data-theme="dark"] .eyebrow{color:#97aca0}
:root[data-theme="dark"] .status-dot{background:#6a9d7e}
:root[data-theme="dark"] .hero h1 em{color:var(--teal)}
:root[data-theme="dark"] .hero-copy>p{color:var(--text)}
:root[data-theme="dark"] .quiet{color:var(--muted)}
:root[data-theme="dark"] .button{border:1px solid var(--border);background:#191919}
:root[data-theme="dark"] .button.primary{background:var(--ink);color:#1f1f1f;border-color:var(--ink)}
:root[data-theme="dark"] .button.primary:hover{background:var(--teal)}
:root[data-theme="dark"] .button:hover,:root[data-theme="dark"] .icon-button:hover{border-color:#47564c}
:root[data-theme="dark"] .frontier-card{border:1px solid #353c35;background:linear-gradient(145deg,#191919 0%,#161a15 100%)}
:root[data-theme="dark"] .verified-pill{color:var(--teal);border:1px solid #323e35;background:#141813}
:root[data-theme="dark"] .verified-pill span{background:#559d78}
:root[data-theme="dark"] .frontier-method{color:#98ada0}
:root[data-theme="dark"] .frontier-divider{background:#1a2319}
:root[data-theme="dark"] .frontier-stats span{color:#93a697}
:root[data-theme="dark"] .pending-note{border-top:1px dashed #3a3f35;color:#9ca99c}
:root[data-theme="dark"] .pending-note a{color:#c0a688}
:root[data-theme="dark"] .panel{background:var(--paper);border:1px solid var(--border)}
:root[data-theme="dark"] .chart-unit{color:var(--muted)}
:root[data-theme="dark"] .endpoint-node:hover circle{stroke:var(--ink)}
:root[data-theme="dark"] .section-heading p{color:var(--muted)}
:root[data-theme="dark"] .icon-button{background:#191919;border:1px solid var(--border)}
:root[data-theme="dark"] .compare-select>span{color:#9cada6}
:root[data-theme="dark"] .method-dot.a{background:var(--teal)}
:root[data-theme="dark"] .method-dot.b{background:var(--orange)}
:root[data-theme="dark"] .compare-select select{background-color:#151715;border:1px solid #363b35;color:var(--ink)}
:root[data-theme="dark"] .compare-versus{color:#95a399}
:root[data-theme="dark"] .proposal-toggle{border-left:1px solid var(--border)}
:root[data-theme="dark"] .proposal-toggle input{accent-color:var(--teal)}
:root[data-theme="dark"] .proposal-toggle small{color:var(--muted)}
:root[data-theme="dark"] .matrix-toolbar{border-bottom:1px solid var(--border)}
:root[data-theme="dark"] .segmented{background:#181a16}
:root[data-theme="dark"] .segmented button{color:#97a89a}
:root[data-theme="dark"] .segmented button.active{background:#191919;color:var(--ink)}
:root[data-theme="dark"] .search{color:#97a59a;border:1px solid var(--border)}
:root[data-theme="dark"] .search input{color:var(--ink)}
:root[data-theme="dark"] .matrix-legend{color:#96a299}
:root[data-theme="dark"] .changed{background:#11231b;color:#79baa6}
:root[data-theme="dark"] .reused{background:#181c29;color:#97acdd}
:root[data-theme="dark"] .retuned{background:#251905;color:#cfa974}
:root[data-theme="dark"] .foundation{background:#1e1e1a;color:#9ca698}
:root[data-theme="dark"] .unknown{background:#181916;color:#92a398}
:root[data-theme="dark"] .verified{background:#141e15;color:#78bd92}
:root[data-theme="dark"] .inherited{background:#171a15;color:#94a491}
:root[data-theme="dark"] .table-scroll{scrollbar-color:#383e37 transparent}
:root[data-theme="dark"] thead{background:#161714}
:root[data-theme="dark"] th{color:#96a99a;border-top:1px solid #333531;border-bottom:1px solid var(--border)}
:root[data-theme="dark"] th button[aria-pressed=true]{color:var(--teal)}
:root[data-theme="dark"] td{border-bottom:1px solid #333530}
:root[data-theme="dark"] tbody tr{background:#191919}
:root[data-theme="dark"] tbody tr:hover{background:#151714}
:root[data-theme="dark"] tbody tr.selected-a{background:#141815}
:root[data-theme="dark"] tbody tr.selected-b{background:#1c1711}
:root[data-theme="dark"] tbody tr.selected-b td:first-child{box-shadow:inset 3px 0 0 var(--orange)}
:root[data-theme="dark"] tbody tr.selected-a td:first-child{box-shadow:inset 3px 0 0 var(--teal)}
:root[data-theme="dark"] .method-title{color:#abc9bf}
:root[data-theme="dark"] .method-meta{color:#95a395}
:root[data-theme="dark"] .method-meta .theta{color:#98b3a0}
:root[data-theme="dark"] .mini-proposal{color:#c8a97a;background:#201807;border:1px solid #483a1d}
:root[data-theme="dark"] .cell-focused{background:#151b13!important}
:root[data-theme="dark"] .matrix-footer{border-top:1px solid var(--border);color:#95a396}
:root[data-theme="dark"] .small-copy{color:#95a598}
:root[data-theme="dark"] .radar-legend{color:#97b09e}
:root[data-theme="dark"] .chart-note{border-top:1px solid var(--border);color:#96a295}
:root[data-theme="dark"] .chart-note strong{color:#98b3a0}
:root[data-theme="dark"] .detail-summary{color:#99ad9d}
:root[data-theme="dark"] .source-links{color:var(--teal)}
:root[data-theme="dark"] .source-links a{border-bottom:1px solid #38453b}
:root[data-theme="dark"] .detail-right{border-left:1px solid var(--border)}
:root[data-theme="dark"] .detail-right h4{color:#95ae9d}
:root[data-theme="dark"] .dimension-explanation{color:#9ab4a2}
:root[data-theme="dark"] .metric .value{color:#97b39f}
:root[data-theme="dark"] .metric small{color:#96a394}
:root[data-theme="dark"] .empty-message{color:#96a699}
:root[data-theme="dark"] .lineage-col h4{color:#95a393}
:root[data-theme="dark"] .lineage-card{background:#161713;border:1px solid var(--border)}
:root[data-theme="dark"] .lineage-card:hover{border-color:#4c6651}
:root[data-theme="dark"] .lineage-card.current{border-color:#614430;background:#1e170f}
:root[data-theme="dark"] .lineage-card small{color:#97a695}
:root[data-theme="dark"] .lineage-arrow{color:#96a393}
:root[data-theme="dark"] .lineage-note{color:#96a391}
:root[data-theme="dark"] .graph-key{color:#93a796}
:root[data-theme="dark"] .lane-label{color:#94a491}
:root[data-theme="dark"] .proof-node{background:#191919;border:1px solid #363b33}
:root[data-theme="dark"] .proof-node:hover{border-color:#465e47;background:#191a15}
:root[data-theme="dark"] .proof-node.active{border-color:var(--teal);background:#161a12}
:root[data-theme="dark"] .proof-node.contribution{border-color:#5c442f;background:#1b1610}
:root[data-theme="dark"] .proof-node span{color:#95a58d}
:root[data-theme="dark"] .proof-node .node-tag{color:#d5a47c}
:root[data-theme="dark"] .endpoint-gate{background:var(--ink);border:1px solid var(--ink);color:#1f1f1f}
:root[data-theme="dark"] .endpoint-gate span{color:#142416}
:root[data-theme="dark"] .gate-description{color:#a2b8a1}
:root[data-theme="dark"] .formula{background:#171913;border:1px solid #35392f}
:root[data-theme="dark"] .formula-context{color:#95a790}
:root[data-theme="dark"] .gate-checks{color:#96a78f}
:root[data-theme="dark"] .gate-notice{border-left:2px solid #5c451b;color:#ada389}
:root[data-theme="dark"] .outline-tag{border:1px solid #373d32;color:#95a58b}
:root[data-theme="dark"] .plot-heading{color:#a5b79d}
:root[data-theme="dark"] .line-key.teal{background:var(--teal)}
:root[data-theme="dark"] .line-key.orange{background:var(--orange)}
:root[data-theme="dark"] .capacity-caption{color:#96a48b}
:root[data-theme="dark"] .capacity-controls>label{color:#9bac94}
:root[data-theme="dark"] .capacity-controls label strong{color:var(--ink)}
:root[data-theme="dark"] input[type=range]{accent-color:var(--teal)}
:root[data-theme="dark"] .range-labels{color:#98a38e}
:root[data-theme="dark"] .capacity-metrics{border-top:1px solid var(--border)}
:root[data-theme="dark"] .capacity-metrics>div{color:#97a68c}
:root[data-theme="dark"] .capacity-metrics strong{color:var(--ink)}
:root[data-theme="dark"] .capacity-metrics .capacity-delta{border-top:1px dashed var(--border)}
:root[data-theme="dark"] .capacity-delta strong{color:var(--teal)}
:root[data-theme="dark"] details{border-top:1px solid var(--border)}
:root[data-theme="dark"] summary{color:#9fb597}
:root[data-theme="dark"] details>a{color:var(--teal)}
:root[data-theme="dark"] .reading-note{background:#181b13;border-color:#363b31}
:root[data-theme="dark"] .note-icon{color:#a0bb91}
:root[data-theme="dark"] .reading-note p{color:#97a78d}
:root[data-theme="dark"] .reading-note p strong{color:#9ab491}
:root[data-theme="dark"] .text-link{color:#a2b999}
:root[data-theme="dark"] .notice{background:#c1dedd;color:#1f1f1f}
:root[data-theme="dark"] footer{border-top:1px solid var(--border)}
:root[data-theme="dark"] footer p{color:#98a28f}
:root[data-theme="dark"] footer>div{color:#95a68c}
:root[data-theme="dark"] .inline-help{color:var(--teal);text-decoration-color:#94a395}
:root[data-theme="dark"] .inline-help:hover{text-decoration-color:var(--teal)}
:root[data-theme="dark"] .dimension-card{border:1px solid var(--border)}
:root[data-theme="dark"] .dimension-index{color:#95a48d;border:1px solid #353930;background:#161712}
:root[data-theme="dark"] .dimension-card summary strong{color:var(--ink)}
:root[data-theme="dark"] .dimension-card summary small{color:#95a48c}
:root[data-theme="dark"] .expand-mark{color:#94a58a}
:root[data-theme="dark"] .dimension-card[open]{border-color:#3e4e39}
:root[data-theme="dark"] .dimension-card[open] summary{border-bottom:1px solid var(--border);background:#151712}
:root[data-theme="dark"] .dimension-body p{color:#a1b698}
:root[data-theme="dark"] .dimension-body p strong{color:#97b58e}
:root[data-theme="dark"] .dimension-body .dimension-caution{border-left:2px solid #59461d;color:#bcaf90}
:root[data-theme="dark"] .dimension-extra{background:#171a13}
:root[data-theme="dark"] .dimension-extra p{color:#98a78c}
:root[data-theme="dark"] .dimension-extra p strong{color:#9ab48d}
:root[data-theme="dark"] .chart-range-toggle{color:#96a58b;background:var(--paper)}
:root[data-theme="dark"] .chart-range-toggle:hover{color:var(--teal)}
@media(max-width:640px){:root[data-theme="dark"] .detail-right{border-top:1px solid var(--border)}}
:root[data-theme="dark"] .guide-trigger{background:#171a13;color:#97b58e;border-color:#363e32}
:root[data-theme="dark"] .dimension-dialog{border-left:1px solid #363d32;background:var(--bg);color:var(--ink)}
:root[data-theme="dark"] .guide-header{background:#191919;border-bottom:1px solid var(--border)}
:root[data-theme="dark"] .guide-header p{color:#96a48c}
:root[data-theme="dark"] .guide-header #guide-close{background:#171914;color:#a2b896;border:1px solid #353b30}
:root[data-theme="dark"] .guide-header #guide-close:hover{background:#181e12}
:root[data-theme="dark"] .guide-nav{background:#161713;border-bottom:1px solid var(--border)}
:root[data-theme="dark"] .guide-nav button{border:1px solid #363b31;background:#191919;color:#a5b89b}
:root[data-theme="dark"] .guide-nav button:hover,:root[data-theme="dark"] .guide-nav button[aria-pressed=true]{border-color:#45603b;background:#171d10;color:#8eb983}
:root[data-theme="dark"] .guide-intro{color:#a8ba9e}
:root[data-theme="dark"] .section-heading .capacity-scope{color:#98a792}
:root[data-theme="dark"] .point-key{background:var(--ink)}
:root[data-theme="dark"] .capacity-chart-help{color:#a3b79d}
:root[data-theme="dark"] .capacity-point-summary{border:1px solid var(--border)}
:root[data-theme="dark"] .capacity-point-summary>div+div{border-left:1px solid var(--border)}
:root[data-theme="dark"] .capacity-point-summary span{color:#9aaa92}
:root[data-theme="dark"] .capacity-point-summary strong[data-state=pass]{color:#7eba9e;background:#141c17}
:root[data-theme="dark"] .capacity-point-summary strong[data-state=fail]{color:#d4a178;background:#22180a}
:root[data-theme="dark"] .capacity-point-summary strong[data-state=outside]{color:#9da897;background:#191b16}
:root[data-theme="dark"] .capacity-point-summary small{color:#98a893}
:root[data-theme="dark"] #capacity-reset{color:var(--teal)}
:root[data-theme="dark"] .parameter-label label{color:#9eb499}
:root[data-theme="dark"] .parameter-label input{border:1px solid #363d33;background:#191a16;color:var(--ink)}
:root[data-theme="dark"] .parameter-hint{color:#97a58e}
:root[data-theme="dark"] .capacity-source-links{color:var(--teal)}
:root[data-theme="dark"] .capacity-source-links a{text-decoration-color:#97a38f}
@media(max-width:900px){:root[data-theme="dark"] .capacity-point-summary>div+div{border-top:1px solid var(--border)}}
@media(max-width:640px){:root[data-theme="dark"] .capacity-point-summary>div+div{border-left:1px solid var(--border)}}
@media(max-width:370px){:root[data-theme="dark"] .capacity-point-summary>div+div{border-top:1px solid var(--border)}}
:root[data-theme="dark"] .route-header>a{color:var(--teal)}
:root[data-theme="dark"] .review-coverage{color:#bcb18f;background:#1d190f}
:root[data-theme="dark"] .review-coverage.reviewed{color:#99b88e;background:#161b11}
:root[data-theme="dark"] .route-steps.causal-route li:not(:last-child):after{color:#91a683}
:root[data-theme="dark"] .route-steps button{border:1px solid #363b31;background:#191a16}
:root[data-theme="dark"] .route-steps button:hover{border-color:#475b3d;background:#161b10}
:root[data-theme="dark"] .route-steps span{color:#95a88b}
:root[data-theme="dark"] .route-pending{color:#97a78d}
:root[data-theme="dark"] .evidence-label{color:#96a58b}
:root[data-theme="dark"] .source-context{background:#151812;border-bottom:1px solid var(--border)}
:root[data-theme="dark"] .context-kind{color:#95a48b}
:root[data-theme="dark"] .source-context p{color:#96a58d}
:root[data-theme="dark"] .proof-identity{color:#9ab48e}
:root[data-theme="dark"] .proof-identity>b{color:#96a48c}
:root[data-theme="dark"] .proof-identity>small{color:#95a48a}
:root[data-theme="dark"] .flow-legend{color:#97a78d}
:root[data-theme="dark"] .flow-key.selected{background:var(--teal);color:var(--teal)}
:root[data-theme="dark"] .flow-key.upstream{background:#16191f;color:#8da3c2}
:root[data-theme="dark"] .flow-key.downstream{background:#121b17;color:#74c0b4}
:root[data-theme="dark"] .flow-key.intervention{background:var(--orange);color:var(--orange)}
:root[data-theme="dark"] .lane-label{color:#95a78a}
:root[data-theme="dark"] .proof-node{border-color:#363d31}
:root[data-theme="dark"] .proof-node span{color:#a7ba9c}
:root[data-theme="dark"] .proof-node small.node-role{color:#95a48c}
:root[data-theme="dark"] .proof-node small.intervention-role{color:#ca936d}
:root[data-theme="dark"] .proof-node.contribution{background:#191919;border-color:#363d31}
:root[data-theme="dark"] .proof-node.relation-upstream{border-color:#45516b;background:#15171b}
:root[data-theme="dark"] .proof-node.relation-downstream{border-color:#2f5349;background:#131815}
:root[data-theme="dark"] .proof-node.relation-selected{border-color:var(--teal);background:#131c16}
:root[data-theme="dark"] .proof-node.relation-other{background:#191a17}
:root[data-theme="dark"] .proof-node:hover{border-color:var(--teal)}
:root[data-theme="dark"] .proof-endpoint{background:#c0e0d6;color:#1f1f1f}
:root[data-theme="dark"] .proof-endpoint span{color:#122412}
:root[data-theme="dark"] .proof-endpoint a{text-decoration-color:#0b2612}
:root[data-theme="dark"] .proof-map-note{color:#94a58a}
:root[data-theme="dark"] .gate-notice{background:#1a160e;border-color:#674c1d}
:root[data-theme="dark"] .gate-notice.inherited-notice{background:#171814;border-color:#3e4835;color:#97a78b}
:root[data-theme="dark"] .gate-relations h4{color:#95a48b}
:root[data-theme="dark"] .gate-relations button{background:#191919;border:1px solid #353a31}
:root[data-theme="dark"] .gate-relations button:hover{background:#151812;border-color:#48583c}
:root[data-theme="dark"] .gate-relations button strong{color:#99b48e}
:root[data-theme="dark"] .gate-relations button span{color:#95a48b}
:root[data-theme="dark"] .gate-relations button b{color:#91a687}
:root[data-theme="dark"] .gate-relations p{color:#95a48a}
:root[data-theme="dark"] .route-header>button{color:var(--teal)}
:root[data-theme="dark"] .bn-heading>p{color:#9db594}
:root[data-theme="dark"] .bn-scope{color:#97a38c;border-left:2px solid #3a4434}
:root[data-theme="dark"] .bn-dimension{background:#191a17;border:1px solid #363b32}
:root[data-theme="dark"] .bn-dimension:hover{border-color:#445836}
:root[data-theme="dark"] .bn-dimension[aria-pressed=true]{border-color:var(--teal);background:#151912}
:root[data-theme="dark"] .bn-state{background:#181c13;color:#a5b898}
:root[data-theme="dark"] .bn-state[data-state=endpoint-balance],:root[data-theme="dark"] .bn-state[data-state=boundary-used]{background:#231a09;color:#cfa475}
:root[data-theme="dark"] .bn-state[data-state=certified-positive]{background:#131e17;color:#7eba9c}
:root[data-theme="dark"] .bn-state[data-state=conditional-positive],:root[data-theme="dark"] .bn-state[data-state=domain-limited]{background:#171a20;color:#9eb2d3}
:root[data-theme="dark"] .bn-dimension>small{color:#97a78d}
:root[data-theme="dark"] .bn-ledger{border:1px solid #363a31}
:root[data-theme="dark"] .bn-ledger-heading>span{color:#96a48a}
:root[data-theme="dark"] #bn-constraint-list>button{background:#151712;border:1px solid #363c30}
:root[data-theme="dark"] #bn-constraint-list>button[aria-pressed=true]{border-color:#435c4b;background:#151b13}
:root[data-theme="dark"] #bn-constraint-list span{color:#a2b898}
:root[data-theme="dark"] .bn-constraint-meta{color:#96a487}
:root[data-theme="dark"] .bn-constraint-meta>span:first-child{color:#9fbc8e;background:#171b11}
:root[data-theme="dark"] #bn-constraint-detail>p{color:#a1b796}
:root[data-theme="dark"] .bn-domain{color:#96a489!important}
:root[data-theme="dark"] .bn-constraint-actions>button,:root[data-theme="dark"] .bn-directions article>button{color:var(--teal)}
:root[data-theme="dark"] .bn-certified{border:1px solid #363a31;background:#191a17}
:root[data-theme="dark"] .bn-certified>p{color:#94a587}
:root[data-theme="dark"] .bn-diagnostic{border-top:1px solid var(--border)}
:root[data-theme="dark"] .bn-diagnostic-heading p{color:#95a58a}
:root[data-theme="dark"] .bn-height>label{color:#a5bb97}
:root[data-theme="dark"] .bn-height output{color:var(--ink)}
:root[data-theme="dark"] .bn-tooltip{background:#bfe0d6;color:#1f1f1f}
:root[data-theme="dark"] .bn-color-key{color:#94a587}
:root[data-theme="dark"] .bn-color-key i{border:1px solid #51432f}
:root[data-theme="dark"] .bn-map-note{color:#94a585}
:root[data-theme="dark"] .bn-probe-detail{background:#151812;border:1px solid #363b30}
:root[data-theme="dark"] .bn-probe-fields label{color:#a1b991}
:root[data-theme="dark"] .bn-probe-fields input{color:var(--ink);border:1px solid #363d31;background:#191919}
:root[data-theme="dark"] #bn-point-readout{border-top:1px solid #363c30}
:root[data-theme="dark"] .bn-numeric-kind{color:#96a487}
:root[data-theme="dark"] #bn-point-readout>strong{color:#c3a581}
:root[data-theme="dark"] #bn-point-readout>p{color:#92a685}
:root[data-theme="dark"] .bn-branch{color:#99b58e}
:root[data-theme="dark"] #bn-point-readout>small{color:#95a488}
:root[data-theme="dark"] .bn-probes>button{border:1px solid #363c30;background:#191919}
:root[data-theme="dark"] .bn-probes>button[aria-pressed=true]{border-color:#655532;background:#1b170c}
:root[data-theme="dark"] .bn-probes span{color:#97a789}
:root[data-theme="dark"] .bn-probes strong{color:#aaaf8c}
:root[data-theme="dark"] .bn-frozen{color:#94a585;background:#161911}
:root[data-theme="dark"] .bn-directions{border-top:1px solid var(--border)}
:root[data-theme="dark"] .bn-directions>p{color:#94a587}
:root[data-theme="dark"] .bn-directions article{border-top:1px solid #33362f}
:root[data-theme="dark"] .bn-directions article p{color:#95a889}
:root[data-theme="dark"] .bn-empty p{color:#95a689}
:root[data-theme="dark"] .theme-toggle{border:1px solid var(--border);background:var(--paper);color:var(--text)}
:root[data-theme="dark"] .theme-toggle:hover{border-color:var(--teal);color:var(--teal)}
:root[data-theme="dark"] .th-sub{color:var(--muted)}
:root[data-theme="dark"] .method-meta .gain{color:var(--teal)}
:root[data-theme="dark"] .method-meta .gain.baseline{color:var(--muted)}
:root[data-theme="dark"] tbody tr.baseline-row .method-title{color:var(--text)}
:root[data-theme="dark"] tbody tr.baseline-row td:first-child{box-shadow:inset 3px 0 0 var(--border)}
:root[data-theme="dark"] .exact-rational{color:var(--muted)}
:root[data-theme="dark"] .table-scroll:focus-visible{outline:2px solid var(--teal)}
@media(max-width:640px){:root[data-theme="dark"] .chart-scroll-hint{color:var(--muted)}}
@media(max-width:640px){:root[data-theme="dark"] .matrix-legend::after{color:var(--muted)}}
@media(max-width:640px){:root[data-theme="dark"] th:first-child,:root[data-theme="dark"] td:first-child{background:var(--paper)}}
@media(max-width:640px){:root[data-theme="dark"] thead th:first-child{background:#161714}}
@media(max-width:640px){:root[data-theme="dark"] tbody tr.selected-a td:first-child{background:#141815}}
@media(max-width:640px){:root[data-theme="dark"] tbody tr.selected-b td:first-child{background:#1c1711}}
@media(max-width:640px){:root[data-theme="dark"] td:first-child::after{background:linear-gradient(90deg,rgba(193,222,221,0.08),transparent)}}
:root[data-theme="dark"] .chart-note summary{color:var(--text)}
:root[data-theme="dark"] .bn-heading>p{color:var(--text)}
:root[data-theme="dark"] .bn-more>summary{color:var(--teal)}
:root[data-theme="dark"] .bn-more>p{color:var(--text)}
:root[data-theme="dark"] .bn-ledger-summary{color:var(--text)}
:root[data-theme="dark"] .bn-logbar{background:var(--teal)}
:root[data-theme="dark"] .bn-frozen>summary{color:var(--text)}
:root[data-theme="dark"] .more-links>summary{color:var(--muted)}
:root[data-theme="dark"] .gate-relations button.gate-chip b{color:var(--muted)}
/* Dark theme from the system preference, unless light was chosen. */
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){--bg:#121917;--paper:#1a2321;--ink:#e7efe9;--text:#c3d0ca;--muted:#93a39d;--border:#2c3a37;--teal:#5fbcb0;--teal-soft:#16302c;--orange:#e3926d;--orange-soft:#36231a;--blue:#98add0}:root:not([data-theme="light"]) body{background:var(--bg);color:var(--ink)}:root:not([data-theme="light"]) button:focus-visible,:root:not([data-theme="light"]) a:focus-visible,:root:not([data-theme="light"]) select:focus-visible,:root:not([data-theme="light"]) input:focus-visible,:root:not([data-theme="light"]) summary:focus-visible{outline:2px solid var(--teal)}:root:not([data-theme="light"]) .skip-link{background:var(--ink);color:#1f1f1f}:root:not([data-theme="light"]) .topbar{border-bottom:1px solid var(--border);background:rgba(23,23,22,0.96)}:root:not([data-theme="light"]) .brand-symbol{background:var(--ink);color:#1d211a}:root:not([data-theme="light"]) .brand-divider{color:#98a199}:root:not([data-theme="light"]) .beta-tag{border:1px solid #373e37;color:#97ada1}:root:not([data-theme="light"]) nav{color:#9eb0ac}:root:not([data-theme="light"]) nav a:hover{color:var(--teal)}:root:not([data-theme="light"]) .external-link{border-left:1px solid var(--border)}:root:not([data-theme="light"]) .eyebrow{color:#97aca0}:root:not([data-theme="light"]) .status-dot{background:#6a9d7e}:root:not([data-theme="light"]) .hero h1 em{color:var(--teal)}:root:not([data-theme="light"]) .hero-copy>p{color:var(--text)}:root:not([data-theme="light"]) .quiet{color:var(--muted)}:root:not([data-theme="light"]) .button{border:1px solid var(--border);background:#191919}:root:not([data-theme="light"]) .button.primary{background:var(--ink);color:#1f1f1f;border-color:var(--ink)}:root:not([data-theme="light"]) .button.primary:hover{background:var(--teal)}:root:not([data-theme="light"]) .button:hover,:root:not([data-theme="light"]) .icon-button:hover{border-color:#47564c}:root:not([data-theme="light"]) .frontier-card{border:1px solid #353c35;background:linear-gradient(145deg,#191919 0%,#161a15 100%)}:root:not([data-theme="light"]) .verified-pill{color:var(--teal);border:1px solid #323e35;background:#141813}:root:not([data-theme="light"]) .verified-pill span{background:#559d78}:root:not([data-theme="light"]) .frontier-method{color:#98ada0}:root:not([data-theme="light"]) .frontier-divider{background:#1a2319}:root:not([data-theme="light"]) .frontier-stats span{color:#93a697}:root:not([data-theme="light"]) .pending-note{border-top:1px dashed #3a3f35;color:#9ca99c}:root:not([data-theme="light"]) .pending-note a{color:#c0a688}:root:not([data-theme="light"]) .panel{background:var(--paper);border:1px solid var(--border)}:root:not([data-theme="light"]) .chart-unit{color:var(--muted)}:root:not([data-theme="light"]) .endpoint-node:hover circle{stroke:var(--ink)}:root:not([data-theme="light"]) .section-heading p{color:var(--muted)}:root:not([data-theme="light"]) .icon-button{background:#191919;border:1px solid var(--border)}:root:not([data-theme="light"]) .compare-select>span{color:#9cada6}:root:not([data-theme="light"]) .method-dot.a{background:var(--teal)}:root:not([data-theme="light"]) .method-dot.b{background:var(--orange)}:root:not([data-theme="light"]) .compare-select select{background-color:#151715;border:1px solid #363b35;color:var(--ink)}:root:not([data-theme="light"]) .compare-versus{color:#95a399}:root:not([data-theme="light"]) .proposal-toggle{border-left:1px solid var(--border)}:root:not([data-theme="light"]) .proposal-toggle input{accent-color:var(--teal)}:root:not([data-theme="light"]) .proposal-toggle small{color:var(--muted)}:root:not([data-theme="light"]) .matrix-toolbar{border-bottom:1px solid var(--border)}:root:not([data-theme="light"]) .segmented{background:#181a16}:root:not([data-theme="light"]) .segmented button{color:#97a89a}:root:not([data-theme="light"]) .segmented button.active{background:#191919;color:var(--ink)}:root:not([data-theme="light"]) .search{color:#97a59a;border:1px solid var(--border)}:root:not([data-theme="light"]) .search input{color:var(--ink)}:root:not([data-theme="light"]) .matrix-legend{color:#96a299}:root:not([data-theme="light"]) .changed{background:#11231b;color:#79baa6}:root:not([data-theme="light"]) .reused{background:#181c29;color:#97acdd}:root:not([data-theme="light"]) .retuned{background:#251905;color:#cfa974}:root:not([data-theme="light"]) .foundation{background:#1e1e1a;color:#9ca698}:root:not([data-theme="light"]) .unknown{background:#181916;color:#92a398}:root:not([data-theme="light"]) .verified{background:#141e15;color:#78bd92}:root:not([data-theme="light"]) .inherited{background:#171a15;color:#94a491}:root:not([data-theme="light"]) .table-scroll{scrollbar-color:#383e37 transparent}:root:not([data-theme="light"]) thead{background:#161714}:root:not([data-theme="light"]) th{color:#96a99a;border-top:1px solid #333531;border-bottom:1px solid var(--border)}:root:not([data-theme="light"]) th button[aria-pressed=true]{color:var(--teal)}:root:not([data-theme="light"]) td{border-bottom:1px solid #333530}:root:not([data-theme="light"]) tbody tr{background:#191919}:root:not([data-theme="light"]) tbody tr:hover{background:#151714}:root:not([data-theme="light"]) tbody tr.selected-a{background:#141815}:root:not([data-theme="light"]) tbody tr.selected-b{background:#1c1711}:root:not([data-theme="light"]) tbody tr.selected-b td:first-child{box-shadow:inset 3px 0 0 var(--orange)}:root:not([data-theme="light"]) tbody tr.selected-a td:first-child{box-shadow:inset 3px 0 0 var(--teal)}:root:not([data-theme="light"]) .method-title{color:#abc9bf}:root:not([data-theme="light"]) .method-meta{color:#95a395}:root:not([data-theme="light"]) .method-meta .theta{color:#98b3a0}:root:not([data-theme="light"]) .mini-proposal{color:#c8a97a;background:#201807;border:1px solid #483a1d}:root:not([data-theme="light"]) .cell-focused{background:#151b13!important}:root:not([data-theme="light"]) .matrix-footer{border-top:1px solid var(--border);color:#95a396}:root:not([data-theme="light"]) .small-copy{color:#95a598}:root:not([data-theme="light"]) .radar-legend{color:#97b09e}:root:not([data-theme="light"]) .chart-note{border-top:1px solid var(--border);color:#96a295}:root:not([data-theme="light"]) .chart-note strong{color:#98b3a0}:root:not([data-theme="light"]) .detail-summary{color:#99ad9d}:root:not([data-theme="light"]) .source-links{color:var(--teal)}:root:not([data-theme="light"]) .source-links a{border-bottom:1px solid #38453b}:root:not([data-theme="light"]) .detail-right{border-left:1px solid var(--border)}:root:not([data-theme="light"]) .detail-right h4{color:#95ae9d}:root:not([data-theme="light"]) .dimension-explanation{color:#9ab4a2}:root:not([data-theme="light"]) .metric .value{color:#97b39f}:root:not([data-theme="light"]) .metric small{color:#96a394}:root:not([data-theme="light"]) .empty-message{color:#96a699}:root:not([data-theme="light"]) .lineage-col h4{color:#95a393}:root:not([data-theme="light"]) .lineage-card{background:#161713;border:1px solid var(--border)}:root:not([data-theme="light"]) .lineage-card:hover{border-color:#4c6651}:root:not([data-theme="light"]) .lineage-card.current{border-color:#614430;background:#1e170f}:root:not([data-theme="light"]) .lineage-card small{color:#97a695}:root:not([data-theme="light"]) .lineage-arrow{color:#96a393}:root:not([data-theme="light"]) .lineage-note{color:#96a391}:root:not([data-theme="light"]) .graph-key{color:#93a796}:root:not([data-theme="light"]) .lane-label{color:#94a491}:root:not([data-theme="light"]) .proof-node{background:#191919;border:1px solid #363b33}:root:not([data-theme="light"]) .proof-node:hover{border-color:#465e47;background:#191a15}:root:not([data-theme="light"]) .proof-node.active{border-color:var(--teal);background:#161a12}:root:not([data-theme="light"]) .proof-node.contribution{border-color:#5c442f;background:#1b1610}:root:not([data-theme="light"]) .proof-node span{color:#95a58d}:root:not([data-theme="light"]) .proof-node .node-tag{color:#d5a47c}:root:not([data-theme="light"]) .endpoint-gate{background:var(--ink);border:1px solid var(--ink);color:#1f1f1f}:root:not([data-theme="light"]) .endpoint-gate span{color:#142416}:root:not([data-theme="light"]) .gate-description{color:#a2b8a1}:root:not([data-theme="light"]) .formula{background:#171913;border:1px solid #35392f}:root:not([data-theme="light"]) .formula-context{color:#95a790}:root:not([data-theme="light"]) .gate-checks{color:#96a78f}:root:not([data-theme="light"]) .gate-notice{border-left:2px solid #5c451b;color:#ada389}:root:not([data-theme="light"]) .outline-tag{border:1px solid #373d32;color:#95a58b}:root:not([data-theme="light"]) .plot-heading{color:#a5b79d}:root:not([data-theme="light"]) .line-key.teal{background:var(--teal)}:root:not([data-theme="light"]) .line-key.orange{background:var(--orange)}:root:not([data-theme="light"]) .capacity-caption{color:#96a48b}:root:not([data-theme="light"]) .capacity-controls>label{color:#9bac94}:root:not([data-theme="light"]) .capacity-controls label strong{color:var(--ink)}:root:not([data-theme="light"]) input[type=range]{accent-color:var(--teal)}:root:not([data-theme="light"]) .range-labels{color:#98a38e}:root:not([data-theme="light"]) .capacity-metrics{border-top:1px solid var(--border)}:root:not([data-theme="light"]) .capacity-metrics>div{color:#97a68c}:root:not([data-theme="light"]) .capacity-metrics strong{color:var(--ink)}:root:not([data-theme="light"]) .capacity-metrics .capacity-delta{border-top:1px dashed var(--border)}:root:not([data-theme="light"]) .capacity-delta strong{color:var(--teal)}:root:not([data-theme="light"]) details{border-top:1px solid var(--border)}:root:not([data-theme="light"]) summary{color:#9fb597}:root:not([data-theme="light"]) details>a{color:var(--teal)}:root:not([data-theme="light"]) .reading-note{background:#181b13;border-color:#363b31}:root:not([data-theme="light"]) .note-icon{color:#a0bb91}:root:not([data-theme="light"]) .reading-note p{color:#97a78d}:root:not([data-theme="light"]) .reading-note p strong{color:#9ab491}:root:not([data-theme="light"]) .text-link{color:#a2b999}:root:not([data-theme="light"]) .notice{background:#c1dedd;color:#1f1f1f}:root:not([data-theme="light"]) footer{border-top:1px solid var(--border)}:root:not([data-theme="light"]) footer p{color:#98a28f}:root:not([data-theme="light"]) footer>div{color:#95a68c}:root:not([data-theme="light"]) .inline-help{color:var(--teal);text-decoration-color:#94a395}:root:not([data-theme="light"]) .inline-help:hover{text-decoration-color:var(--teal)}:root:not([data-theme="light"]) .dimension-card{border:1px solid var(--border)}:root:not([data-theme="light"]) .dimension-index{color:#95a48d;border:1px solid #353930;background:#161712}:root:not([data-theme="light"]) .dimension-card summary strong{color:var(--ink)}:root:not([data-theme="light"]) .dimension-card summary small{color:#95a48c}:root:not([data-theme="light"]) .expand-mark{color:#94a58a}:root:not([data-theme="light"]) .dimension-card[open]{border-color:#3e4e39}:root:not([data-theme="light"]) .dimension-card[open] summary{border-bottom:1px solid var(--border);background:#151712}:root:not([data-theme="light"]) .dimension-body p{color:#a1b698}:root:not([data-theme="light"]) .dimension-body p strong{color:#97b58e}:root:not([data-theme="light"]) .dimension-body .dimension-caution{border-left:2px solid #59461d;color:#bcaf90}:root:not([data-theme="light"]) .dimension-extra{background:#171a13}:root:not([data-theme="light"]) .dimension-extra p{color:#98a78c}:root:not([data-theme="light"]) .dimension-extra p strong{color:#9ab48d}:root:not([data-theme="light"]) .chart-range-toggle{color:#96a58b;background:var(--paper)}:root:not([data-theme="light"]) .chart-range-toggle:hover{color:var(--teal)}@media(max-width:640px){:root:not([data-theme="light"]) .detail-right{border-top:1px solid var(--border)}}:root:not([data-theme="light"]) .guide-trigger{background:#171a13;color:#97b58e;border-color:#363e32}:root:not([data-theme="light"]) .dimension-dialog{border-left:1px solid #363d32;background:var(--bg);color:var(--ink)}:root:not([data-theme="light"]) .guide-header{background:#191919;border-bottom:1px solid var(--border)}:root:not([data-theme="light"]) .guide-header p{color:#96a48c}:root:not([data-theme="light"]) .guide-header #guide-close{background:#171914;color:#a2b896;border:1px solid #353b30}:root:not([data-theme="light"]) .guide-header #guide-close:hover{background:#181e12}:root:not([data-theme="light"]) .guide-nav{background:#161713;border-bottom:1px solid var(--border)}:root:not([data-theme="light"]) .guide-nav button{border:1px solid #363b31;background:#191919;color:#a5b89b}:root:not([data-theme="light"]) .guide-nav button:hover,:root:not([data-theme="light"]) .guide-nav button[aria-pressed=true]{border-color:#45603b;background:#171d10;color:#8eb983}:root:not([data-theme="light"]) .guide-intro{color:#a8ba9e}:root:not([data-theme="light"]) .section-heading .capacity-scope{color:#98a792}:root:not([data-theme="light"]) .point-key{background:var(--ink)}:root:not([data-theme="light"]) .capacity-chart-help{color:#a3b79d}:root:not([data-theme="light"]) .capacity-point-summary{border:1px solid var(--border)}:root:not([data-theme="light"]) .capacity-point-summary>div+div{border-left:1px solid var(--border)}:root:not([data-theme="light"]) .capacity-point-summary span{color:#9aaa92}:root:not([data-theme="light"]) .capacity-point-summary strong[data-state=pass]{color:#7eba9e;background:#141c17}:root:not([data-theme="light"]) .capacity-point-summary strong[data-state=fail]{color:#d4a178;background:#22180a}:root:not([data-theme="light"]) .capacity-point-summary strong[data-state=outside]{color:#9da897;background:#191b16}:root:not([data-theme="light"]) .capacity-point-summary small{color:#98a893}:root:not([data-theme="light"]) #capacity-reset{color:var(--teal)}:root:not([data-theme="light"]) .parameter-label label{color:#9eb499}:root:not([data-theme="light"]) .parameter-label input{border:1px solid #363d33;background:#191a16;color:var(--ink)}:root:not([data-theme="light"]) .parameter-hint{color:#97a58e}:root:not([data-theme="light"]) .capacity-source-links{color:var(--teal)}:root:not([data-theme="light"]) .capacity-source-links a{text-decoration-color:#97a38f}@media(max-width:900px){:root:not([data-theme="light"]) .capacity-point-summary>div+div{border-top:1px solid var(--border)}}@media(max-width:640px){:root:not([data-theme="light"]) .capacity-point-summary>div+div{border-left:1px solid var(--border)}}@media(max-width:370px){:root:not([data-theme="light"]) .capacity-point-summary>div+div{border-top:1px solid var(--border)}}:root:not([data-theme="light"]) .route-header>a{color:var(--teal)}:root:not([data-theme="light"]) .review-coverage{color:#bcb18f;background:#1d190f}:root:not([data-theme="light"]) .review-coverage.reviewed{color:#99b88e;background:#161b11}:root:not([data-theme="light"]) .route-steps.causal-route li:not(:last-child):after{color:#91a683}:root:not([data-theme="light"]) .route-steps button{border:1px solid #363b31;background:#191a16}:root:not([data-theme="light"]) .route-steps button:hover{border-color:#475b3d;background:#161b10}:root:not([data-theme="light"]) .route-steps span{color:#95a88b}:root:not([data-theme="light"]) .route-pending{color:#97a78d}:root:not([data-theme="light"]) .evidence-label{color:#96a58b}:root:not([data-theme="light"]) .source-context{background:#151812;border-bottom:1px solid var(--border)}:root:not([data-theme="light"]) .context-kind{color:#95a48b}:root:not([data-theme="light"]) .source-context p{color:#96a58d}:root:not([data-theme="light"]) .proof-identity{color:#9ab48e}:root:not([data-theme="light"]) .proof-identity>b{color:#96a48c}:root:not([data-theme="light"]) .proof-identity>small{color:#95a48a}:root:not([data-theme="light"]) .flow-legend{color:#97a78d}:root:not([data-theme="light"]) .flow-key.selected{background:var(--teal);color:var(--teal)}:root:not([data-theme="light"]) .flow-key.upstream{background:#16191f;color:#8da3c2}:root:not([data-theme="light"]) .flow-key.downstream{background:#121b17;color:#74c0b4}:root:not([data-theme="light"]) .flow-key.intervention{background:var(--orange);color:var(--orange)}:root:not([data-theme="light"]) .lane-label{color:#95a78a}:root:not([data-theme="light"]) .proof-node{border-color:#363d31}:root:not([data-theme="light"]) .proof-node span{color:#a7ba9c}:root:not([data-theme="light"]) .proof-node small.node-role{color:#95a48c}:root:not([data-theme="light"]) .proof-node small.intervention-role{color:#ca936d}:root:not([data-theme="light"]) .proof-node.contribution{background:#191919;border-color:#363d31}:root:not([data-theme="light"]) .proof-node.relation-upstream{border-color:#45516b;background:#15171b}:root:not([data-theme="light"]) .proof-node.relation-downstream{border-color:#2f5349;background:#131815}:root:not([data-theme="light"]) .proof-node.relation-selected{border-color:var(--teal);background:#131c16}:root:not([data-theme="light"]) .proof-node.relation-other{background:#191a17}:root:not([data-theme="light"]) .proof-node:hover{border-color:var(--teal)}:root:not([data-theme="light"]) .proof-endpoint{background:#c0e0d6;color:#1f1f1f}:root:not([data-theme="light"]) .proof-endpoint span{color:#122412}:root:not([data-theme="light"]) .proof-endpoint a{text-decoration-color:#0b2612}:root:not([data-theme="light"]) .proof-map-note{color:#94a58a}:root:not([data-theme="light"]) .gate-notice{background:#1a160e;border-color:#674c1d}:root:not([data-theme="light"]) .gate-notice.inherited-notice{background:#171814;border-color:#3e4835;color:#97a78b}:root:not([data-theme="light"]) .gate-relations h4{color:#95a48b}:root:not([data-theme="light"]) .gate-relations button{background:#191919;border:1px solid #353a31}:root:not([data-theme="light"]) .gate-relations button:hover{background:#151812;border-color:#48583c}:root:not([data-theme="light"]) .gate-relations button strong{color:#99b48e}:root:not([data-theme="light"]) .gate-relations button span{color:#95a48b}:root:not([data-theme="light"]) .gate-relations button b{color:#91a687}:root:not([data-theme="light"]) .gate-relations p{color:#95a48a}:root:not([data-theme="light"]) .route-header>button{color:var(--teal)}:root:not([data-theme="light"]) .bn-heading>p{color:#9db594}:root:not([data-theme="light"]) .bn-scope{color:#97a38c;border-left:2px solid #3a4434}:root:not([data-theme="light"]) .bn-dimension{background:#191a17;border:1px solid #363b32}:root:not([data-theme="light"]) .bn-dimension:hover{border-color:#445836}:root:not([data-theme="light"]) .bn-dimension[aria-pressed=true]{border-color:var(--teal);background:#151912}:root:not([data-theme="light"]) .bn-state{background:#181c13;color:#a5b898}:root:not([data-theme="light"]) .bn-state[data-state=endpoint-balance],:root:not([data-theme="light"]) .bn-state[data-state=boundary-used]{background:#231a09;color:#cfa475}:root:not([data-theme="light"]) .bn-state[data-state=certified-positive]{background:#131e17;color:#7eba9c}:root:not([data-theme="light"]) .bn-state[data-state=conditional-positive],:root:not([data-theme="light"]) .bn-state[data-state=domain-limited]{background:#171a20;color:#9eb2d3}:root:not([data-theme="light"]) .bn-dimension>small{color:#97a78d}:root:not([data-theme="light"]) .bn-ledger{border:1px solid #363a31}:root:not([data-theme="light"]) .bn-ledger-heading>span{color:#96a48a}:root:not([data-theme="light"]) #bn-constraint-list>button{background:#151712;border:1px solid #363c30}:root:not([data-theme="light"]) #bn-constraint-list>button[aria-pressed=true]{border-color:#435c4b;background:#151b13}:root:not([data-theme="light"]) #bn-constraint-list span{color:#a2b898}:root:not([data-theme="light"]) .bn-constraint-meta{color:#96a487}:root:not([data-theme="light"]) .bn-constraint-meta>span:first-child{color:#9fbc8e;background:#171b11}:root:not([data-theme="light"]) #bn-constraint-detail>p{color:#a1b796}:root:not([data-theme="light"]) .bn-domain{color:#96a489!important}:root:not([data-theme="light"]) .bn-constraint-actions>button,:root:not([data-theme="light"]) .bn-directions article>button{color:var(--teal)}:root:not([data-theme="light"]) .bn-certified{border:1px solid #363a31;background:#191a17}:root:not([data-theme="light"]) .bn-certified>p{color:#94a587}:root:not([data-theme="light"]) .bn-diagnostic{border-top:1px solid var(--border)}:root:not([data-theme="light"]) .bn-diagnostic-heading p{color:#95a58a}:root:not([data-theme="light"]) .bn-height>label{color:#a5bb97}:root:not([data-theme="light"]) .bn-height output{color:var(--ink)}:root:not([data-theme="light"]) .bn-tooltip{background:#bfe0d6;color:#1f1f1f}:root:not([data-theme="light"]) .bn-color-key{color:#94a587}:root:not([data-theme="light"]) .bn-color-key i{border:1px solid #51432f}:root:not([data-theme="light"]) .bn-map-note{color:#94a585}:root:not([data-theme="light"]) .bn-probe-detail{background:#151812;border:1px solid #363b30}:root:not([data-theme="light"]) .bn-probe-fields label{color:#a1b991}:root:not([data-theme="light"]) .bn-probe-fields input{color:var(--ink);border:1px solid #363d31;background:#191919}:root:not([data-theme="light"]) #bn-point-readout{border-top:1px solid #363c30}:root:not([data-theme="light"]) .bn-numeric-kind{color:#96a487}:root:not([data-theme="light"]) #bn-point-readout>strong{color:#c3a581}:root:not([data-theme="light"]) #bn-point-readout>p{color:#92a685}:root:not([data-theme="light"]) .bn-branch{color:#99b58e}:root:not([data-theme="light"]) #bn-point-readout>small{color:#95a488}:root:not([data-theme="light"]) .bn-probes>button{border:1px solid #363c30;background:#191919}:root:not([data-theme="light"]) .bn-probes>button[aria-pressed=true]{border-color:#655532;background:#1b170c}:root:not([data-theme="light"]) .bn-probes span{color:#97a789}:root:not([data-theme="light"]) .bn-probes strong{color:#aaaf8c}:root:not([data-theme="light"]) .bn-frozen{color:#94a585;background:#161911}:root:not([data-theme="light"]) .bn-directions{border-top:1px solid var(--border)}:root:not([data-theme="light"]) .bn-directions>p{color:#94a587}:root:not([data-theme="light"]) .bn-directions article{border-top:1px solid #33362f}:root:not([data-theme="light"]) .bn-directions article p{color:#95a889}:root:not([data-theme="light"]) .bn-empty p{color:#95a689}:root:not([data-theme="light"]) .theme-toggle{border:1px solid var(--border);background:var(--paper);color:var(--text)}:root:not([data-theme="light"]) .theme-toggle:hover{border-color:var(--teal);color:var(--teal)}:root:not([data-theme="light"]) .th-sub{color:var(--muted)}:root:not([data-theme="light"]) .method-meta .gain{color:var(--teal)}:root:not([data-theme="light"]) .method-meta .gain.baseline{color:var(--muted)}:root:not([data-theme="light"]) tbody tr.baseline-row .method-title{color:var(--text)}:root:not([data-theme="light"]) tbody tr.baseline-row td:first-child{box-shadow:inset 3px 0 0 var(--border)}:root:not([data-theme="light"]) .exact-rational{color:var(--muted)}:root:not([data-theme="light"]) .table-scroll:focus-visible{outline:2px solid var(--teal)}@media(max-width:640px){:root:not([data-theme="light"]) .chart-scroll-hint{color:var(--muted)}}@media(max-width:640px){:root:not([data-theme="light"]) .matrix-legend::after{color:var(--muted)}}@media(max-width:640px){:root:not([data-theme="light"]) th:first-child,:root:not([data-theme="light"]) td:first-child{background:var(--paper)}}@media(max-width:640px){:root:not([data-theme="light"]) thead th:first-child{background:#161714}}@media(max-width:640px){:root:not([data-theme="light"]) tbody tr.selected-a td:first-child{background:#141815}}@media(max-width:640px){:root:not([data-theme="light"]) tbody tr.selected-b td:first-child{background:#1c1711}}@media(max-width:640px){:root:not([data-theme="light"]) td:first-child::after{background:linear-gradient(90deg,rgba(193,222,221,0.08),transparent)}}:root:not([data-theme="light"]) .chart-note summary{color:var(--text)}:root:not([data-theme="light"]) .bn-heading>p{color:var(--text)}:root:not([data-theme="light"]) .bn-more>summary{color:var(--teal)}:root:not([data-theme="light"]) .bn-more>p{color:var(--text)}:root:not([data-theme="light"]) .bn-ledger-summary{color:var(--text)}:root:not([data-theme="light"]) .bn-logbar{background:var(--teal)}:root:not([data-theme="light"]) .bn-frozen>summary{color:var(--text)}:root:not([data-theme="light"]) .more-links>summary{color:var(--muted)}:root:not([data-theme="light"]) .gate-relations button.gate-chip b{color:var(--muted)}}