:root{--paper:#f4f0e7;--ink:#223c3a;--muted:#64716b;--line:#d8d1c3;--accent:#9d593c;--white:#faf8f2;--gold:#cfb480;--serif:Georgia,'Times New Roman',serif;--sans:Arial,Helvetica,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:95px}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:16px;line-height:1.6}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:4px}button,input,select{font:inherit}button,a{touch-action:manipulation}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible,select:focus-visible{outline:3px solid var(--accent);outline-offset:5px}button{cursor:pointer}.skip-link{position:absolute;top:-80px;left:15px;padding:10px;background:var(--ink);color:white;z-index:100}.skip-link:focus{top:10px}.site-header{display:flex;align-items:center;justify-content:space-between;margin:0 5%;height:94px;border-bottom:1px solid var(--line);gap:20px}.wordmark{text-decoration:none;font-size:14px;font-weight:700;letter-spacing:3px;display:flex;align-items:center;gap:12px}.mark{font-size:33px;color:var(--accent);line-height:1}.header-note,.header-link{font-size:11px;letter-spacing:1px}.header-note{color:var(--muted)}.header-link{text-decoration:none;border-bottom:1px solid var(--ink);padding-bottom:4px}.hero{max-width:1400px;margin:auto;padding:70px 5% 65px;display:grid;grid-template-columns:1.1fr 1fr;gap:40px;align-items:center}.eyebrow{font-family:monospace;font-size:10px;letter-spacing:1.6px;color:var(--accent);margin:0 0 28px}h1{font-family:var(--serif);font-weight:400;font-size:clamp(65px,6.8vw,104px);line-height:.99;letter-spacing:-4px;margin:0 0 30px}h1 em{color:var(--accent);font-weight:400}.hero-deck{font-family:var(--serif);font-size:23px;line-height:1.45;max-width:400px}.hero-actions{display:flex;flex-wrap:wrap;gap:24px;align-items:center;margin-top:35px}.button{display:inline-flex;gap:28px;align-items:center;padding:13px 18px;color:var(--paper);background:var(--ink);font-size:12px;text-decoration:none}.text-link{font-size:12px;text-decoration:none;border-bottom:1px solid var(--line)}.hero-figure{padding:0 20px}.hero-figure svg{display:block;width:100%;max-height:465px}.figure-caption{text-align:center;color:var(--muted);font-family:monospace;font-size:10px;letter-spacing:.5px;line-height:1.8}.chapter-nav{display:flex;flex-wrap:wrap;gap:24px;justify-content:center;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:20px 4%;background:var(--paper);position:sticky;top:0;z-index:20}.chapter-nav a{text-decoration:none;font-size:11px;white-space:nowrap}.chapter-nav a:hover{color:var(--accent)}.section{padding:78px 6%;max-width:1400px;margin:auto;border-bottom:1px solid var(--line)}.section-heading{display:grid;grid-template-columns:160px 1fr;gap:32px;align-items:start;margin-bottom:34px}.section-number{font-family:monospace;font-size:11px;color:var(--accent);letter-spacing:1px;padding-top:9px}h2{font-family:var(--serif);font-size:40px;font-weight:400;line-height:1.2;margin:0 0 20px;letter-spacing:-.7px}h3{font-family:var(--serif);font-size:23px;font-weight:400;line-height:1.3;margin:0 0 12px}h4{font-size:13px;margin:14px 0 8px}.section-intro{font-size:17px;line-height:1.8;max-width:790px;margin:0}.section-body{margin-left:192px}.lede{font-family:var(--serif);font-size:25px;line-height:1.55;margin:0 0 30px}.callout{background:#e8e6db;border-left:3px solid var(--accent);padding:22px 26px;font-size:14px;margin:24px 0}.callout strong{color:var(--accent)}.grid-3{display:grid;grid-template-columns:repeat(3,1fr);gap:22px}.card{border:1px solid var(--line);background:var(--white);padding:24px}.card .code{font-family:monospace;color:var(--accent);font-size:11px;letter-spacing:1px;display:block;margin-bottom:12px}.card p{font-size:14px;margin-bottom:0}.card h3{font-size:22px}.pills{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:22px}.pill{font-size:10px;font-family:monospace;border:1px solid var(--line);padding:4px 9px;letter-spacing:.5px;color:var(--muted)}.formula{background:var(--ink);color:var(--paper);padding:25px 28px;font-family:monospace;font-size:13px;line-height:2;overflow-x:auto;white-space:pre-wrap;margin:25px 0}.definition-list{display:grid;grid-template-columns:100px 1fr;gap:13px 20px;font-size:14px}.definition-list dt{font-family:monospace;color:var(--accent)}.definition-list dd{margin:0}.axioms{display:grid;grid-template-columns:1fr 1fr;gap:14px}.axiom{border:1px solid var(--line);padding:0 20px;background:var(--white)}details summary{cursor:pointer;list-style:none;display:flex;gap:12px;align-items:baseline;position:relative;padding:17px 20px 17px 0;padding-right:20px;font-size:14px}details summary::-webkit-details-marker{display:none}details summary:after{content:'+';position:absolute;right:0;color:var(--accent);font-size:20px;line-height:1}details[open] summary:after{content:'−'}.axiom summary span{color:var(--accent);font-family:monospace;font-size:11px}.axiom p{font-size:13px;margin:0 0 18px}.axiom .subtle{color:var(--muted)}.mini-heading{font-family:monospace;letter-spacing:1px;font-size:11px;margin:36px 0 20px;color:var(--accent)}.table-scroll{overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:13px}th{text-align:left;font-weight:400;text-transform:uppercase;font-size:10px;letter-spacing:1px;color:var(--muted);padding:12px 14px;border-bottom:1px solid var(--ink)}td{padding:15px 14px;border-bottom:1px solid var(--line);vertical-align:top}td:first-child{font-family:monospace;color:var(--accent);white-space:nowrap}.status{font-family:monospace;font-size:10px;white-space:nowrap;padding:3px 7px;border:1px solid var(--line);display:inline-block}.status.conditional{background:#ece4d5;color:#74552a}.status.core{background:#e3e9e0}.status.open{background:#efe0d8;color:#87472c}.derivation-tree{display:grid;grid-template-columns:1fr 30px 1.2fr;gap:14px;align-items:center;margin:24px 0}.tree-source,.tree-target{padding:15px 20px;border:1px solid var(--line);font-family:monospace;font-size:12px}.tree-target{background:var(--white)}.tree-arrow{text-align:center;color:var(--accent)}.laboratory{background:var(--ink);color:var(--paper);max-width:none}.laboratory-inner{max-width:1220px;margin:auto}.laboratory .section-number,.laboratory .mini-heading{color:var(--gold)}.laboratory h2{color:var(--paper)}.lab-grid{display:grid;grid-template-columns:1fr 1.4fr;gap:35px}.lab-controls{border:1px solid #536763;padding:22px}.lab-controls h3{font-size:20px}.lab-toggle{display:flex;gap:10px;align-items:baseline;padding:9px 0;font-size:12px}.lab-toggle input{accent-color:var(--gold);height:15px;width:15px;flex-shrink:0}.lab-toggle span{color:var(--gold);font-family:monospace;font-size:11px;min-width:30px}.reset{border:1px solid #87978e;background:transparent;color:var(--paper);font-size:11px;padding:8px 12px;margin-top:15px}.lab-output{border-top:1px solid #536763;padding-top:16px}.lab-count{font-family:var(--serif);font-size:37px;margin:0 0 5px}.lab-caption{font-size:12px;color:#bec6ba;margin-bottom:22px}.theorem-chips{display:flex;flex-wrap:wrap;gap:7px}.theorem-chip{padding:5px 8px;border:1px solid #75867e;font-family:monospace;font-size:11px}.theorem-chip.blocked{color:#dcae91;border-color:#906f5e;text-decoration:line-through}.countermodel{padding:20px 0;border-bottom:1px solid #536763;font-size:13px}.countermodel strong{display:block;color:var(--gold);margin-bottom:6px}.lab-note{font-size:11px;color:#bec6ba;margin-top:20px}.historical{display:grid;grid-template-columns:repeat(2,1fr);gap:20px}.historical-card{border-top:1px solid var(--line);padding:22px 0}.historical-card .era{font-family:monospace;font-size:10px;color:var(--accent);letter-spacing:.6px}.historical-card p{font-size:13px;margin:8px 0}.history-warning{color:var(--muted);font-size:12px}.development-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:18px}.development-item{border-left:1px solid var(--line);padding-left:15px;font-size:13px}.development-item strong{font-weight:400;color:var(--accent);display:block;margin-bottom:5px}.boundary-grid{display:grid;grid-template-columns:1fr 1fr;gap:30px}.boundary-grid p{font-size:14px}.source-toolbar{display:flex;align-items:center;gap:20px;flex-wrap:wrap;margin-bottom:25px}.source-toolbar label{font-size:12px}.source-toolbar select{padding:9px;background:var(--white);border:1px solid var(--line);color:var(--ink);font-size:12px}.source-list{display:grid;grid-template-columns:1fr 1fr;gap:14px}.source-card{border:1px solid var(--line);padding:20px;background:var(--white)}.source-card h3{font-family:var(--sans);font-size:14px;font-weight:400}.source-card p{font-size:12px;margin:8px 0}.source-card .source-tag{font-family:monospace;font-size:9px;color:var(--accent);text-transform:uppercase;letter-spacing:.7px}.source-card a{font-size:11px}.source-meta{font-size:12px;color:var(--muted)}.closing{font-family:var(--serif);font-size:30px;line-height:1.6;color:var(--accent);margin:30px 0}.download-row{display:flex;gap:20px;flex-wrap:wrap;margin-top:25px}.download-row a{font-size:12px}footer{max-width:1400px;padding:45px 6%;margin:auto;color:var(--muted);display:flex;gap:25px;justify-content:space-between;align-items:start;font-size:11px}footer span{font-family:monospace;letter-spacing:1px;max-width:220px}footer p{max-width:440px;margin:0}footer a{white-space:nowrap}.noscript{margin:40px 6%}ul,ol{padding-left:22px}li{margin-bottom:7px}.prose p{font-size:15px;line-height:1.85}.compact-details{border-top:1px solid var(--line);padding:0 0 8px}.compact-details p{font-size:14px}.inline-code{font-family:monospace;font-size:.9em;color:var(--accent)}[hidden]{display:none!important}@media(max-width:1000px){.header-note{display:none}.hero{gap:10px}.section-heading{grid-template-columns:100px 1fr}.section-body{margin-left:132px}.grid-3{grid-template-columns:1fr}.card{padding:20px}.lab-grid{grid-template-columns:1fr 1.2fr}.axioms{grid-template-columns:1fr}.chapter-nav{gap:16px}}@media(max-width:700px){.site-header{height:76px}.wordmark{font-size:11px;letter-spacing:1.5px}.header-link{font-size:10px}.hero{grid-template-columns:1fr;padding-top:42px;padding-bottom:40px}.hero-copy{max-width:520px}h1{font-size:76px;letter-spacing:-3px}.hero-deck{font-size:21px}.hero-figure{max-width:380px;margin:auto;width:100%}.hero-figure svg{max-height:330px}.chapter-nav{position:static;justify-content:flex-start;padding:16px 6%;gap:12px 20px}.section{padding:50px 6%}.section-heading{display:block;margin-bottom:26px}.section-number{margin-bottom:16px;display:block}.section-body{margin-left:0}h2{font-size:33px}.section-intro{font-size:15px}.lede{font-size:22px}.lab-grid,.historical,.boundary-grid,.source-list,.development-grid{grid-template-columns:1fr}.lab-grid{gap:25px}.derivation-tree{grid-template-columns:1fr 22px 1fr;gap:5px}.tree-source,.tree-target{padding:12px;font-size:10px}td,th{padding:10px 8px}footer{flex-direction:column}.closing{font-size:26px}.formula{font-size:11px;padding:20px}.definition-list{grid-template-columns:75px 1fr;gap:12px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{.site-header,.hero-figure,.chapter-nav,.hero-actions,.laboratory,.source-toolbar,footer,.download-row{display:none}.hero{padding:20px 0}.hero h1{font-size:45px}.section{padding:25px 0;break-inside:avoid}.section-body{margin-left:0}.section-heading{display:block}.section-number{display:none}body{background:white;font-size:11pt}.grid-3,.historical,.source-list{grid-template-columns:1fr 1fr}.formula{background:#eee;color:black}details>p{display:block!important}}

.intro-prose{max-width:790px}.intro-prose p:first-child{margin-top:0}.intro-measure{font-family:var(--serif);font-size:26px;line-height:1.5;color:var(--accent);margin:0 0 28px}.intro-reading{border-top:1px solid var(--line);margin-top:30px;padding-top:25px}.intro-reading h3{font-size:21px}.intro-reading>p{font-size:14px;max-width:730px}.intro-reading .hero-actions{margin-top:20px}