/* Shared subpage, reader, explorer, and evidence-lab surfaces. */
.page-hero,.reader-hero{position:relative;overflow:hidden;border-bottom:1px solid var(--rule);padding:clamp(4rem,9vw,7rem) 0 clamp(2.8rem,6vw,4.5rem);background-color:var(--surface-1);background-size:cover;background-position:center}.page-hero::before,.reader-hero::before{content:"";position:absolute;inset:0;background:linear-gradient(90deg,rgba(6,9,13,.97),rgba(6,9,13,.84) 54%,rgba(6,9,13,.74)),linear-gradient(180deg,transparent,var(--canvas))}.page-hero::after,.reader-hero::after{content:"";position:absolute;inset:0;opacity:.25;background:repeating-linear-gradient(90deg,transparent 0 71px,rgba(255,255,255,.04) 72px)}.page-hero>*,.reader-hero>*{position:relative;z-index:1}.page-hero .section-title,.reader-title{max-width:20ch;margin:0;font-size:clamp(2.7rem,7vw,5.6rem)}.page-hero .section-sub{max-width:50rem;margin:1.1rem 0 0;color:var(--ink-muted);font:clamp(1rem,2vw,1.25rem)/1.5 var(--font-serif)}.section-kicker{margin:0 0 .8rem;color:var(--theory);font:600 .68rem var(--font-mono);letter-spacing:.13em;text-transform:uppercase}.hero-status-line{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:1.3rem}

.subpage-main{padding-block:clamp(3rem,7vw,6rem)}.status-banner{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:1.2rem;align-items:center;margin-bottom:2rem;padding:1rem 1.2rem;border:1px solid rgba(242,198,109,.35);border-radius:9px;background:rgba(242,198,109,.07)}.status-banner>span{color:var(--postulate);font:600 .62rem var(--font-mono);letter-spacing:.08em}.status-banner strong{font:500 1rem var(--font-serif)}.status-banner small{color:var(--ink-faint);font:.65rem var(--font-mono);text-align:right}
.callout{margin:1.5rem 0;padding:1.15rem 1.25rem;border:1px solid var(--rule);border-left:3px solid var(--theory);border-radius:7px;background:var(--surface-1);color:var(--ink-muted);font-size:.9rem}.callout.gold{border-left-color:var(--postulate)}.callout.plain{border-left-color:var(--rule)}.callout h4{margin:0 0 .45rem;color:var(--ink);font:600 .84rem var(--font-sans)}.callout strong{color:var(--ink)}

