/* SPDX-License-Identifier: AGPL-3.0-or-later */
@font-face{font-family:c0unt-r;src:url('../f/c0unt-r.woff2') format('woff2');font-display:swap}
@font-face{font-family:c0unt-h;src:url('../f/c0unt-h.woff2') format('woff2');font-display:swap}
@font-face{font-family:c0unt-x;src:url('../f/c0unt-x.woff2') format('woff2');font-display:swap}
:root{color-scheme:light;--paper:#f5efd9;--ink:#26291f;--muted:#555d45;--rule:#85866b;--accent:#992f24;--blue:#244d68;--wash:#d7d9b4;--night:#20271f;--night-ink:#f2eccf}
*{box-sizing:border-box}html{scroll-behavior:auto;scroll-padding-top:1rem}body{margin:0;padding:0 5vw 3rem;background:var(--paper);color:var(--ink);font:18px/1.72 c0unt-r;font-synthesis:none;overflow-wrap:break-word}a{color:var(--blue);text-decoration:underline;text-underline-offset:.22em}a:visited{color:#725042}a:hover{color:var(--accent)}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid var(--accent);outline-offset:4px}h1,h2,h3,h4,strong,b,dt,summary{font-family:c0unt-h;font-weight:normal}h1{font-size:clamp(2.5rem,7vw,5.5rem);line-height:1.08;letter-spacing:-.045em;margin:1.5rem 0 1.3rem;max-width:14ch}h2{font-size:clamp(1.6rem,3.5vw,2.25rem);line-height:1.2;margin:3.2rem 0 1.1rem;max-width:27ch}h3{font-size:1.35rem;line-height:1.35;margin:2.2rem 0 .7rem}h4{font-size:1.1rem;margin:1.5rem 0 .5rem}p{margin:1rem 0}li{margin:.5rem 0}ul,ol{padding-left:1.6rem}blockquote{margin:1.5rem 0 1.5rem 1rem;padding-left:1rem;border-left:3px solid var(--accent)}code,kbd,pre,samp{font:inherit}code{color:var(--accent);overflow-wrap:anywhere}pre{white-space:pre-wrap;overflow-wrap:anywhere}sup,sub{font-size:.7em;line-height:0}button,input,select,textarea,output{font:inherit;color:inherit}button,input,select{border-radius:0;accent-color:var(--accent)}button,select,input[type=number]{background:transparent;border:1px solid var(--rule);padding:.45rem .6rem;min-height:44px}button{cursor:pointer;border-width:0 0 2px;text-align:left}button:hover{color:var(--accent);border-color:var(--accent)}button:disabled{opacity:.55;cursor:default}option{font-family:c0unt-r;background:var(--paper);color:var(--ink)}input[type=checkbox]{width:1.25rem;height:1.25rem;margin-right:.6rem}input[type=range]{width:100%;min-height:44px}fieldset{border:0;margin:0;padding:0}legend{font-family:c0unt-h;font-size:1.15rem;margin-bottom:1rem}header,body>nav,footer{max-width:80rem;margin:0 auto;padding:1rem 0;font-size:.9rem}nav{display:flex;flex-wrap:wrap;gap:.55rem 1.35rem;align-items:baseline}body>header,body>nav{border-bottom:2px solid var(--ink)}header nav{padding:.5rem 0}main{max-width:76rem;margin:2.4rem auto 0}main>article,main>section,main>p,main>h2,main>h3,main>details,main>dl{max-width:49rem}article{max-width:49rem}main>article{margin-left:clamp(0rem,6vw,5rem)}article header{padding:0}footer{margin-top:4rem;border-top:2px solid var(--ink);max-width:65rem}footer p{max-width:48rem}.skip{position:absolute;left:1rem;top:-10rem;background:var(--paper);padding:1rem;z-index:2}.skip:focus{top:1rem}.sr,.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.eyebrow,.folio,.small,.meta,.kicker{font-size:.88rem;color:var(--muted)}.lead,.standfirst,.lede{font-size:1.28rem;max-width:40rem;line-height:1.55}.lead strong,.lede strong{color:var(--accent)}.toc,.contents{padding:1rem 0 1.5rem;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);max-width:48rem}.toc ol,.contents ol{columns:2;column-gap:3rem}.toc li,.contents li{break-inside:avoid}.equation,.math,.formula{margin:1.5rem 0;padding:.85rem .1rem .85rem 1rem;border-left:2px solid var(--accent);font-size:1.07rem;line-height:1.9;overflow-wrap:anywhere}.equation code,.math code,.formula code{color:inherit}.equation span,.formula span{max-width:100%}.theorem,.proposition,.lemma,.definition{margin:2rem 0;padding:.1rem 0 .7rem 1.1rem;border-left:3px solid var(--ink)}.theorem h3,.proposition h3,.lemma h3,.definition h3{margin-top:.5rem}.proof{margin:1.2rem 0 2rem;padding-left:1.1rem}.proof>p:first-child{margin-top:.4rem}.warning,.caution,.counterexample{margin:1.8rem 0;padding:.3rem 0 .6rem;border-top:3px double var(--accent);border-bottom:1px solid var(--accent)}.aside,.marginal,.margin-note{max-width:35rem;margin:1.6rem 0 1.6rem auto;color:var(--muted);font-size:.95rem}.aside:before,.marginal:before{content:'* ';color:var(--accent)}.night{background:var(--night);color:var(--night-ink);padding:1.5rem 1.2rem;margin:2rem -.4rem;--muted:#bfc6a9;--rule:#889172;--accent:#ffab86;--blue:#c5d6b0;--wash:#4c5941}.night a:visited{color:#dbb4ca}.night h2:first-child{margin-top:.5rem}.index-map{display:block;margin:2rem 0 3rem;max-width:65rem}.index-map li:nth-child(even){margin-left:3rem}.index-map a{font-size:1.4rem}.colophon{font-size:.9rem;color:var(--muted)}details{margin:1.6rem 0;border-top:1px solid var(--rule);padding:.65rem 0}summary{cursor:pointer;min-height:44px;padding:.25rem 0}details[open]>summary{margin-bottom:1rem}table{border-collapse:collapse;font-size:.92rem;width:100%;margin:1.5rem 0;line-height:1.5}th,td{text-align:left;vertical-align:top;border-bottom:1px solid var(--rule);padding:.7rem .65rem .7rem 0;overflow-wrap:anywhere}th{font-family:c0unt-h;font-weight:normal}td code{overflow-wrap:anywhere}.table-scroll{max-width:100%;overflow:auto}.table-scroll table{min-width:30rem}dl{margin:1.5rem 0}dt{margin-top:1rem}dd{margin:.4rem 0 1rem 1.2rem}figure{margin:2rem 0}figure svg,svg.diagram{display:block;width:100%;height:auto;max-width:100%}figcaption{font-size:.88rem;max-width:43rem;margin-top:.7rem;color:var(--muted)}svg text{font-family:c0unt-r;font-size:19px;fill:currentColor;stroke:none}svg{color:var(--ink)}svg .line,svg .axis{stroke:currentColor;fill:none;stroke-width:1.6}svg .accent{stroke:var(--accent);fill:none;stroke-width:2.4}svg .secondary{stroke:var(--blue);fill:none;stroke-width:2}svg .dashed{stroke-dasharray:7 6}.lab-fallback{padding:1rem 0}[data-lab]{margin:2.5rem 0;padding:1.5rem 0;border-top:3px double var(--ink);border-bottom:1px solid var(--rule)}[data-lab] .lab-controls{display:flex;flex-wrap:wrap;gap:1rem 1.4rem;align-items:end;margin:1rem 0}[data-lab] .lab-field{display:flex;flex-direction:column;gap:.3rem;min-width:5rem;max-width:100%;font-size:.95rem}[data-lab] .lab-field input[type=number]{width:8.5rem}[data-lab] .lab-check{display:flex;align-items:center;min-height:44px;font-size:.95rem}[data-lab] .lab-actions{display:flex;gap:1.8rem;align-items:center}[data-lab] svg{width:100%;height:auto;display:block;max-height:39rem}[data-lab] output{display:block;margin:1.1rem 0;font-family:c0unt-h;overflow-wrap:anywhere;line-height:1.8}[data-lab] [data-detail]{font-size:.93rem;max-width:43rem}[data-lab] [data-error]{color:var(--accent)}[data-lab] .lab-key{font-size:.85rem;color:var(--muted)}[hidden]{display:none!important}.chapter-nav{margin:3rem 0 1rem;border-top:1px solid var(--rule);padding-top:1rem;display:flex;flex-wrap:wrap;gap:1rem 2rem}
@media(min-width:1080px){.wide{max-width:68rem!important}.index-map{margin-left:3rem}.index-map li:nth-child(3n){margin-left:7rem}article>.marginal{margin-right:-5rem}}
@media(max-width:600px){body{padding:0 5vw 2rem;font-size:16px;line-height:1.7}main{margin-top:1.6rem}main>article{margin-left:0}h1{font-size:2.65rem;letter-spacing:-.035em}h2{margin-top:2.4rem}nav{gap:.55rem 1rem}.toc ol,.contents ol{columns:1}.equation,.math,.formula{font-size:.98rem;padding-left:.6rem;line-height:1.85}.theorem,.proposition,.lemma,.definition,.proof{padding-left:.65rem}.lead,.lede,.standfirst{font-size:1.13rem}.index-map li:nth-child(even){margin-left:1rem}.index-map a{font-size:1.2rem}.night{padding:1rem .8rem}.lab-controls{gap:.8rem!important}[data-lab] svg{overflow:visible}table{font-size:.85rem}th,td{padding-right:.4rem}dd{margin-left:.65rem}}
@media(prefers-reduced-motion:reduce){*,*::before,*::after{scroll-behavior:auto!important;animation:none!important;transition:none!important}}
@media print{body{font-size:11pt;background:white;color:black;padding:0}main>article{margin-left:0}nav,.skip,.lab-controls,.lab-actions{display:none}main,article{max-width:none}.night{background:none;color:black;padding:0}h1{font-size:30pt}h2{break-after:avoid}.equation,figure{break-inside:avoid}a{color:inherit}[data-lab]{break-inside:avoid}}
/* Compact display aliases used by the authored chapters. */
.eq{margin:1.5rem 0;padding:.85rem .1rem .85rem 1rem;border-left:2px solid var(--accent);font-size:1.07rem;line-height:1.9;overflow-wrap:anywhere}.atlas{margin:2rem 0;max-width:67rem}.atlas svg{width:100%;height:auto}.atlas a{font-family:c0unt-h}