:root{color-scheme:light;--paper:#f7f7f4;--surface:#fff;--ink:#22211f;--muted:#6e6b65;--rule:#e2e1db;--accent:#1f77b4;--accent-deep:#175a8a;--on-accent:#fff;--highlight:#1f77b429;--shade:34, 33, 31;--sheet-filter:none;--serif:Charter, "Bitstream Charter", "Sitka Text", Cambria, "Source Serif 4", Georgia, serif;--sans:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;--t-xs:.78rem;--t-sm:.87rem;--t-base:1rem;--t-md:1.2rem;--t-lg:1.44rem;--t-xl:1.73rem;--column:46rem;--gap:1.5rem}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--paper:#1c1b19;--surface:#262522;--ink:#e4e2dc;--muted:#9d998f;--rule:#3a3935;--accent:#5ea8dc;--accent-deep:#7db9e6;--on-accent:#16150f;--highlight:#5ea8dc47;--shade:0, 0, 0;--sheet-filter:brightness(.86)}}:root[data-theme=dark]{color-scheme:dark;--paper:#1c1b19;--surface:#262522;--ink:#e4e2dc;--muted:#9d998f;--rule:#3a3935;--accent:#5ea8dc;--accent-deep:#7db9e6;--on-accent:#16150f;--highlight:#5ea8dc47;--shade:0, 0, 0;--sheet-filter:brightness(.86)}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:18px}body{background:var(--paper);color:var(--ink);font-family:var(--serif);font-size:var(--t-base);text-rendering:optimizelegibility;margin:0;line-height:1.6}a{color:var(--accent-deep);text-underline-offset:2px;text-decoration-thickness:1px}a:hover{color:var(--accent)}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}img{max-width:100%;height:auto;display:block}.shell{width:100%;max-width:var(--column);margin:0 auto;padding:0 1.25rem}.masthead{align-items:baseline;gap:1rem;padding-top:2.5rem;padding-bottom:1.25rem;display:flex}.theme-toggle{cursor:pointer;background:0 0;border:0;align-items:center;gap:.4rem;margin-left:auto;padding:.25rem 0;display:inline-flex}.theme-toggle__icon{color:var(--muted);transition:color .15s;display:block}.theme-toggle__icon--sun{color:var(--ink)}.theme-toggle__track{border:1px solid var(--muted);border-radius:999px;width:2.1rem;height:1.2rem;transition:background-color .15s,border-color .15s;position:relative}.theme-toggle__thumb{background:var(--muted);border-radius:50%;width:.8rem;height:.8rem;transition:transform .15s,background-color .15s;position:absolute;top:50%;left:.15rem;transform:translateY(-50%)}.theme-toggle:hover .theme-toggle__track{border-color:var(--ink)}:root[data-theme=dark] .theme-toggle__track{background:var(--accent);border-color:var(--accent)}:root[data-theme=dark] .theme-toggle__thumb{background:var(--on-accent);transform:translate(.88rem,-50%)}:root[data-theme=dark] .theme-toggle__icon--sun{color:var(--muted)}:root[data-theme=dark] .theme-toggle__icon--moon{color:var(--ink)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-toggle__track{background:var(--accent);border-color:var(--accent)}:root:not([data-theme=light]) .theme-toggle__thumb{background:var(--on-accent);transform:translate(.88rem,-50%)}:root:not([data-theme=light]) .theme-toggle__icon--sun{color:var(--muted)}:root:not([data-theme=light]) .theme-toggle__icon--moon{color:var(--ink)}}.masthead__home{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);text-decoration:none}.masthead__home:hover{color:var(--accent)}main{padding-bottom:5rem}.foot{border-top:1px solid var(--rule);font-family:var(--sans);font-size:var(--t-xs);color:var(--muted);flex-wrap:wrap;align-items:center;gap:1.25rem;margin-top:4rem;padding:1.25rem 0 3rem;display:flex}.intro{padding:1rem 0 2rem}.intro h1{font-size:var(--t-xl);margin:0 0 .75rem;font-weight:600;line-height:1.25}.intro p{max-width:34rem;color:var(--muted);margin:0}.intro p.intro__byline{font-family:var(--sans);font-size:var(--t-sm);align-items:center;gap:.6rem;margin:-.25rem 0 .75rem;display:flex}.social{align-items:center;gap:.5rem;display:inline-flex}.social__link{color:var(--muted);display:inline-flex}.social__link:hover,.social__link:focus-visible{color:var(--accent)}.tools{font-family:var(--sans);font-size:var(--t-sm);align-items:center;gap:.75rem;padding-bottom:2.5rem;display:flex}.tools__search{border:1px solid var(--rule);background:var(--surface);min-width:0;font:inherit;color:var(--ink);border-radius:2px;flex:auto;padding:.5rem .7rem}.tools__search::placeholder{color:var(--muted)}.button{font-family:var(--sans);font-size:var(--t-sm);border:1px solid var(--accent);color:var(--accent-deep);cursor:pointer;background:0 0;border-radius:2px;flex:none;padding:.5rem .8rem;text-decoration:none}.button:hover{background:var(--accent);color:var(--on-accent)}.button--quiet{border-color:var(--rule);color:var(--muted)}.button--quiet:hover{border-color:var(--accent);color:var(--accent-deep);background:0 0}.subjects{margin:0;padding:0;list-style:none}.subject{border-top:1px solid var(--rule);column-gap:var(--gap);grid-template-columns:1fr auto;align-items:start;padding:1.6rem 0;display:grid}.subject__link{font-size:var(--t-md);color:var(--ink);font-weight:600;line-height:1.3;text-decoration:none}.subject__link:hover{color:var(--accent-deep);text-decoration:underline}.subject__blurb{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);max-width:28rem;margin:.3rem 0 0}.subject__count{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);white-space:nowrap;padding-top:.25rem}.subject--empty .subject__link{color:var(--muted)}.page-title{font-size:var(--t-xl);margin:.5rem 0;font-weight:600;line-height:1.25}.page-lede{color:var(--muted);max-width:34rem;margin:0 0 .4rem}.page-meta{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);margin:0 0 2.5rem}.topic{margin-bottom:2.75rem}.topic:not([open]){margin-bottom:.5rem}.topic__summary{border-bottom:1px solid var(--rule);cursor:pointer;user-select:none;align-items:baseline;gap:.6rem;margin:0 0 .9rem;padding-bottom:.4rem;list-style:none;display:flex}.topic__summary::-webkit-details-marker{display:none}.topic__summary:before{content:"";border-right:1.5px solid var(--muted);border-bottom:1.5px solid var(--muted);flex:none;width:.4rem;height:.4rem;transition:transform .15s;transform:translateY(-.2rem)rotate(45deg)}.topic:not([open]) .topic__summary:before{transform:translateY(-.1rem)rotate(-45deg)}.topic__summary:hover .topic__name{color:var(--accent-deep)}.topic__summary:hover:before{border-color:var(--accent-deep)}.topic__name{font-family:var(--sans);font-size:var(--t-sm);letter-spacing:.01em;color:var(--ink);margin:0;font-weight:600}.topic__count{font-family:var(--sans);font-size:var(--t-xs);color:var(--muted);margin-left:auto}.chapter__name{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);margin:1.5rem 0 .7rem;font-weight:400}.topic__name+.chapter__name{margin-top:0}.problems{margin:0;padding:0;list-style:none}.problems li+li{border-top:1px solid var(--rule)}.problem-link{color:var(--ink);border-radius:4px;grid-template-columns:1fr auto;align-items:center;column-gap:1rem;margin:0 -.75rem;padding:.75rem;line-height:1.45;text-decoration:none;transition:background-color .15s;display:grid}.problem-link:after{content:"→";font-family:var(--sans);color:var(--muted);grid-area:1/2/span 2;transition:transform .15s,color .15s}.problem-link:hover{background:rgba(var(--shade), .05)}.problem-link:hover:after{color:var(--accent-deep);transform:translate(3px)}.problem-link__statement{color:var(--accent-deep);grid-column:1}.problem-link:hover .problem-link__statement{text-decoration:underline}.problem-link__meta{font-family:var(--sans);font-size:var(--t-xs);color:var(--muted);grid-column:1;margin-top:.15rem}.crumbs{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);margin-bottom:1.25rem}.crumbs a{color:var(--muted)}.crumbs a:hover{color:var(--accent)}.statement{font-size:var(--t-lg);max-width:34rem;margin:0 0 .6rem;font-weight:400;line-height:1.4}.citation{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);margin:0 0 2.5rem}.pages{margin:0 0 2.5rem}.page-shot{border:1px solid var(--rule);width:100%;filter:var(--sheet-filter);cursor:zoom-in;background:#fff;margin:0 0 1rem;padding:0;display:block}.figure{margin:0 0 1.75rem}.figure img{border:1px solid var(--rule);width:100%;filter:var(--sheet-filter);cursor:zoom-in;background:#fff}.figure figcaption{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);max-width:34rem;margin-top:.5rem}.notes{max-width:34rem}.notes>:first-child{margin-top:0}.notes h2,.notes h3{font-size:var(--t-md);margin:2rem 0 .5rem;font-weight:600}.notes code{background:var(--surface);border:1px solid var(--rule);border-radius:2px;padding:.05em .3em;font-size:.85em}.notes pre{background:var(--surface);border:1px solid var(--rule);font-size:var(--t-sm);padding:.9rem;overflow-x:auto}.notes pre code{background:0 0;border:0;padding:0}.repo{font-family:var(--sans);font-size:var(--t-sm);border-top:1px solid var(--rule);margin:2rem 0 0;padding-top:1.25rem}.afterword{font-family:var(--sans);font-size:var(--t-sm);flex-wrap:wrap;align-items:center;gap:.75rem;margin-top:2.5rem;display:flex}.afterword__nav{color:var(--muted)}.search-status{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);margin:0 0 1rem}.results{margin:0;padding:0;list-style:none}.results li{border-top:1px solid var(--rule)}.results mark{background:var(--highlight);color:inherit}dialog.lucky{border:1px solid var(--rule);background:var(--surface);color:var(--ink);width:min(30rem,100vw - 2rem);max-width:none;box-shadow:0 18px 40px -24px rgba(var(--shade), .5);border-radius:2px;padding:0}dialog.lucky::backdrop{background:rgba(var(--shade), .55)}.lucky__thumb{filter:var(--sheet-filter);object-fit:cover;object-position:center;border-bottom:1px solid var(--rule);background:var(--paper);width:100%;height:11rem}.lucky__thumb--scan{object-position:top center}.lucky__text{padding:1.25rem 1.25rem 0}.lucky__meta{font-family:var(--sans);font-size:var(--t-xs);color:var(--muted);margin:0 0 .5rem}.lucky__statement{font-size:var(--t-md);margin:0;line-height:1.35}.lucky__blurb{font-size:var(--t-sm);color:var(--ink);margin:.7rem 0 0;line-height:1.55}.lucky__source{font-family:var(--sans);font-size:var(--t-xs);color:var(--muted);margin:.7rem 0 0}.lucky__actions{align-items:center;gap:.6rem;padding:1.25rem;display:flex}.lucky__close{font-family:var(--sans);font-size:var(--t-sm);color:var(--muted);cursor:pointer;background:0 0;border:0;margin-left:auto;padding:.4rem}.lucky__close:hover{color:var(--ink)}html:has(dialog.lightbox[open]){overflow:hidden}dialog.lightbox{cursor:zoom-out;background:0 0;border:0;width:100%;max-width:100vw;height:100%;max-height:100vh;padding:0;overflow:auto}dialog.lightbox::backdrop{background:rgba(var(--shade), .9)}dialog.lightbox img{filter:var(--sheet-filter);width:min(1600px,100%);max-width:none;margin:auto}dialog.lightbox img+img{margin-top:1rem}@media (width<=40rem){html{font-size:17px}.subject{grid-template-columns:1fr}.subject__count{padding-top:.35rem}.tools{flex-wrap:wrap}}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}@media print{:root[data-theme],:root:not([data-theme]){color-scheme:light;--paper:#fff;--surface:#fff;--ink:#22211f;--muted:#6e6b65;--rule:#e2e1db;--accent-deep:#175a8a;--sheet-filter:none}.theme-toggle,.tools,.afterword,.foot{display:none}}