:root{color-scheme:light;--paper:#f5f3ed;--ink:#183835;--muted:#60716b;--rule:#d2d9cf;--teal:#29675b;--light:#e8ede5;--accent:#a65032;--white:#fffefa}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:90px}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,"Segoe UI","Microsoft YaHei",sans-serif;font-size:16px;line-height:1.8}a{color:inherit;text-underline-offset:5px}button,input,select{font:inherit}button,select{cursor:pointer}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid var(--accent);outline-offset:5px}img{display:block;max-width:100%;height:auto}button{color:inherit}p{margin:0 0 1em}h1,h2,h3{font-weight:550;margin:0;line-height:1.35}h2{font-size:clamp(27px,3.2vw,42px);letter-spacing:-.035em}h3{font-size:21px}em{font-style:normal;color:var(--teal)}.wrap{width:min(1180px,calc(100% - 72px));margin-inline:auto}.masthead{display:flex;align-items:center;justify-content:space-between;padding:24px 36px;border-bottom:1px solid var(--rule);gap:16px}.wordmark{font-size:12px;font-weight:700;letter-spacing:.12em;text-decoration:none;display:flex;gap:12px;align-items:center}.mark{font-size:32px;line-height:1;color:var(--teal)}.edition{font-size:12px;color:var(--muted)}.local-tag{border:1px solid var(--rule);padding:3px 9px;border-radius:20px;margin-left:12px}.intro{padding-top:78px;padding-bottom:43px}.eyebrow{font:600 11px/1.4 "Segoe UI",sans-serif;letter-spacing:.17em;color:var(--teal);margin-bottom:19px}.intro h1{font-size:clamp(43px,6.1vw,78px);letter-spacing:-.055em;line-height:1.24;margin-bottom:29px}.dek{font-size:19px;color:#486359;line-height:1.9;max-width:770px}.intro-bottom{display:flex;justify-content:space-between;align-items:end;margin-top:41px;gap:20px}.intro-bottom p{font-size:12px;margin:0;color:var(--muted);text-align:right}.intro-bottom p span{color:#7a8780}.text-link{font-size:14px;font-weight:600;display:inline-flex;align-items:center;gap:24px;text-decoration:none}.text-link span{font-size:23px}.chapters{position:sticky;top:0;z-index:10;background:rgba(245,243,237,.97);border-block:1px solid var(--rule)}.chapter-inner{display:flex;gap:42px}.chapters a{font-size:13px;text-decoration:none;padding:15px 0;white-space:nowrap}.chapters a span{color:#829189;font-size:10px;margin-right:7px}.chapters a.active{box-shadow:inset 0 -2px var(--teal);color:var(--teal);font-weight:650}.chapter{padding-block:77px}.section-heading{display:flex;gap:24px;align-items:baseline;margin-bottom:26px}.section-heading .eyebrow{margin-bottom:11px}.chapter-no{color:#96a69a;font:300 34px/1 Georgia,serif;font-style:italic}.section-lead{max-width:795px;color:#4c625a;font-size:17px;margin-bottom:30px}.case-bar{display:flex;align-items:center;justify-content:space-between;gap:16px;margin-bottom:28px;flex-wrap:wrap}.segmented{display:inline-flex;border:1px solid #b8c8bb;padding:4px;gap:3px;border-radius:7px}.segmented button{border:0;background:transparent;padding:10px 19px;border-radius:4px;font-size:14px;white-space:nowrap}.segmented button[aria-pressed=true]{background:var(--ink);color:white}.tiny{font-size:12px;color:var(--muted)}.record-pair{display:grid;grid-template-columns:1fr auto 1fr;border-block:1px solid var(--rule);align-items:center;padding:20px 0;gap:28px}.record-pair>div{display:flex;align-items:baseline;gap:15px;flex-wrap:wrap}.record-pair>div:last-child{justify-content:flex-end}.record-label{font-size:11px;color:var(--muted)}.record-pair strong{font-size:23px;font-weight:500}.record-pair span[id]{font:12px/1.5 "Segoe UI",sans-serif;color:var(--muted);font-variant-numeric:tabular-nums}.pair-mark{font-size:20px;color:#90a196}.metrics{display:grid;grid-template-columns:repeat(3,1fr);background:var(--white);border-bottom:1px solid var(--rule)}.metrics article{padding:30px 29px 27px}.metrics article+article{border-left:1px solid var(--rule)}.metrics article>p:first-child{font-size:14px;margin-bottom:12px}.metrics article>div{display:flex;gap:11px;align-items:baseline}.metrics strong{font:450 50px/1.15 "Segoe UI",sans-serif;letter-spacing:-.06em}.metrics article>div>span{font-size:12px;color:var(--muted)}.metric-foot{font-size:12px;color:var(--muted);line-height:1.9;margin:17px 0 0}.qualification{font-size:14px;border-left:2px solid var(--accent);padding-left:16px;margin:23px 0;color:#655749;max-width:950px}.method{border-block:1px solid var(--rule);font-size:14px}.method summary{cursor:pointer;padding:15px 0;color:var(--teal)}.method>div{padding:6px 0 23px;max-width:970px;color:#51665d}.method a{font-size:13px}.method figure{margin:0}.path-chapter{background:var(--light);border-block:1px solid #d4dece}.path-observations{display:grid;grid-template-columns:1fr 1fr;gap:28px;margin-bottom:28px}.path-observations article{border-left:1px solid #a8baac;padding-left:18px}.note-label{color:var(--teal);font-size:12px;font-weight:650}.path-observations p{font-size:15px;margin:6px 0 0;line-height:1.8}.wide-figure{margin:0;background:white;border:1px solid #c9d7c8;border-radius:8px;overflow:hidden}.wide-figure>img{width:100%}.figure-toolbar{display:flex;justify-content:space-between;align-items:center;padding:15px 19px;border-bottom:1px solid #e3e9e0;gap:16px}.figure-toolbar>span{font-size:12px;color:var(--muted)}.small-button{padding:6px 13px;border:1px solid #bdccc0;background:transparent;border-radius:5px;font-size:12px;white-space:nowrap}.small-button:hover{background:#e7eee4}.wide-figure figcaption{padding:18px 22px;border-top:1px solid #e3e9e0}.wide-figure figcaption,figcaption{font-size:12px;color:var(--muted);line-height:1.9}.viewer-call{display:flex;justify-content:space-between;align-items:center;gap:25px;padding:27px 0 20px}.viewer-call h3{font-size:18px;margin-bottom:8px}.viewer-call p{font-size:13px;margin:0;color:var(--muted);max-width:640px}.button{display:inline-flex;align-items:center;gap:24px;background:var(--teal);color:white;font-size:13px;padding:12px 18px;border-radius:5px;text-decoration:none;white-space:nowrap}.button:hover{background:#204f46}.boundary-note{border-top:1px solid #bdcdbc;padding-top:22px;margin:19px 0 0;font-size:13px;color:#5c6c60;line-height:2}.boundary-note b{font-weight:650;color:#36574b;margin-right:9px}.member-experiment{margin-top:33px;border:1px solid var(--rule);background:var(--white);padding:28px;border-radius:8px}.member-heading{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:19px}.mini-tag{display:block;font-size:11px;color:var(--accent);margin-bottom:10px}.member-heading h3{font-size:23px}.member-heading label{font-size:12px;color:var(--muted);display:flex;align-items:center;gap:12px}.member-heading select{border:1px solid #c3d0c4;background:#fffefa;padding:7px 9px;border-radius:5px;color:var(--ink);font-size:13px}.small-text{font-size:12px;color:var(--muted);line-height:1.85}.summary-equalities{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid #d9e0d5;margin:18px 0 28px;border-radius:5px;overflow:hidden}.summary-equalities>div{background:#eef2e9;padding:14px 15px}.summary-equalities>div+div{border-left:1px solid #d9e0d5}.summary-equalities span{display:block;font-size:11px;color:var(--muted)}.summary-equalities strong{font:500 17px/2 "Segoe UI",sans-serif;white-space:nowrap}.summary-equalities small{font-size:10px;color:var(--teal);margin-left:7px}.member-table-wrap{overflow-x:auto;margin-bottom:17px}table{width:100%;border-collapse:collapse;text-align:right;font-size:13px;font-variant-numeric:tabular-nums}caption{text-align:left;font-size:12px;margin-bottom:9px;color:var(--muted)}th{font-size:11px;font-weight:500;color:var(--muted);white-space:nowrap}th,td{padding:8px 10px;border-bottom:1px solid #e4e9e1}th:first-child,td:first-child{text-align:left;padding-left:6px}tr.changed{background:#edf2e8}tr.changed td:nth-child(3){font-weight:700;color:var(--teal)}td:last-child{font-size:11px;color:#728076}.changed td:last-child{color:var(--teal)}.rack-dot{display:inline-block;width:7px;height:7px;border-radius:50%;margin-right:9px}.image-button{border:0;padding:0;background:transparent;cursor:zoom-in}.link-row{display:flex;gap:24px;flex-wrap:wrap;margin-top:16px}.meaning-chapter{background:#173c36;color:#e9eee4}.meaning-chapter .eyebrow{color:#9dbdaa}.meaning-chapter .chapter-no{color:#7ea28c}.meaning-grid{display:grid;grid-template-columns:1fr 1fr;gap:50px;padding-block:12px 34px}.meaning-grid article{padding-top:17px;border-top:1px solid #557565}.card-kicker{font-size:12px;color:#adc7b3}.meaning-grid h3{font-size:24px;margin:16px 0}.meaning-grid p{font-size:15px;color:#bed0c3}.counterexample{display:flex;gap:24px;padding:30px;background:#24493e;border:1px solid #4b6b57;border-radius:6px}.counter-icon{font:42px/1 Georgia,serif;color:#d3bea0}.counterexample .eyebrow{font-family:inherit;letter-spacing:.03em;color:#d3bea0;margin-bottom:13px}.counterexample h3{margin-bottom:15px}.counterexample p,.counterexample details{font-size:14px;color:#c5d4c6;max-width:850px}.counterexample p:last-of-type{margin-bottom:0}.counterexample details{margin-top:17px}.counterexample summary{color:#d8e3d6;cursor:pointer}.counterexample details[open] p{margin-top:14px}.counterexample a{color:#dae7d7}.closing{padding-top:70px}.closing>p:first-child{font-size:13px;color:#a9c0ad}.closing h3{font-size:clamp(26px,3.4vw,42px);line-height:1.6;letter-spacing:-.035em;margin-bottom:25px}.closing>p:last-child{font-size:14px;color:#b3c9b7;line-height:2}.sources{padding-block:77px;display:grid;grid-template-columns:1fr 1fr;gap:70px}.sources h2{font-size:28px;margin-bottom:22px}.sources>div>p{font-size:14px;color:var(--muted)}.sources>div>p.small-text{font-size:12px}.source-links a{display:flex;align-items:center;gap:18px;text-decoration:none;border-bottom:1px solid var(--rule);padding:16px 0}.source-links a:hover{color:var(--teal)}.source-links a>span:first-child{font:italic 18px Georgia,serif;color:#889b8d}.source-links a>span:last-child{margin-left:auto}.source-links a>div{font-size:15px}.source-links small{display:block;font-size:12px;color:var(--muted)}.footer{border-top:1px solid var(--rule);padding-block:25px 40px;display:flex;align-items:flex-start;gap:34px;font-size:11px;color:var(--muted)}.footer>span{white-space:nowrap}.footer p{max-width:690px;line-height:1.7}.footer>a{white-space:nowrap;margin-left:auto}.skip{position:fixed;left:15px;top:-100px;z-index:50;background:white;padding:12px 18px}.skip:focus{top:15px}dialog{border:0;border-radius:8px;padding:0;background:var(--white);color:var(--ink);width:min(1600px,96vw);height:94vh;max-width:96vw;max-height:94vh;overflow:hidden;box-shadow:0 20px 90px #0005}dialog[open]{display:flex;flex-direction:column}dialog::backdrop{background:#10241dde;backdrop-filter:blur(3px)}.dialog-bar{display:flex;gap:20px;align-items:center;padding:15px 22px;border-bottom:1px solid var(--rule);flex:none}.dialog-bar h2{font-size:16px}.dialog-bar label{margin-left:auto;display:flex;align-items:center;gap:10px;font-size:12px;white-space:nowrap}.dialog-bar input{width:130px;accent-color:var(--teal)}.dialog-bar output{min-width:40px}.image-scroller{overflow:auto;flex:1;background:white;padding:16px;min-height:0}.image-scroller img{max-width:none;margin-inline:auto;display:block}.dialog-note{font-size:11px;padding:8px 20px;margin:0;border-top:1px solid var(--rule);color:var(--muted);flex:none}
@media(max-width:850px){.wrap{width:calc(100% - 40px)}.masthead{padding:18px 20px}.wordmark{font-size:10px;letter-spacing:.08em}.edition{font-size:11px}.local-tag{margin-left:5px}.intro{padding-top:55px}.intro h1{font-size:57px}.chapter{padding-block:57px}.chapter-inner{gap:25px}.metrics article{padding:25px 19px}.metrics strong{font-size:42px}.record-pair{gap:16px}.record-pair>div{gap:10px}.record-pair span[id]{flex-basis:100%}.record-pair>div:last-child span[id]{text-align:right}.viewer-call{align-items:start;flex-direction:column;gap:18px}.meaning-grid{gap:30px}.sources{gap:36px}.summary-equalities{grid-template-columns:repeat(2,1fr)}.summary-equalities>div:nth-child(3){border-left:0;border-top:1px solid #d9e0d5}.summary-equalities>div:nth-child(4){border-top:1px solid #d9e0d5}.member-heading{flex-wrap:wrap}.footer{flex-wrap:wrap}.footer p{order:3;max-width:100%;margin:0}}
@media(max-width:540px){.masthead{align-items:flex-start}.edition{max-width:120px;text-align:right}.local-tag{display:inline-block;margin-top:4px}.wordmark{max-width:145px;line-height:1.5}.intro{padding-top:43px;padding-bottom:28px}.intro h1{font-size:44px}.dek{font-size:16px}.desktop{display:none}.intro-bottom{margin-top:25px;align-items:start}.intro-bottom p{font-size:10px}.text-link{font-size:12px;gap:12px}.chapter-inner{gap:0;justify-content:space-between}.chapters a{font-size:11px;padding:13px 0}.chapters a span{font-size:9px;margin-right:3px}.chapter{padding-block:45px}.section-heading{gap:15px}.section-heading h2{font-size:27px}.chapter-no{font-size:27px}.section-lead{font-size:15px}.segmented{width:100%}.segmented button{flex:1;font-size:12px;padding:9px 6px}.case-bar{gap:9px;margin-bottom:16px}.record-pair{gap:12px;padding-block:16px}.record-pair>div{gap:8px}.record-pair strong{font-size:21px}.record-label{font-size:10px}.record-pair span[id]{font-size:10px}.metrics{grid-template-columns:1fr}.metrics article{padding:18px 19px;display:grid;grid-template-columns:1.15fr 1fr;gap:3px 10px}.metrics article+article{border-left:0;border-top:1px solid var(--rule)}.metrics article>p:first-child{font-size:13px;grid-column:1;grid-row:1;margin:0}.metrics article>div{grid-column:2;grid-row:1/3;justify-content:end;gap:6px}.metrics strong{font-size:37px}.metrics article>div>span{font-size:10px;max-width:48px;line-height:1.6}.metric-foot{grid-column:1;margin:0;font-size:10px}.qualification,.method{font-size:13px}.path-observations{gap:15px}.path-observations p{font-size:13px}.path-observations article{padding-left:12px}.figure-toolbar{padding:10px;gap:8px}.figure-toolbar>span{font-size:10px}.small-button{padding:5px 9px;font-size:11px}.wide-figure figcaption{padding:13px}.member-experiment{padding:19px 13px}.member-heading h3{font-size:19px}.member-heading label{font-size:11px}.member-heading select{font-size:12px}.summary-equalities>div{padding:12px}.summary-equalities strong{font-size:15px}.member-table-wrap table{min-width:590px}.meaning-grid{grid-template-columns:1fr;gap:16px}.meaning-grid h3{font-size:22px}.counterexample{padding:23px 19px;gap:12px}.counter-icon{font-size:32px}.counterexample h3{font-size:19px}.counterexample p{font-size:13px}.closing{padding-top:46px}.sources{padding-block:50px;grid-template-columns:1fr;gap:22px}.sources h2{font-size:25px}.footer{gap:14px}.dialog-bar{padding:12px;gap:10px;flex-wrap:wrap}.dialog-bar h2{font-size:13px;flex:1;min-width:150px}.dialog-bar label{order:3;margin:0;width:100%;justify-content:center}.dialog-note{font-size:10px;line-height:1.6}.image-scroller{padding:8px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{.chapters,.masthead,.segmented,.viewer-call,button,dialog,.source-links,.skip{display:none!important}.wrap{width:100%}.chapter,.sources,.intro{padding-block:25px}.intro h1{font-size:36px}.meaning-chapter{background:white;color:#173c36}.meaning-chapter p,.meaning-chapter .eyebrow,.counterexample *{color:#173c36!important}.counterexample{background:white}.wide-figure,article{break-inside:avoid}body{font-size:12px}a{color:#173c36}.metrics strong{font-size:30px}}