/* Evidence lab */
.lab-intro{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(18rem,.85fr);gap:clamp(2rem,6vw,6rem);align-items:start;margin:3rem 0 4rem}.lab-intro h2{margin:0;font-size:clamp(2.2rem,5vw,4.3rem)}.lab-intro p{color:var(--ink-muted)}.axis-grid{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--rule);border-radius:10px;overflow:hidden}.axis-card{min-height:12rem;padding:1.25rem;border-right:1px solid var(--rule);background:var(--surface-1)}.axis-card:last-child{border-right:0}.axis-card span{color:var(--postulate);font:600 .6rem var(--font-mono)}.axis-card h3{margin:2rem 0 .65rem;font-size:1.2rem}.axis-card p{margin:0;color:var(--ink-faint);font-size:.74rem}.layer-lab{display:grid;grid-template-columns:repeat(4,1fr);margin:3rem 0;border:1px solid var(--rule);border-radius:10px;overflow:hidden}.layer-card{min-height:16rem;padding:1.4rem;border-right:1px solid var(--rule);background:var(--canvas-soft)}.layer-card:last-child{border-right:0}.layer-card .layer-code{display:grid;place-items:center;width:2.5rem;height:2.5rem;border:1px solid currentColor;border-radius:50%;font:600 .65rem var(--font-mono)}.layer-card.lean{color:var(--lean)}.layer-card.python{color:var(--python)}.layer-card.sage{color:var(--sage)}.layer-card.mathematica{color:var(--mathematica)}.layer-card h3{margin:1.7rem 0 .5rem;color:var(--ink);font-size:1.25rem}.layer-card p{color:var(--ink-muted);font-size:.78rem}.layer-card small{display:block;margin-top:1rem;color:var(--ink-faint);font:.6rem/1.5 var(--font-mono)}
.matrix-head{display:flex;flex-wrap:wrap;align-items:end;justify-content:space-between;gap:1rem;margin:4rem 0 1rem}.matrix-head h2{margin:0;font-size:clamp(1.8rem,4vw,2.8rem)}.matrix-head p{max-width:38rem;margin:0;color:var(--ink-faint);font-size:.76rem}.legendbar{display:flex;flex-wrap:wrap;gap:1rem;padding:.9rem 0 1.4rem;color:var(--ink-muted);font-size:.75rem}.table-scroll{max-height:38rem;overflow:auto;border:1px solid var(--rule);border-radius:var(--radius);background:var(--surface-1)}table.matrix{width:100%;border-collapse:collapse;font-size:.8rem}table.matrix caption{padding:.85rem 1rem;border-bottom:1px solid var(--rule);color:var(--ink-faint);text-align:left;caption-side:top}table.matrix th,table.matrix td{padding:.62rem .82rem;border-bottom:1px solid var(--rule-soft);text-align:left}table.matrix thead th{position:sticky;top:0;z-index:2;background:var(--surface-2);color:var(--ink-faint);font:600 .62rem var(--font-mono);letter-spacing:.08em;text-transform:uppercase}table.matrix tbody tr:hover{background:rgba(255,255,255,.025)}table.matrix td.cell-title{min-width:18rem}table.matrix td a{color:var(--ink)}.cell-state{display:inline-flex;align-items:center;gap:.3rem;font:600 .62rem var(--font-mono)}.cell-state::before{content:"";width:.45rem;height:.45rem;border:1px solid currentColor;border-radius:50%}.cell-state.s-pending{color:var(--ink-faint)}.cell-state.s-code_present{color:var(--ink)}.cell-state.s-verified{color:var(--verified)}.cell-state.s-verified::before{background:currentColor}.cell-state.s-failed{color:var(--failed)}.cell-state.s-not_applicable{color:var(--ink-faint);font-style:italic}.runpanel{margin:2rem 0;padding:1.3rem 1.5rem;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1)}.runpanel h4{margin:0 0 .8rem}.runpanel ol{margin:0;padding-left:1.3rem;color:var(--ink-muted);font-size:.86rem}.runpanel li{margin-bottom:.55rem}.runpanel code{padding:.1rem .35rem;border:1px solid var(--rule);border-radius:3px;background:var(--canvas);color:var(--theory);font-size:.78rem}
.matrix-toolbar{grid-template-columns:minmax(15rem,1fr) auto auto auto}.matrix-empty td{padding:2rem!important;text-align:center!important;color:var(--ink-muted)}
.table-scroll{max-height:none}

