@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-cyrillic-ext-wght-normal.BOeWTOD4.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-cyrillic-wght-normal.DqGufNeO.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-greek-ext-wght-normal.DlzME5K_.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-greek-wght-normal.CkhJZR-_.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-vietnamese-wght-normal.CBcvBZtf.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-latin-ext-wght-normal.DO1Apj_S.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/calculus-computing/_astro/inter-latin-wght-normal.Dx4kXJAl.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-cyrillic-ext-wght-normal.EocZY2iu.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-cyrillic-wght-normal.D73BlboJ.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-greek-wght-normal.Bw9x6K1M.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-vietnamese-wght-normal.Bt-aOZkq.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-latin-ext-wght-normal.DBQx-q_a.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/calculus-computing/_astro/jetbrains-mono-latin-wght-normal.B9CIFXIH.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-cyrillic-ext-wght-normal.cHuGMAiY.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-cyrillic-wght-normal.DwHjdM4S.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-greek-wght-normal.ece1310W.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-vietnamese-wght-normal.D-yuW59g.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-latin-ext-wght-normal.CxNHBx-q.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/calculus-computing/_astro/source-serif-4-latin-wght-normal.D9elroTD.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{color-scheme:dark;--bg:#0a0d12;--bg-2:#0d1117;--surface:#11161e;--surface-2:#161d27;--surface-3:#1c2531;--line:#222b37;--line-2:#2f3a49;--fg:#e7ecf3;--fg-2:#b3bdcb;--muted:#7f8b9c;--faint:#566172;--accent:#7cc4ff;--accent-ink:#06121f;--math:#7cc4ff;--comp:#f2b661;--lv-fundamental:#3fd18f;--lv-university:#5aa9ff;--lv-advanced:#b48cff;--lv-specialized:#ff6f6f;--star:#f2c55c;--hl:#f472b6;--good:#3fd18f;--bad:#ff6f6f;--grid:#7cc4ff0d;--shadow:0 1px 0 #ffffff08 inset, 0 12px 32px -12px #0009;--glow:0 0 0 1px #7cc4ff59, 0 0 24px -4px #7cc4ff59;--font-ui:"Inter Variable", "Inter", system-ui, -apple-system, "Segoe UI", sans-serif;--font-prose:"Source Serif 4 Variable", "Source Serif 4", Georgia, "Times New Roman", serif;--font-mono:"JetBrains Mono Variable", "JetBrains Mono", ui-monospace, "Cascadia Mono", Consolas, monospace;--font-math:"STIX Two Math", "Cambria Math", "Latin Modern Math", math;--r:10px;--r-sm:6px;--wrap:1240px;--prose:46rem;--gutter:clamp(16px, 4vw, 40px);--header-h:60px}:root[data-theme=light]{color-scheme:light;--bg:#f7f8fa;--bg-2:#f1f3f6;--surface:#fff;--surface-2:#f5f7fa;--surface-3:#eceff4;--line:#e1e5eb;--line-2:#cfd5de;--fg:#121821;--fg-2:#3c4655;--muted:#637083;--faint:#8d97a6;--accent:#0b6bcb;--accent-ink:#fff;--math:#0b6bcb;--comp:#b36b00;--lv-fundamental:#0f9d5c;--lv-university:#1f6fd6;--lv-advanced:#7a4fe0;--lv-specialized:#d33b3b;--star:#c98a00;--hl:#c0267a;--good:#0f9d5c;--bad:#d33b3b;--grid:#0b6bcb0d;--shadow:0 1px 2px #1018280f, 0 8px 24px -12px #1018282e;--glow:0 0 0 1px #0b6bcb66, 0 0 18px -6px #0b6bcb66}@font-face{font-family:STIX Two Math;font-style:normal;font-weight:400;font-display:swap;src:url(/calculus-computing/_astro/stix-two-math-latin-400-normal.tfF5U0vx.woff2)format("woff2")}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:calc(var(--header-h) + 16px)}body{background:var(--bg);color:var(--fg);font-family:var(--font-ui);font-feature-settings:"cv11", "ss01";-webkit-font-smoothing:antialiased;flex-direction:column;min-height:100vh;margin:0;font-size:16px;line-height:1.6;display:flex;overflow-x:hidden}main{flex:1}a{color:var(--accent);text-decoration:none}a:hover{text-underline-offset:3px;text-decoration:underline}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}img,svg,canvas{max-width:100%}h1,h2,h3,h4{letter-spacing:-.015em;margin:0 0 .5em;font-weight:650;line-height:1.2}h1{letter-spacing:-.03em;font-size:clamp(2rem,4.5vw,3rem);font-weight:700}h2{font-size:clamp(1.35rem,2.4vw,1.65rem)}h3{font-size:1.12rem}p{margin:0 0 1em}code,kbd{font-family:var(--font-mono);font-size:.88em}code{background:var(--surface-2);border:1px solid var(--line);border-radius:4px;padding:.05em .35em}kbd{border:1px solid var(--line-2);color:var(--fg-2);background:var(--surface);border-bottom-width:2px;border-radius:4px;padding:0 .35em}hr{border:0;border-top:1px solid var(--line);margin:2.5rem 0}::selection{background:color-mix(in srgb, var(--accent) 35%, transparent)}.wrap{width:100%;max-width:var(--wrap);padding:0 var(--gutter);margin:0 auto}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip{z-index:100;background:var(--accent);color:var(--accent-ink);border-radius:var(--r-sm);padding:6px 12px;position:absolute;top:8px;left:-9999px}.skip:focus{left:8px}math{font-family:var(--font-math);font-size:1.08em}.math-display{margin:.8em 0;padding:.15em 0;overflow:auto hidden}.math-display math{display:block math}.katex-long{vertical-align:middle;max-width:100%;display:inline-block;overflow:auto hidden}.katex,.katex-display>.katex{font-size:1em}.eyebrow{font-family:var(--font-mono);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);font-size:.72rem;font-weight:500}.lead{color:var(--fg-2);max-width:48rem;font-size:clamp(1.05rem,1.6vw,1.2rem);line-height:1.6}.site-header{z-index:50;height:var(--header-h);background:color-mix(in srgb, var(--bg) 82%, transparent);-webkit-backdrop-filter:saturate(1.4)blur(12px);border-bottom:1px solid var(--line);position:sticky;top:0}.site-header .wrap{align-items:center;gap:1.25rem;height:100%;display:flex}.brand{color:var(--fg);letter-spacing:-.01em;white-space:nowrap;align-items:center;gap:.6rem;font-weight:650;display:inline-flex}.brand:hover{text-decoration:none}.brand-mark{flex:none;width:30px;height:30px}.bm-curve{fill:none;stroke:var(--math);stroke-width:1.8px;stroke-linecap:round}.bm-tangent{stroke:var(--comp);stroke-width:1.5px;stroke-linecap:round}.bm-point{fill:var(--comp)}.brand-name .x{color:var(--accent);margin:0 .15em}.nav{gap:.15rem;margin-left:.5rem;display:flex}.nav a{color:var(--fg-2);border-radius:var(--r-sm);padding:.4rem .65rem;font-size:.92rem}.nav a:hover{color:var(--fg);background:var(--surface-2);text-decoration:none}.nav a[aria-current=page]{color:var(--fg);background:var(--surface-2);box-shadow:inset 0 -2px 0 var(--accent)}.header-tools{align-items:center;gap:.4rem;margin-left:auto;display:flex}.icon-btn,.search-btn{border-radius:var(--r-sm);border:1px solid var(--line);background:var(--surface);min-width:36px;height:36px;color:var(--fg-2);font:inherit;cursor:pointer;justify-content:center;align-items:center;gap:.5rem;padding:0 .6rem;font-size:.88rem;display:inline-flex}.icon-btn:hover,.search-btn:hover{color:var(--fg);border-color:var(--line-2);text-decoration:none}.search-btn{min-width:13rem;color:var(--muted);justify-content:flex-start}.search-btn kbd{margin-left:auto;font-size:.72rem}.icon-btn svg,.search-btn svg{flex:none;width:17px;height:17px}.theme-light-icon{display:none}:root[data-theme=light] .theme-light-icon{display:block}:root[data-theme=light] .theme-dark-icon,.menu-btn{display:none}@media (width<=1080px){.search-btn{min-width:0}.search-btn .label,.search-btn kbd{display:none}}@media (width<=900px){.menu-btn{display:inline-flex}.nav{top:var(--header-h);padding:.5rem var(--gutter) 1rem;background:var(--bg);border-bottom:1px solid var(--line);flex-direction:column;gap:0;margin:0;display:none;position:absolute;left:0;right:0}.nav.open{display:flex}.nav a{padding:.7rem .5rem;font-size:1rem}}@media (width<=440px){.site-header .wrap{gap:.6rem}.brand-name{display:none}.header-tools{gap:.3rem}.icon-btn,.search-btn{min-width:34px;height:34px;padding:0 .45rem}}.site-footer{border-top:1px solid var(--line);color:var(--muted);background:var(--bg-2);margin-top:5rem;padding:2.5rem 0 3rem;font-size:.9rem}.site-footer .wrap{grid-template-columns:2fr 1fr 1fr;gap:2rem;display:grid}.site-footer h2{font-size:.75rem;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;color:var(--fg-2);margin-bottom:.8rem;font-weight:500}.site-footer ul{gap:.35rem;margin:0;padding:0;list-style:none;display:grid}.site-footer a{color:var(--fg-2)}@media (width<=720px){.site-footer .wrap{grid-template-columns:1fr}}.page-head{border-bottom:1px solid var(--line);background:linear-gradient(var(--grid) 1px, transparent 1px) 0 0 / 32px 32px, linear-gradient(90deg, var(--grid) 1px, transparent 1px) 0 0 / 32px 32px;padding:clamp(2.5rem,6vw,4.5rem) 0 2rem}.page-head h1{margin:.35rem 0 .8rem}.section{padding:3rem 0 0}.section-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:1.25rem;display:flex}.section-head h2{margin:0}.level{font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--lv);white-space:nowrap;align-items:center;gap:.4em;font-size:.72rem;display:inline-flex}.level:before{content:"";background:var(--lv);width:.62em;height:.62em;box-shadow:0 0 10px -1px var(--lv);border-radius:50%}.level.fundamental,.lv-fundamental{--lv:var(--lv-fundamental)}.level.university,.lv-university{--lv:var(--lv-university)}.level.advanced,.lv-advanced{--lv:var(--lv-advanced)}.level.specialized,.lv-specialized{--lv:var(--lv-specialized)}.stars{font-family:var(--font-mono);letter-spacing:.06em;color:var(--star);white-space:nowrap;font-size:.85em}.stars .off{color:var(--line-2)}.chip{border:1px solid var(--line);background:var(--surface);color:var(--fg-2);white-space:nowrap;border-radius:999px;align-items:center;gap:.35em;padding:.12rem .5rem;font-size:.78rem;display:inline-flex}.chip.math{color:var(--math);border-color:color-mix(in srgb, var(--math) 35%, var(--line))}.chip.computing{color:var(--comp);border-color:color-mix(in srgb, var(--comp) 35%, var(--line))}.conn{font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;border:1px solid var(--line-2);color:var(--fg-2);white-space:nowrap;border-radius:4px;padding:.05rem .4rem;font-size:.7rem}.conn.fundamental{color:var(--lv-fundamental);border-color:color-mix(in srgb, var(--lv-fundamental) 45%, transparent)}.conn.frequent{color:var(--lv-university);border-color:color-mix(in srgb, var(--lv-university) 45%, transparent)}.conn.advanced{color:var(--lv-advanced);border-color:color-mix(in srgb, var(--lv-advanced) 45%, transparent)}.conn.indirect,.conn.historical{color:var(--muted);border-style:dashed}.grid{grid-template-columns:repeat(auto-fill,minmax(min(100%,17rem),1fr));gap:1rem;display:grid}.card{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);color:var(--fg);box-shadow:var(--shadow);flex-direction:column;gap:.4rem;padding:1.1rem 1.15rem;transition:border-color .15s,transform .15s;display:flex;position:relative}a.card:hover{border-color:var(--line-2);text-decoration:none;transform:translateY(-2px)}.card h3{margin:0;font-size:1.02rem}.card p{color:var(--fg-2);margin:0;font-size:.9rem;line-height:1.5}.card .meta{color:var(--muted);flex-wrap:wrap;align-items:center;gap:.6rem;margin-top:auto;padding-top:.4rem;font-size:.8rem;display:flex}.glyph{font-family:var(--font-math);color:var(--math);font-size:1.5rem;line-height:1}.computing .glyph,.glyph.computing{color:var(--comp)}.btn{border-radius:var(--r-sm);border:1px solid var(--line-2);background:var(--surface);color:var(--fg);font:inherit;cursor:pointer;align-items:center;gap:.5rem;padding:.6rem 1rem;font-size:.93rem;font-weight:550;display:inline-flex}.btn:hover{border-color:var(--muted);text-decoration:none}.btn.primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.btn.primary:hover{filter:brightness(1.08)}.btn.small{padding:.3rem .65rem;font-size:.82rem}.btn[aria-pressed=true]{border-color:var(--accent);color:var(--accent);background:color-mix(in srgb, var(--accent) 10%, var(--surface))}.filters{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.filters .label{color:var(--muted);margin-right:.3rem;font-size:.82rem}input[type=search],input[type=text],select{font:inherit;color:var(--fg);background:var(--surface);border:1px solid var(--line-2);border-radius:var(--r-sm);padding:.45rem .7rem}input[type=range]{accent-color:var(--accent);width:100%}.prose{font-family:var(--font-prose);color:var(--fg);font-optical-sizing:auto;font-size:1.1rem;line-height:1.7}.prose p,.prose ul,.prose ol{margin:0 0 1em}.prose ul,.prose ol{padding-left:1.3em}.prose li{margin:.25em 0}.prose strong{font-weight:650}.prose a{text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--accent) 40%, transparent);text-underline-offset:3px}.prose blockquote{border-left:3px solid var(--accent);color:var(--fg-2);margin:1em 0;padding:.2em 1em}.prose table{border-collapse:collapse;font-family:var(--font-ui);margin:1em 0;font-size:.92rem;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--line);text-align:left;padding:.4em .7em}.prose pre{font-family:var(--font-mono);background:var(--bg-2);border:1px solid var(--line);border-radius:var(--r-sm);padding:.9em 1em;font-size:.85rem;line-height:1.55;overflow-x:auto}.prose pre code{font-size:inherit;background:0 0;border:0;padding:0}.prose>:last-child{margin-bottom:0}.crumbs{color:var(--muted);font-size:.88rem}.crumbs a{color:var(--fg-2)}.crumbs a.math .glyph-sm{color:var(--math)}.crumbs a.computing .glyph-sm{color:var(--comp)}.glyph-sm{font-family:var(--font-math)}.topic-meta{flex-wrap:wrap;align-items:center;gap:.6rem 1.4rem;display:flex}.meta-item{align-items:center;gap:.55rem;display:inline-flex}.topic-layout{grid-template-columns:minmax(0,1fr) 280px;grid-template-areas:"body aside";gap:3.5rem;padding-top:2.5rem;display:grid}.topic-body{max-width:var(--prose);grid-area:body;min-width:0}.topic-aside{top:calc(var(--header-h) + 1.5rem);max-height:calc(100vh - var(--header-h) - 3rem);grid-area:aside;align-self:start;gap:1.6rem;padding-bottom:1rem;font-size:.9rem;display:grid;position:sticky;overflow-y:auto}.aside-block h2{margin:0 0 .6rem}.small{font-size:.85rem}.tree,.tree ul{margin:0;padding:0;list-style:none}.tree ul{margin-left:.35rem}.tree li{padding:.18rem 0 .18rem 1.1rem;position:relative}.tree li:before{content:"";border-left:1px solid var(--line-2);position:absolute;top:0;bottom:0;left:0}.tree li:last-child:before{height:.95rem;bottom:auto}.tree li:after{content:"";border-top:1px solid var(--line-2);width:.75rem;position:absolute;top:.95rem;left:0}.tree ul li{font-size:.84rem}.tlink{color:var(--fg);border-bottom:1px solid color-mix(in srgb, var(--lv) 55%, transparent)}.tlink:hover{color:var(--lv);text-decoration:none}.full-path{border:1px solid var(--line);border-radius:var(--r-sm);background:var(--surface);margin-top:.8rem;padding:.5rem .7rem}.full-path summary{color:var(--fg-2);font-size:.85rem}.full-path ol{gap:.15rem;margin:0;padding-left:1.5rem;font-size:.85rem;display:grid}.toc ol{border-left:1px solid var(--line);gap:.25rem;margin:0;padding:0 0 0 .75rem;list-style:none;display:grid}.toc a{color:var(--fg-2)}.plain{gap:.3rem;margin:0;padding:0;list-style:none;display:grid}.tsec{margin-bottom:2.6rem}.tsec>h2,.proof h2{font-size:.78rem;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.13em;color:var(--muted);align-items:center;gap:.7rem;margin-bottom:.9rem;font-weight:500;display:flex}.tsec>h2:after{content:"";border-top:1px solid var(--line);flex:1}.theorem-box{border:1px solid color-mix(in srgb, var(--accent) 35%, var(--line));background:color-mix(in srgb, var(--accent) 5%, var(--surface));border-radius:var(--r);padding:1.1rem 1.3rem 1.2rem}.proof{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:.8rem 1.2rem}.proof summary{align-items:center;gap:.6rem;list-style:none;display:flex}.proof summary::-webkit-details-marker{display:none}.proof summary:before{content:"▸";color:var(--muted);transition:transform .15s}.proof[open] summary:before{transform:rotate(90deg)}.proof summary h2{margin:0}.proof[open] .prose{margin-top:.8rem}.formulas{gap:.6rem;margin:0;display:grid}.formula{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);gap:.2rem;padding:.7rem 1rem;display:grid}.formula dd{margin:0;font-size:1.12rem;overflow-x:auto}.formula dt{color:var(--muted);font-size:.85rem}.edges{gap:.7rem;margin:0;padding:0;list-style:none;display:grid}.edges li{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:.75rem 1rem}.edge-head{flex-wrap:wrap;align-items:center;gap:.4rem .8rem;font-weight:600;display:flex}.edges p{color:var(--fg-2);margin:.35rem 0 0;font-size:.93rem}.reach{grid-template-columns:repeat(auto-fill,minmax(min(100%,19rem),1fr));gap:1rem;display:grid}.reach-area{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:.8rem 1rem}.reach-area h3{margin-bottom:.5rem;font-size:.95rem}.reach-area h3 a{color:var(--comp)}.reach-area ul{gap:.35rem;margin:0;padding:0;font-size:.9rem;list-style:none;display:grid}.reach-area li{flex-wrap:wrap;align-items:baseline;gap:0 .4rem;display:flex}.reach-area .path{font-size:.8rem}.reach-area .via{color:var(--muted)}.reach-area .arrow{margin:0 .2em}.pills{flex-wrap:wrap;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.pills li{border:1px solid var(--line);background:var(--surface);border-radius:999px;padding:.25rem .75rem;font-size:.9rem}.pills .tlink{border:0}.pending{border:1px dashed var(--line-2);border-radius:var(--r);color:var(--muted);padding:.8rem 1rem;font-size:.9rem}.pager{grid-template-columns:1fr 1fr;gap:1rem;margin-top:3rem;display:grid}.pager .card{gap:.2rem}.pager-next{text-align:right;grid-column:2}@media (width<=960px){.topic-layout{grid-template-columns:minmax(0,1fr);grid-template-areas:"aside""body";gap:2rem}.topic-aside{border-bottom:1px solid var(--line);grid-template-columns:repeat(auto-fit,minmax(min(100%,15rem),1fr));max-height:none;padding-bottom:1.5rem;position:static;overflow:visible}.toc{display:none}}@media (width<=560px){.pager{grid-template-columns:1fr}.pager-next{grid-column:1}}.block-title{font-size:.8rem;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.14em;color:var(--muted);margin-bottom:1.2rem;font-weight:500}.demo{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);box-shadow:var(--shadow);margin:0;padding:.9rem 1rem 1rem}.demo-controls{color:var(--fg-2);flex-wrap:wrap;align-items:center;gap:.6rem 1.2rem;margin-bottom:.7rem;font-size:.85rem;display:flex}.demo-controls label{align-items:center;gap:.45rem;display:inline-flex}.demo-controls input[type=range]{width:9rem}.demo-controls select{padding:.3rem .5rem;font-size:.85rem}.demo-controls output{font-family:var(--font-mono);color:var(--fg);min-width:3.5rem}.demo-buttons{gap:.35rem;display:inline-flex}.demo-canvas{border-radius:var(--r-sm);background:var(--bg-2);touch-action:none;width:100%;display:block}.demo-canvas.draggable{cursor:crosshair}.demo-readout{font-family:var(--font-mono);color:var(--fg-2);flex-wrap:wrap;gap:.3rem 1.4rem;margin-top:.6rem;font-size:.8rem;display:flex}.demo-readout b{color:var(--fg);font-weight:600}.demo-readout .bad,.demo-table .bad{color:var(--bad)}.demo-readout .good{color:var(--good)}.demo figcaption{color:var(--muted);margin-top:.6rem;font-size:.85rem}.demo-key{align-items:center;gap:.35rem;margin-right:.9rem;display:inline-flex}.demo-key:before{content:"";border-top:2.5px solid var(--key,var(--fg));width:1rem}.demo-key.dashed:before{border-top-style:dashed}.key-math{--key:var(--math)}.key-accent{--key:var(--hl)}.key-comp{--key:var(--comp)}.key-muted{--key:var(--muted)}.demo-table{border-collapse:collapse;width:100%;font-family:var(--font-mono);margin-top:.6rem;font-size:.78rem}.demo-table th,.demo-table td{text-align:right;border-bottom:1px solid var(--line);white-space:nowrap;padding:.2rem .5rem}.demo-table th{color:var(--muted);font-weight:500}.demo-table-wrap{max-height:14rem;overflow:auto}details>summary{cursor:pointer}.muted{color:var(--muted)}.mono{font-family:var(--font-mono)}.arrow{color:var(--faint);font-family:var(--font-math);margin:0 .35em}.empty{color:var(--muted);font-style:italic}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}@media print{.site-header,.site-footer,.demo,.no-print{display:none!important}body{color:#000;background:#fff}}.search-dialog{border:1px solid var(--line-2);background:var(--surface);width:min(680px,100vw - 24px);max-height:min(640px,100vh - 80px);color:var(--fg);border-radius:14px;margin:8vh auto auto;padding:0;overflow:hidden;box-shadow:0 30px 80px -20px #000000b3}.search-dialog[open]{flex-direction:column;display:flex}.search-dialog::backdrop{backdrop-filter:blur(3px);background:#05080c99}.search-box{border-bottom:1px solid var(--line);align-items:center;gap:.6rem;padding:.8rem 1rem;display:flex}.search-box>svg{width:20px;height:20px;color:var(--muted);flex:none}.search-box input{background:0 0;border:0;outline:none;flex:1;min-width:0;padding:.3rem 0;font-size:1.05rem}.search-box .icon-btn{height:28px;font-size:.72rem}.search-results{padding:.4rem;overflow-y:auto}.search-results .group{font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;color:var(--muted);padding:.8rem .7rem .3rem;font-size:.68rem}.search-results a{color:var(--fg);border-radius:8px;grid-template-columns:1fr auto;gap:.1rem .8rem;padding:.55rem .7rem;display:grid}.search-results a:hover,.search-results a[aria-selected=true]{background:var(--surface-3);text-decoration:none}.search-results .r-title{font-weight:600}.search-results .r-sum{color:var(--fg-2);-webkit-line-clamp:2;line-clamp:2;-webkit-box-orient:vertical;grid-column:1/-1;font-size:.85rem;line-height:1.4;display:-webkit-box;overflow:hidden}.search-results .r-meta{color:var(--muted);align-items:center;gap:.5rem;font-size:.75rem;display:flex}.search-results .empty{padding:1.2rem}.search-foot{border-top:1px solid var(--line);color:var(--muted);padding:.5rem 1rem;font-size:.75rem}