*{box-sizing:border-box}html{background:var(--surface-secondary)}body{color:var(--content);background:var(--surface-secondary);font:var(--text-lg)/1.6 var(--font-serif);margin:0}.wrap{max-width:1532px;margin:0 auto;padding:2.4rem 16px 4rem}.col-text{max-width:46rem}.col-list{max-width:58rem}@media (width>=1001px){.wrap{grid-template-columns:minmax(0,1fr) minmax(420px,50%);align-items:start;gap:0 2.4rem;display:grid}.wrap>*{min-width:0}.wrap>h1{grid-column:1/-1;max-width:none}.col-list{max-width:none}.col-list h2.example{margin-top:0}}h1{font:500 var(--text-4xl)/1.15 var(--font-serif);margin:0 0 1.4rem}.intro{margin:0}.intro p{margin:0 0 .9rem}h2.example{font-size:var(--text-2xl);margin:2.6rem 0 .6rem;line-height:1.25}.example-lede{margin:0}.example-lede a{text-underline-offset:2px}.tools{z-index:2;background:var(--surface-secondary);font:14px/1.3 var(--font-sans);flex-wrap:wrap;align-items:stretch;gap:.7rem;margin:1.8rem 0 .4rem;padding:.9rem 0;display:flex;position:sticky;top:0}.tools input[type=search]{min-width:0;font:inherit;color:var(--content);background:var(--surface-primary);border:1px solid var(--edge-secondary);border-radius:var(--radius-lg);outline:none;flex:8rem;padding:.55rem .8rem}.tools input[type=search]:focus{border-color:var(--edge-emphasis)}.tools button{font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--content-light);background:var(--surface-primary);border:1px solid var(--edge-secondary);border-radius:var(--radius-md);cursor:pointer;white-space:nowrap;text-align:center;min-width:10.6em;padding:.55rem .65rem}.tools button:hover{color:var(--content);background:var(--surface-primary-hover);border-color:var(--edge-emphasis)}.tools button:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.tools .count{color:var(--content-subtle);font-variant-numeric:tabular-nums;white-space:nowrap;align-self:center}.tools .count:empty{display:none}.chapters{background:var(--surface-primary);border:1px solid var(--edge-primary);border-radius:var(--radius-lg);overflow:hidden}details.ch{border-bottom:1px solid var(--edge-primary);scroll-margin-top:5.5rem}details.ch:last-of-type{border-bottom:0}details.ch>summary{cursor:pointer;font-family:var(--font-sans);grid-template-columns:minmax(0,1fr) auto auto;align-items:center;gap:.2rem 1rem;padding:.85rem 14px;list-style:none;display:grid}details.ch>summary::-webkit-details-marker{display:none}details.ch>summary:hover{background:var(--color-paper-100)}details.ch>summary:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.chev{border-right:1.5px solid var(--content-subtle);border-bottom:1.5px solid var(--content-subtle);width:.5rem;height:.5rem;transition:transform .15s;transform:rotate(45deg)translate(-2px,-2px)}details.ch[open] .chev{transform:rotate(-135deg)translate(-2px,-2px)}.chname{min-width:0}.chnum{font:500 var(--text-xs)/1.3 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--content-subtle);margin-bottom:.25rem;display:block}.chtitle{font:1.15rem/1.35 var(--font-serif);color:var(--content)}.chcount{font:12px/1.4 var(--font-sans);color:var(--content-subtle);white-space:nowrap;font-variant-numeric:tabular-nums}ol.items{margin:0;padding:0 0 .6rem;list-style:none}li.item a,li.item>div{color:var(--content);font:14px/1.4 var(--font-sans);grid-template-columns:8.5rem minmax(0,1fr) auto;align-items:baseline;gap:0 .75rem;padding:5px 14px;text-decoration:none;display:grid}li.item a:hover{background:var(--color-paper-100)}li.item a:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.ref{font:500 var(--text-xs)/1.4 var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--content-light);white-space:nowrap}.title{min-width:0}.title math{font-size:1.05em}.pg{font:12px/1.4 var(--font-sans);color:var(--content-faint);white-space:nowrap;font-variant-numeric:tabular-nums}li.todo .ref,li.todo .title{color:var(--content-faint)}li.todo .title{font-style:italic}li.hide,details.ch.hide{display:none}.empty{color:var(--content-subtle);font:15px var(--font-sans);text-align:center;padding:2rem 0;display:none}@media (width<=620px){h1{font-size:var(--text-3xl)}details.ch>summary{grid-template-columns:minmax(0,1fr) auto}.chcount{grid-area:2/1}.chev{grid-area:1/2/span 2}li.item a,li.item>div{grid-template-columns:minmax(0,1fr) auto;gap:.1rem .8rem;padding:6px 14px}.title{grid-area:2/1/auto/-1}}.specimen{background:var(--surface-primary);border:1px solid var(--edge-primary);border-radius:var(--radius-lg);margin:1.8rem 0 0;padding:1rem 1.1rem .9rem}.sp-row+.sp-row{margin-top:.9rem}.sp-lbl{font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--content-subtle);margin:0 0 .4rem}.specimen pre{white-space:pre;font:.82rem/1.55 var(--font-mono);background:color-mix(in srgb, var(--edge-primary) 40%, transparent);border-radius:var(--radius-md);margin:0;padding:.6rem .8rem;overflow-x:auto}.specimen pre .k{color:var(--content-subtle);font-weight:600}.specimen pre .sym.def{color:var(--lean-def)}.specimen pre .sym.thm{color:var(--lean)}.sp-reading{font:var(--text-lg)/1.6 var(--font-serif);margin:0}.sp-reading .rd{cursor:default;box-shadow:inset 0 -2px 0 color-mix(in srgb, var(--content-subtle) 55%, transparent);padding:.05em .1em;transition:background 80ms}.sp-reading .rd.def{box-shadow:inset 0 -2px 0 var(--pg-definition)}.sp-reading .rd.thm{box-shadow:inset 0 -2px 0 var(--pg-theorem)}.specimen .rd-hl{background:color-mix(in srgb, var(--content) 9%, transparent)}.specimen .rd-hl.def{background:color-mix(in srgb, var(--lean-def) 14%, transparent)}.specimen .rd-hl.thm{background:color-mix(in srgb, var(--lean) 14%, transparent)}.sp-reading math{white-space:nowrap}.specimen figcaption{border-top:1px solid var(--edge-primary);font:13px/1.5 var(--font-sans);color:var(--content-subtle);margin:.9rem 0 0;padding-top:.7rem}.specimen figcaption a{margin-left:.3em}