/* Dependency atlas */
.explorer-shell{padding-block:clamp(2rem,5vw,4rem)}.explorer-toolbar{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:1rem;margin-bottom:1rem}.explorer-toolbar p{max-width:44rem;margin:0;color:var(--ink-faint);font-size:.76rem}.explorer-legend{display:flex;gap:.5rem}.explorer-legend span{padding:.25rem .45rem;border:1px solid var(--rule);border-radius:999px;color:var(--ink-faint);font:.56rem var(--font-mono);text-transform:uppercase}.explorer-stage{position:relative;overflow:hidden;border:1px solid var(--rule);border-radius:var(--radius-lg);background:var(--surface-1)}.explorer-canvas{overflow-x:auto;padding:1rem;scrollbar-color:var(--rule) var(--canvas)}.explorer-stage svg{display:block;width:max(100%,82rem);height:auto}.exp-node{cursor:pointer}.exp-node rect{fill:var(--surface-2);stroke:var(--rule);transition:stroke .15s,opacity .15s,filter .15s}.exp-node text{fill:var(--ink);font:600 11px var(--font-sans);pointer-events:none}.exp-node .exp-sub{fill:var(--ink-faint);font:9px var(--font-mono)}.exp-node.root rect{fill:rgba(242,198,109,.08);stroke:var(--postulate)}.exp-node.status-blocked rect{stroke-dasharray:4 3}.exp-node.status-open rect{stroke:var(--postulate)}.exp-node:hover rect,.exp-node.active rect{stroke:var(--theory);filter:drop-shadow(0 0 7px rgba(110,231,218,.3))}.exp-node.is-dim{opacity:.25}.exp-edge{fill:none;stroke:var(--rule);stroke-width:1.2;transition:stroke .15s,opacity .15s}.exp-edge.hot{stroke:var(--theory);stroke-width:2}.exp-edge.is-dim{opacity:.18}.exp-detail{min-height:10rem;padding:1.3rem 1.5rem;border-top:1px solid var(--rule);background:var(--canvas-soft)}.exp-detail h4{margin:0 0 .5rem;font-size:1.35rem}.exp-detail p{max-width:60rem;margin:0 0 .7rem;color:var(--ink-muted);font-size:.86rem}.exp-links{display:flex;flex-wrap:wrap;gap:.65rem;color:var(--ink-faint);font-size:.7rem}.graph-status{display:inline-flex;margin-left:.55rem;padding:.15rem .4rem;border:1px solid currentColor;border-radius:999px;color:var(--postulate);font:.55rem var(--font-mono);text-transform:uppercase;vertical-align:middle}.text-atlas{margin-top:1.5rem}.text-atlas summary{cursor:pointer;color:var(--ink);font-weight:600}.text-atlas ol{columns:2;gap:3rem;padding-left:1.2rem}.text-atlas li{break-inside:avoid;margin-bottom:.7rem;color:var(--ink-muted);font-size:.8rem}

/* Chapter reader */
.progressbar{position:fixed;inset:0 0 auto;z-index:2000;height:2px;pointer-events:none}.progressbar span{display:block;width:0;height:100%;background:linear-gradient(90deg,var(--theory),var(--postulate))}.reader-crumb{margin:0 0 1rem;color:var(--ink-faint);font:.67rem var(--font-mono)}.reader-crumb a{color:var(--ink-faint)}.reader-title{margin-bottom:1.2rem}.reader-meta{display:flex;flex-wrap:wrap;align-items:center;gap:.65rem}.reader-layout{display:grid;grid-template-columns:16rem minmax(0,var(--measure));gap:clamp(2rem,5vw,5rem);max-width:var(--wrap);margin:0 auto;padding:clamp(2.5rem,6vw,5rem) var(--gutter)}.reader-side{position:sticky;top:calc(var(--topbar-h) + 1.5rem);align-self:start;font-size:.8rem}.reader-side-part{margin-bottom:.8rem;color:var(--theory);font:600 .63rem var(--font-mono);letter-spacing:.1em;text-transform:uppercase}.reader-side nav{max-height:62vh;display:flex;flex-direction:column;gap:.12rem;overflow:auto}.reader-side nav a{padding:.28rem .5rem;border-left:2px solid var(--rule);color:var(--ink-faint);text-decoration:none}.reader-side nav a:hover{color:var(--ink);background:var(--surface-1)}.reader-side nav a.current{border-left-color:var(--theory);color:var(--theory)}.reader-main{min-width:0}.reader-content{color:var(--ink);font:1.08rem/1.76 var(--font-serif)}.reader-content h2{margin:2.8rem 0 1rem;font-size:1.75rem}.reader-content h3{margin:2.2rem 0 .8rem;font-size:1.35rem}.reader-content p{margin:0 0 1.25rem}.reader-content a{text-decoration:underline}.reader-content .katex-display{overflow-x:auto;padding:.4rem 0}.chapter-dossier{margin-bottom:2rem;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border:1px solid var(--rule);border-radius:10px;overflow:hidden;background:var(--surface-1);font-family:var(--font-sans)}.dossier-cell{min-height:7.5rem;padding:1.1rem 1.2rem;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.dossier-cell:nth-child(2n){border-right:0}.dossier-cell:nth-last-child(-n+2){border-bottom:0}.dossier-cell span{display:block;color:var(--ink-faint);font:600 .58rem var(--font-mono);letter-spacing:.09em;text-transform:uppercase}.dossier-cell strong{display:block;margin-top:.65rem;color:var(--ink);font:500 .88rem/1.45 var(--font-sans)}.reader-nav{display:flex;justify-content:space-between;gap:1rem;margin-top:3.5rem;padding-top:1.4rem;border-top:1px solid var(--rule)}.reader-nav a{flex:1;max-width:48%;padding:.9rem 1rem;border:1px solid var(--rule);border-radius:7px;background:var(--surface-1);color:var(--ink-muted);text-decoration:none}.reader-nav a:hover{border-color:var(--theory);color:var(--ink)}.reader-nav a .dir{display:block;margin-bottom:.25rem;color:var(--ink-faint);font:600 .58rem var(--font-mono);letter-spacing:.08em;text-transform:uppercase}.reader-nav a.next{margin-left:auto;text-align:right}.placeholder-panel{padding:2.5rem 2rem;border:1px dashed var(--rule);border-radius:10px;background:var(--surface-1);text-align:center}.placeholder-panel .glyph{color:var(--theory);font:2.6rem var(--font-serif)}.placeholder-panel h3{margin:.75rem 0 .55rem}.placeholder-panel p{max-width:36rem;margin:0 auto 1rem;color:var(--ink-muted);font-size:.9rem}

/* Verification file viewer */
.vfile{margin-bottom:1.25rem;overflow:hidden;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1)}.vfile-head{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem;padding:.7rem .9rem;border-bottom:1px solid var(--rule);background:var(--surface-2)}.vfile-name{color:var(--ink);font:600 .78rem var(--font-mono)}.vfile-layer{padding:.15rem .4rem;border:1px solid rgba(242,198,109,.4);border-radius:3px;color:var(--postulate);font:600 .58rem var(--font-mono)}.vfile-actions{margin-left:auto;display:flex;gap:.4rem}.vfile pre{max-height:30rem;margin:0;overflow:auto;padding:1rem;font-size:.75rem;line-height:1.55}.vfile-meta{display:flex;flex-wrap:wrap;gap:1rem;padding:.6rem .9rem;border-top:1px solid var(--rule);color:var(--ink-faint);font:.67rem var(--font-mono)}

