html{scroll-behavior:auto}
.math-word{display:inline-block;white-space:nowrap}.exposition-reader .math-word .math-inline{white-space:nowrap}
.contents-jump{display:block;width:100%;border:0;background:transparent;color:var(--muted);font:inherit;text-align:left;padding:.25rem 0;cursor:pointer}.contents-jump:hover{color:var(--blue)}.contents-jump:focus-visible{outline:2px solid var(--blue);outline-offset:3px}.exposition-sidebar .contents-jump{font:.75rem/1.55 var(--sans);padding:.35rem 0}.exposition-mobile-contents .contents-jump{font:.86rem/1.65 var(--sans)}.exposition-sidebar .back-link{margin-top:1rem;color:var(--blue)}
.note-jump{border:0;background:transparent;color:var(--blue);padding:0;font:inherit;cursor:pointer}.exposition-reader sup .note-jump{font:500 .7rem var(--sans)}.note-jump:hover{text-decoration:underline}.note-jump:focus-visible,.nav-jump:focus-visible{outline:2px solid var(--blue);outline-offset:4px}.nav-jump{border:0;background:transparent;padding:.2rem 0;color:var(--muted);font:inherit;cursor:pointer}.nav-jump:hover{color:var(--ink)}
.draft-label{font:500 .72rem/1.5 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--accent)}
.exposition-heading{margin-left:17rem;max-width:48rem;padding:3.3rem 0 2.6rem}.exposition-heading h1{font:normal clamp(2.7rem,5vw,4.2rem)/1.1 var(--serif);letter-spacing:-.035em;margin:.9rem 0 1.2rem}.exposition-heading .lead{font:1.28rem/1.65 var(--serif);margin:0 0 1rem}.exposition-heading .description{color:var(--muted);max-width:43rem}.exposition-heading .text-links{font-size:.85rem}
.exposition-reader strong{font-weight:600}.exposition-reader .math-inline{font-style:normal;white-space:normal}.math-inline mjx-container{display:inline-block;max-width:none}.exposition-reader .math-display{font-style:normal;max-width:100%;overflow-x:auto;overflow-y:hidden}.math-display mjx-container{margin:.2em 0!important}.exposition-reader table{width:100%;border-collapse:collapse;font:.88rem/1.55 var(--sans);margin:1.4rem 0}.exposition-reader th,.exposition-reader td{padding:.65rem .7rem;text-align:left;vertical-align:top;border-bottom:1px solid var(--line)}.exposition-reader th{font-weight:500;border-top:1px solid var(--frame)}.table-scroll{max-width:100%;overflow-x:auto}.exposition-reader blockquote{margin:1.5rem 0;padding:.1rem 0 .1rem 1.25rem;border-left:2px solid var(--accent)}.exposition-reader sup a{font:500 .7rem var(--sans);text-decoration:none}.sources{font:.9rem/1.65 var(--sans);overflow-wrap:anywhere}.sources li{margin:1.15rem 0}.backlinks{white-space:nowrap;font-size:.82rem}.read-guide{border-left:2px solid var(--accent);padding:.3rem 0 .3rem 1.25rem;margin:0 0 2rem;font:.92rem/1.7 var(--sans);color:var(--muted)}
.figure{margin:1.8rem 0 2.2rem;padding:1.35rem 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);break-inside:avoid}.figure svg{display:block;width:100%;height:auto;color:var(--ink)}.figure svg text{fill:var(--ink);font-family:var(--sans);font-size:14px}.figure svg .small{font-size:12px}.figure svg .label{font-size:15px}.figure svg .neutral{fill:var(--wash)}.figure svg .strip-a{fill:#9b7a48;fill-opacity:.26}.figure svg .strip-b{fill:#345b70;fill-opacity:.22}.figure svg .corner{fill:#7a6455;fill-opacity:.42}.figure svg .line{fill:none;stroke:var(--ink);stroke-width:1.5}.figure svg .accent-line{fill:none;stroke:var(--accent);stroke-width:2}.figure svg .muted-line{fill:none;stroke:var(--line);stroke-width:1}.figure figcaption{font:.86rem/1.65 var(--sans);color:var(--muted);margin:1rem 0 0}.figure figcaption strong{font-weight:500;color:var(--ink)}
.figure-controls{display:flex;gap:1rem;align-items:center;flex-wrap:wrap;margin:0 0 .8rem;font:.84rem/1.5 var(--sans)}.figure-controls label{display:flex;gap:.65rem;align-items:center;flex-wrap:wrap}.figure-controls input[type=range]{width:min(240px,55vw);accent-color:var(--accent)}.figure-controls select,.figure-controls button{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--frame);border-radius:2px;padding:.35rem .7rem}.figure-controls :is(button,select,input):focus-visible{outline:2px solid var(--blue);outline-offset:4px}.figure-values{display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;font:.82rem/1.5 var(--sans);font-variant-numeric:tabular-nums;margin:.8rem 0}.figure-values strong{font-weight:500}.figure-columns{display:grid;grid-template-columns:1fr 1fr;gap:1.5rem}.figure-columns h3{font:normal 1.25rem var(--serif);margin:0 0 .6rem}.power-row{display:grid;grid-template-columns:repeat(7,minmax(0,1fr));gap:4px;font:.86rem/1.4 var(--sans);margin:.6rem 0}.power-row span{display:flex;align-items:center;justify-content:center;min-height:40px;background:var(--wash)}.power-row .discarded{background:transparent;color:var(--muted);text-decoration:line-through}.power-row .survives{background:var(--selection);font-weight:500}.probe-status{font:.86rem/1.5 var(--sans);margin:.7rem 0}.status-bad{color:#805340}.prime-description{font:.95rem/1.65 var(--sans);min-height:4rem}.tier-map{font:.9rem/1.7 var(--sans);display:grid;grid-template-columns:1fr 1fr;gap:1.2rem}.tier-map>div{border-top:2px solid var(--accent);padding-top:.9rem}.tier-map h3{font:normal 1.4rem var(--serif);margin:0 0 .5rem}.tier-map p{margin:.5rem 0}.figure svg text[data-endpoint]{font-weight:500}.math-display:focus-visible{outline:2px solid var(--blue);outline-offset:3px}
.layout-doc .exposition-heading{margin-left:0}.layout-doc .exposition-reader{max-width:52rem;margin-bottom:4rem}.layout-doc .mock-layout{display:grid;grid-template-columns:1fr 3fr;gap:1rem;background:var(--wash);padding:1.5rem;font:.85rem var(--sans)}.mock-layout>div{background:var(--surface);padding:1rem}.mock-layout .mock-title{grid-column:2;font:1.4rem var(--serif)}
.figure .diagram-narrow{display:none}.intersection-panels h3{text-align:center}
.exposition-main{max-width:48rem}
@media(max-width:960px){.exposition-layout{display:block}.exposition-sidebar{display:none}.exposition-main{margin-inline:auto}.exposition-heading{margin-left:auto;margin-right:auto}.exposition-mobile-contents{display:block;background:var(--wash);padding:1rem 1.1rem;font-size:.87rem;margin-bottom:1.6rem}.exposition-mobile-contents summary{cursor:pointer}.exposition-mobile-contents nav{margin-top:1rem}}
@media(max-width:1000px){.exposition-heading{margin-left:14rem}.figure svg text{font-size:15px}}
@media(min-width:761px) and (max-width:960px){.exposition-heading{margin-left:auto;margin-right:auto}}
@media(max-width:760px){.exposition-heading{margin-left:0;padding:2.2rem 0}.exposition-heading h1{font-size:2.8rem}.exposition-heading .lead{font-size:1.15rem}.figure{padding:1rem 0}.figure-columns,.tier-map{grid-template-columns:1fr}.figure-columns{gap:1rem}.figure svg text{font-size:16px}.figure svg .small{font-size:14px}.exposition-reader table{min-width:510px}.sources{font-size:.84rem}}
@media(max-width:760px){.figure svg text{font-size:26px}.figure .intersection-panels svg text,.figure .diagram-narrow text{font-size:14px}.figure .diagram-wide{display:none}.figure .diagram-narrow{display:block}.intersection-panels>div+div{border-top:1px solid var(--line);padding-top:1.25rem}}
@media print{.draft-label,.figure-controls,.nav,.text-links,.exposition-sidebar,.exposition-mobile-contents{display:none!important}.exposition-heading{margin-left:0;padding:.4in 0 .2in}.exposition-heading h1{font-size:28pt}.exposition-layout{display:block}.exposition-reader{font-size:11pt;line-height:1.5}.figure{padding:.1in 0;margin:.2in 0}.figure svg{max-height:2.7in}.math-display{overflow:visible!important;font-size:.9em!important}.math-display mjx-container{max-width:100%}.exposition-reader h2{break-before:auto;break-after:avoid}.figure,.math-display,table{break-inside:avoid}.figure-values,.figure figcaption{font-size:9pt}.footer{display:none}.wrap{width:100%}}

.exposition-reader h3 .subsection-link{display:block;color:inherit;text-decoration:none}.exposition-reader h3 .subsection-link:hover{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.2em}.exposition-reader h3 .subsection-link:focus-visible{outline:2px solid var(--blue);outline-offset:4px;text-decoration:underline}