/* Prose pages */
.prose{max-width:var(--measure);margin:0 auto;padding:clamp(3rem,7vw,6rem) 1.25rem}.prose h2{margin:3rem 0 1rem;padding-top:1rem;border-top:1px solid var(--rule);font-size:1.75rem}.prose h2:first-child{margin-top:0;border-top:0}.prose p,.prose li{color:var(--ink-muted)}.prose strong{color:var(--ink)}.prose a{text-decoration:underline}.prose li{margin-bottom:.55rem}.prose .small{color:var(--ink-faint);font-size:.82rem}dl.faq dt{margin-top:1.5rem;color:var(--ink);font-weight:700}dl.faq dd{margin:.4rem 0 0;color:var(--ink-muted)}.principle-list{display:grid;gap:.8rem;margin:2rem 0}.principle{display:grid;grid-template-columns:3.2rem 1fr;gap:1rem;padding:1rem;border:1px solid var(--rule);border-radius:7px;background:var(--surface-1)}.principle>span{color:var(--theory);font:600 .72rem var(--font-mono)}.principle strong{display:block}.principle p{margin:.25rem 0 0;font-size:.84rem}

@media(max-width:900px){.lab-intro{grid-template-columns:1fr}.axis-grid,.layer-lab{grid-template-columns:repeat(2,1fr)}.axis-card:nth-child(2),.layer-card:nth-child(2){border-right:0}.axis-card:nth-child(-n+2),.layer-card:nth-child(-n+2){border-bottom:1px solid var(--rule)}.reader-layout{grid-template-columns:1fr}.reader-main{grid-row:1}.reader-side{position:static;grid-row:2}.text-atlas ol{columns:1}}
@media(max-width:600px){.status-banner{grid-template-columns:1fr}.status-banner small{text-align:left}.axis-grid,.layer-lab{grid-template-columns:1fr}.axis-card,.layer-card{border-right:0;border-bottom:1px solid var(--rule)}.axis-card:last-child,.layer-card:last-child{border-bottom:0}.chapter-dossier{grid-template-columns:1fr}.dossier-cell{border-right:0}.dossier-cell:nth-last-child(-n+2){border-bottom:1px solid var(--rule)}.dossier-cell:last-child{border-bottom:0}.reader-nav{flex-direction:column}.reader-nav a{max-width:100%}.page-hero .section-title,.reader-title{font-size:clamp(2.35rem,12vw,3.7rem)}}
@media print{.topbar,.footer,.reader-nav,.reader-side,.progressbar,#auth-gate{display:none!important}body{background:#fff;color:#111}.reader-content,.prose p,.prose li{color:#111}.page-hero::before,.reader-hero::before{background:rgba(255,255,255,.8)}}

/* Hostile-audit reader and evidence contract */
.reader-title{max-width:24ch;font-size:clamp(2.55rem,5vw,4rem);text-wrap:balance}
.reader-crumb ol{display:flex;flex-wrap:wrap;gap:.35rem;margin:0;padding:0;list-style:none}.reader-crumb li:not(:last-child)::after{content:" /";color:var(--ink-faint)}
.reader-main{grid-column:2;grid-row:1}.reader-side{grid-column:1;grid-row:1}
.reader-content{min-width:0}.reader-content :where(p,li){max-width:var(--measure)}
.reader-content :where(h2,h3,h4)[id]{scroll-margin-top:calc(var(--topbar-h) + 1.5rem)}
.publication-band{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.8rem;margin-bottom:1.5rem;padding:.85rem 1rem;border:1px solid var(--rule);border-left:3px solid var(--postulate);border-radius:7px;background:var(--surface-1);font:600 .75rem/1.5 var(--font-mono)}
.publication-band.is-promoted{border-left-color:var(--verified)}
.chapter-audit{margin:3rem 0;border:1px solid var(--rule);border-radius:9px;background:var(--surface-1);font-family:var(--font-sans)}.chapter-audit>summary{padding:1rem 1.2rem;cursor:pointer;color:var(--ink);font-weight:700}.chapter-audit>.chapter-dossier{margin:0;border:0;border-top:1px solid var(--rule);border-radius:0}
.chapter-toc{margin:0 0 2rem;padding:1rem 1.2rem;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1);font-family:var(--font-sans)}.chapter-toc strong{display:block;margin-bottom:.55rem;font-size:.75rem;letter-spacing:.08em;text-transform:uppercase}.chapter-toc ol{margin:0;padding-left:1.2rem}.chapter-toc li{margin:.25rem 0}.chapter-toc a{font-size:.85rem}
.mobile-part-nav{display:none;margin:0 0 1.25rem;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1);font-family:var(--font-sans)}.mobile-part-nav summary{padding:.85rem 1rem;cursor:pointer;font-weight:700}.mobile-part-nav nav{display:grid;padding:0 .8rem .8rem}.mobile-part-nav a{padding:.45rem .55rem;border-left:2px solid var(--rule);color:var(--ink-muted);font-size:.78rem;text-decoration:none}.mobile-part-nav a[aria-current=page]{border-left-color:var(--theory);color:var(--theory)}
.content-load-error,.not-found-panel{padding:2rem;border:1px solid rgba(245,139,115,.55);border-radius:9px;background:rgba(245,139,115,.07)}

/* Stable long-form scientific components used by CONTENT_CONTRACT.md. */
.chapter-lede{margin:0 0 2rem;color:var(--ink-muted);font:1.25rem/1.55 var(--font-serif)}
.definition,.theorem,.assumption,.falsifier,.claim-card,.source-note{position:relative;margin:2rem 0;padding:1.25rem 1.35rem;border:1px solid var(--rule);border-left:3px solid var(--theory);border-radius:8px;background:var(--surface-1)}
.theorem{border-left-color:var(--postulate)}.assumption{border-left-color:var(--mathematica)}.falsifier{border-left-color:var(--failed)}.source-note{border-left-color:var(--ink-faint)}
.component-label,.claim-kicker{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.6rem;margin-bottom:.75rem;color:var(--ink-faint);font:600 .75rem/1.5 var(--font-mono);letter-spacing:.07em;text-transform:uppercase}
.claim-card{border-left-width:4px}.claim-card[data-claim-state="supported"]{border-left-color:var(--verified)}.claim-card[data-claim-state="adverse"]{border-left-color:var(--failed)}.claim-card[data-claim-state="blocked"]{border-left-color:var(--blocked)}
.claim-statement{color:var(--ink);font:500 1.18rem/1.55 var(--font-serif)}
.claim-meta,.axis-rail{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin-top:1rem;border:1px solid var(--rule);border-radius:7px;overflow:hidden;font-family:var(--font-sans)}.claim-meta>div,.axis-rail>div{padding:.8rem;border-right:1px solid var(--rule)}.claim-meta>div:last-child,.axis-rail>div:last-child{border-right:0}.claim-meta span,.axis-rail span{display:block;color:var(--ink-faint);font:600 .72rem/1.4 var(--font-mono);text-transform:uppercase}.claim-meta strong,.axis-rail strong{display:block;margin-top:.35rem;font-size:.8rem;line-height:1.45}
.equation-block{position:relative;margin:2rem 0;padding:1.3rem 3.4rem 1.3rem 1.3rem;overflow-x:auto;border-block:1px solid var(--rule);background:var(--canvas-soft);text-align:center}.equation-block .equation-number{position:absolute;right:1rem;top:50%;transform:translateY(-50%);color:var(--ink-faint);font:.75rem var(--font-mono)}
.figure-plate{margin:2.5rem 0}.figure-plate img,.figure-plate svg{display:block;width:100%;height:auto;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1)}.figure-plate figcaption{margin-top:.75rem;color:var(--ink-muted);font:.82rem/1.55 var(--font-sans)}.figure-plate figcaption strong{color:var(--ink)}.figure-plate.wide{width:min(76rem,calc(100vw - 2 * var(--gutter)));max-width:none;margin-left:50%;transform:translateX(-50%)}
.responsive-table{max-width:100%;margin:2rem 0;overflow-x:auto;border:1px solid var(--rule);border-radius:8px}.responsive-table table{width:100%;min-width:38rem;border-collapse:collapse;font-family:var(--font-sans);font-size:.82rem}.responsive-table th,.responsive-table td{padding:.7rem .8rem;border-bottom:1px solid var(--rule);text-align:left}.responsive-table th{background:var(--surface-2);color:var(--ink)}
.footnotes{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--rule);font-size:.86rem}.footnotes li{margin-bottom:.75rem}.footnote-backref{white-space:nowrap}
.reference-list{padding-left:1.25rem}.reference-list li{margin-bottom:.8rem}.anchor-link{opacity:.45;margin-left:.35rem;color:var(--ink-faint);text-decoration:none}.reader-content :where(h2,h3,h4):hover .anchor-link,.anchor-link:focus{opacity:1}
.claim-results{display:grid;gap:1rem;margin-top:1.2rem}.engine-result{padding:1rem;border:1px solid var(--rule);border-radius:7px;background:var(--canvas-soft)}.engine-result-head{display:flex;align-items:center;justify-content:space-between;gap:1rem;color:var(--ink);font:700 .78rem var(--font-mono);text-transform:uppercase}.engine-result details{margin-top:.9rem;padding-top:.7rem;border-top:1px solid var(--rule)}.engine-result summary{cursor:pointer;color:var(--ink);font:600 .78rem var(--font-sans)}.engine-result li{margin:.45rem 0;color:var(--ink-muted);font:.76rem/1.5 var(--font-sans);overflow-wrap:anywhere}.result-provenance{display:flex;flex-wrap:wrap;gap:.5rem 1rem;margin-top:.8rem;color:var(--ink-faint);font:.72rem/1.5 var(--font-mono)}.result-limit{margin:.9rem 0 0;color:var(--ink-muted);font:.78rem/1.55 var(--font-sans)}

/* Dependency map: native-size, directional, and keyboard-legible. */
.explorer-canvas{max-width:100%;outline:none}.explorer-canvas:focus-visible{outline:3px solid var(--postulate);outline-offset:-4px}
.explorer-stage svg{width:max(100%,100rem);max-width:none}
.exp-node text{font-size:13px}.exp-node .exp-sub{font-size:11px}.exp-node:focus{outline:none}.exp-node:focus rect{stroke:var(--postulate);stroke-width:3;filter:drop-shadow(0 0 8px rgba(242,198,109,.32))}
.exp-edge.upstream-hot{stroke:var(--theory);stroke-width:2.2}.exp-edge.downstream-hot{stroke:var(--postulate);stroke-width:2.2}.exp-edge.hot{stroke-width:2.2}.exp-detail[aria-live]{outline:none}
.explorer-legend .legend-upstream{border-color:var(--theory);color:var(--theory)}.explorer-legend .legend-downstream{border-color:var(--postulate);color:var(--postulate)}.explorer-legend .legend-blocked{border-style:dashed;color:var(--blocked)}
.text-atlas li>span{display:block;margin:.25rem 0;color:var(--ink-faint);font-size:.75rem}.text-atlas li a{margin-right:.4rem}

@media(max-width:900px){.reader-main{grid-column:1;grid-row:1}.reader-side{grid-column:1;grid-row:2}.mobile-part-nav{display:block}.claim-meta,.axis-rail{grid-template-columns:repeat(2,1fr)}.claim-meta>div:nth-child(2),.axis-rail>div:nth-child(2){border-right:0}.claim-meta>div:nth-child(-n+2),.axis-rail>div:nth-child(-n+2){border-bottom:1px solid var(--rule)}.matrix-toolbar{grid-template-columns:1fr 1fr}.matrix-toolbar .search-control{grid-column:1/-1}}
@media(max-width:700px){
  .table-scroll{max-height:none;overflow:visible;border:0;background:transparent}
  table.matrix{display:block}table.matrix caption{display:block;border:1px solid var(--rule);border-radius:7px;background:var(--surface-1)}table.matrix thead{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}table.matrix tbody,table.matrix tr,table.matrix td{display:block;width:100%}
  table.matrix tr{margin:0 0 1rem;overflow:hidden;border:1px solid var(--rule);border-radius:8px;background:var(--surface-1)}table.matrix td{display:grid;grid-template-columns:minmax(7rem,.42fr) minmax(0,1fr);gap:.7rem;align-items:start;padding:.65rem .8rem;border-bottom:1px solid var(--rule-soft)}table.matrix td:last-child{border-bottom:0}table.matrix td::before{content:attr(data-label);color:var(--ink-faint);font:600 .72rem/1.5 var(--font-mono);letter-spacing:.06em;text-transform:uppercase}table.matrix td.cell-title{min-width:0}table.matrix td a{overflow-wrap:anywhere}table.matrix .matrix-empty td{display:block}table.matrix .matrix-empty td::before{display:none}
}
@media(max-width:600px){.reader-title{font-size:clamp(2.25rem,11vw,3rem)}.claim-meta,.axis-rail{grid-template-columns:1fr}.claim-meta>div,.axis-rail>div{border-right:0;border-bottom:1px solid var(--rule)}.claim-meta>div:last-child,.axis-rail>div:last-child{border-bottom:0}.figure-plate.wide{width:100%;margin-left:0;transform:none}.matrix-toolbar{grid-template-columns:1fr}.matrix-toolbar .search-control{grid-column:1}.matrix-toolbar .atlas-count{text-align:left}}
@media print{.publication-band,.chapter-toc,.chapter-audit,.claim-card,.definition,.theorem,.assumption,.falsifier,.source-note,.responsive-table{break-inside:avoid;background:#fff!important;color:#111!important}.claim-card,.definition,.theorem,.assumption,.falsifier,.source-note{border-color:#777}.reader-content a{color:#111;text-decoration:underline}.anchor-link{display:none}}