:root{color-scheme:light dark;--bg: #fafaf8;--bg-card: #f1f1ee;--bg-raised: #ffffff;--border: #dcdcd8;--text: #1b1b1a;--text-dim: #6b6b68;--accent: #31597f;--accent2: #b04e1b;--hot: #a82433;--ok: #3d6b4f;--mark: rgba(176, 78, 27, .18);--ink-rgb: 27, 27, 26;--paper-rgb: 250, 250, 248;--accent-rgb: 49, 89, 127;--accent2-rgb: 176, 78, 27;--hot-rgb: 168, 36, 51;--ok-rgb: 61, 107, 79;--topic-math: #31597f;--topic-signals: #b04e1b;--topic-audio: #3d6b4f;--topic-information: #6b4a8c;--topic-computing: #22767a;--topic-other: #6e6553;--brand-github-fill: #ffffff;--brand-github-stroke: #d1d9e0;--brand-github-text: #1f2328;--serif: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;--mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;--sans: -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans", Helvetica, Arial, sans-serif;--fs-xs: 12.5px;--fs-sm: 14.5px;--fs-md: 16px;--fs-body: 17.5px;--fs-lg: 19px;--fs-h3: 19.5px;--fs-h2: 25px;--fs-h1: clamp(32px, 5vw, 42px);--fs-display: clamp(40px, 6vw, 56px);--lh: 1.62;--lh-tight: 1.15;--sp-1: 4px;--sp-2: 8px;--sp-3: 12px;--sp-4: 16px;--sp-5: 24px;--sp-6: 36px;--sp-7: 52px;--measure: 880px;--wide: 1100px;--gutter: 24px;--radius: 4px;--radius-lg: 6px;--hairline: 1px solid var(--border);--caps-tracking: .06em;--fast: .15s}@media(prefers-color-scheme:dark){:root{--bg: #141414;--bg-card: #1c1c1c;--bg-raised: #222222;--border: #303030;--text: #ebeae6;--text-dim: #9d9d98;--accent: #8fb8e0;--accent2: #dd9355;--hot: #df7a88;--ok: #82bd97;--mark: rgba(221, 147, 85, .25);--ink-rgb: 235, 234, 230;--paper-rgb: 20, 20, 20;--accent-rgb: 143, 184, 224;--accent2-rgb: 221, 147, 85;--hot-rgb: 223, 122, 136;--ok-rgb: 130, 189, 151;--topic-math: #8fb8e0;--topic-signals: #dd9355;--topic-audio: #82bd97;--topic-information: #b89ad8;--topic-computing: #6ec2c2;--topic-other: #9c917c;--brand-github-fill: #1f2328;--brand-github-stroke: #3d444d;--brand-github-text: #f0f6fc}}*,*:before,*:after{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;min-height:100vh;display:flex;flex-direction:column;background:var(--bg);color:var(--text);font-family:var(--serif);font-size:var(--fs-body);line-height:var(--lh)}body>*{width:100%}body>main{flex:1 0 auto}h1,h2,h3{font-weight:600;letter-spacing:-.005em;color:var(--text)}h1{font-size:var(--fs-h1);line-height:var(--lh-tight);letter-spacing:-.01em;margin:0 0 14px}h2{font-size:var(--fs-h2);margin:0 0 14px}h3{font-size:var(--fs-h3);margin:0 0 6px}h1.display{font-size:var(--fs-display);margin-bottom:6px}p{margin:0 0 1em}a{color:var(--accent);text-decoration:underline;text-decoration-color:transparent;text-decoration-thickness:1px;text-underline-offset:4px;transition:text-decoration-color var(--fast),color var(--fast)}a:hover{text-decoration-color:currentColor}code,kbd,pre{font-family:var(--mono)}code{font-size:.92em}pre{background:var(--bg-card);border:var(--hairline);border-radius:var(--radius);padding:14px 18px;overflow-x:auto;font-size:13px;margin:12px 0 0}pre code{font-size:inherit}kbd{font-size:11px;border:var(--hairline);border-radius:3px;padding:0 4px}header,main,footer{max-width:var(--measure);margin:0 auto;padding-left:var(--gutter);padding-right:var(--gutter)}header{padding-top:var(--sp-7);padding-bottom:var(--sp-2)}main{padding-top:0;padding-bottom:0}section{padding:34px 0 10px}main>section+section{border-top:var(--hairline)}body>footer:not(.site-foot){margin-top:44px;padding-top:22px;padding-bottom:44px;border-top:1px dashed var(--border)}.wide header,.wide main,.wide footer{max-width:var(--wide)}.intro{font-size:18px;color:var(--text);margin:0}.prereq{font-size:var(--fs-sm);color:var(--text-dim);margin:14px 0 0}.prereq a{color:var(--ok)}.caps,.concept-tag,.tagline{font-variant-caps:small-caps;letter-spacing:var(--caps-tracking)}.concept-tag{display:inline-block;font-size:15px;letter-spacing:.09em;color:var(--accent2);margin-bottom:6px}.tagline{font-size:var(--fs-md);letter-spacing:.08em;color:var(--text-dim);margin:0 0 22px}.mono{font-family:var(--mono);font-variant-numeric:tabular-nums}.dim{color:var(--text-dim);font-size:13px}.ok{color:var(--ok)}.caption{font-size:var(--fs-sm);font-style:italic;color:var(--text-dim);margin:14px 2px 0}.caption .tex .katex{font-style:normal}.meta{display:flex;gap:6px 0;flex-wrap:wrap;font-size:var(--fs-sm);color:var(--text-dim);margin-top:14px}.meta>*+*:before{content:"·";display:inline-block;margin:0 10px;color:var(--border);text-decoration:none}.count{font-size:var(--fs-sm);color:var(--text-dim);margin:14px 2px 6px}.nav{max-width:var(--wide);margin:0 auto;padding:20px var(--gutter) 0;display:flex;align-items:baseline;justify-content:space-between;gap:var(--sp-3) var(--sp-5);flex-wrap:wrap;font-size:var(--fs-sm)}.nav-brand{color:var(--text);font-weight:700;font-size:17px;letter-spacing:-.01em}.nav-brand span{color:var(--accent2)}.nav-brand:hover{text-decoration:none}.nav-links{display:flex;align-items:baseline;gap:18px;flex-wrap:wrap;justify-content:flex-end;font-variant-caps:small-caps;letter-spacing:.03em}.nav-links a{color:var(--text-dim);text-decoration-thickness:1.5px}.nav-links a:hover{color:var(--text);text-decoration-color:var(--accent)}.nav-links a.current{color:var(--text);text-decoration-color:var(--accent2)}.nav-links .srch-kbd{font-family:var(--mono);font-size:10.5px;border:var(--hairline);border-radius:3px;padding:0 4px;margin-left:4px;font-variant-caps:normal}.nav-links .nav-account{margin-left:var(--sp-2);padding-left:18px;border-left:var(--hairline)}.nav-account [hidden]{display:none}.nav-account [data-me]{font-variant-caps:normal;letter-spacing:0}.site-foot{margin-top:auto;border-top:var(--hairline);padding:22px var(--gutter) 36px}.site-foot-inner{max-width:var(--wide);margin:0 auto;display:flex;justify-content:space-between;align-items:baseline;gap:var(--sp-3) var(--sp-5);flex-wrap:wrap;font-size:var(--fs-sm);color:var(--text-dim)}.site-foot-links{display:flex;gap:18px;flex-wrap:wrap}.site-foot-links a{color:var(--text-dim)}.site-foot-links a:hover{color:var(--text)}.input,.select,.textarea{font-family:var(--serif);font-size:var(--fs-md);color:var(--text);background:var(--bg-card);border:var(--hairline);border-radius:var(--radius);padding:10px 14px;outline:none;min-width:0}.input:focus,.select:focus,.textarea:focus{border-color:var(--accent)}.input::placeholder,.textarea::placeholder{color:var(--text-dim)}.select{font-size:var(--fs-sm);padding:9px 12px}.textarea{resize:vertical;line-height:1.5}.input.mono{font-family:var(--mono);font-size:13.5px;padding:8px 12px}.btn{font-family:var(--serif);font-size:15px;color:var(--text);background:transparent;border:1px solid var(--text-dim);border-radius:var(--radius);padding:7px 16px;cursor:pointer;text-decoration:none;display:inline-block;line-height:1.4;transition:border-color var(--fast),color var(--fast),background var(--fast)}.btn:hover{border-color:var(--text);color:var(--text);text-decoration:none}.btn:disabled{opacity:.5;cursor:default}.btn.primary{background:var(--text);border-color:var(--text);color:var(--bg)}.btn.primary:hover{background:var(--accent);border-color:var(--accent);color:var(--bg)}.btn.quiet{border-color:var(--border);color:var(--text-dim)}.btn.quiet:hover{border-color:var(--text-dim);color:var(--text)}.btn.mono{font-family:var(--mono);font-size:var(--fs-xs);padding:6px 13px}.btn.small{font-size:13px;padding:3px 10px}.btn.active{color:var(--text);border-color:var(--accent2);background:rgba(var(--accent2-rgb),.08)}.btn.caps{font-variant-caps:small-caps;letter-spacing:.04em}.btn.hot{color:var(--hot);border-color:var(--hot)}.btn.hot:hover:not(:disabled){background:var(--hot);border-color:var(--hot);color:var(--bg)}.search-form{display:flex;gap:var(--sp-2);max-width:640px}.search-form .input{flex:1}.search-form .btn{padding-left:20px;padding-right:20px}.toolbar{display:flex;gap:var(--sp-3);flex-wrap:wrap;align-items:center}.toolbar .input{flex:1;min-width:240px}.actions{display:flex;gap:10px;flex-wrap:wrap;align-items:center;margin:18px 0 0}.actions .input{flex:1;min-width:200px}.actions label{width:100%}.chips{display:flex;flex-wrap:wrap;gap:6px 4px;align-items:center;margin:16px 0 4px}.chips .n{font-size:12px;color:var(--text-dim);margin-left:6px;font-variant-numeric:tabular-nums}.chips .break{width:100%;height:0}.views{display:flex;gap:18px;flex-wrap:wrap;margin-top:18px;font-size:var(--fs-sm);font-variant-caps:small-caps;letter-spacing:.03em}.views a{color:var(--text-dim);text-decoration-thickness:1.5px}.views a:hover{color:var(--text);text-decoration-color:var(--accent)}.views [aria-current]{color:var(--text);text-decoration:underline;text-decoration-color:var(--accent2);text-decoration-thickness:1.5px;text-underline-offset:4px}.links-kind+.links-kind{margin-top:22px}.links-kind h3 .dim{font-variant-caps:normal;letter-spacing:0;font-weight:400;margin-left:8px}.links-kind .list li{display:flex;flex-wrap:wrap;align-items:baseline;gap:4px 8px}.links-kind .list li .links-act{margin-left:auto;font-size:var(--fs-sm)}.links-kind .list li .links-act a{color:var(--text-dim)}.links-kind .list li.links-proposed{color:var(--text-dim);border-left:2px solid var(--accent2);padding-left:10px}.links-add{display:flex;gap:8px;flex-wrap:wrap;align-items:center;margin:8px 0 0}.links-add .input{flex:1;min-width:160px;font-size:var(--fs-sm);padding:7px 10px}.links-add[hidden]{display:none}.list li .card-claim{flex-basis:100%}.builder{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:12px 24px;margin:14px 0 18px}.builder-field{display:flex;flex-direction:column;gap:4px;font-size:var(--fs-sm);color:var(--text-dim)}.builder-field>span:first-child{color:var(--text)}.builder-range{display:flex;align-items:center;gap:10px}.builder-range input{flex:1;min-width:0;accent-color:var(--accent)}.builder-range output{min-width:4ch;text-align:right;font-size:13px}.builder input[type=checkbox]{accent-color:var(--accent);width:16px;height:16px}.facts{display:grid;grid-template-columns:max-content 1fr;gap:6px 24px;margin:0;font-size:var(--fs-md)}.facts dt{color:var(--text-dim)}.facts dd{margin:0}.home-head .intro{font-size:var(--fs-h2);font-weight:600;letter-spacing:-.005em;line-height:var(--lh-tight);margin:0 0 14px}.lede{font-size:var(--fs-lg);max-width:640px;margin:0 0 22px}.cta{display:flex;gap:10px;flex-wrap:wrap;margin:0}.cta .btn{font-size:var(--fs-md);padding:9px 20px}.tiles-section{padding-top:22px}.tiles-head{display:flex;align-items:baseline;justify-content:space-between;gap:var(--sp-3);margin:0 0 4px}.tiles-head .btn{font-variant-caps:normal;letter-spacing:0}.tiles{display:grid;grid-template-columns:repeat(auto-fit,minmax(340px,1fr));gap:8px 36px;align-items:start;margin:0 0 28px}.tile{margin:0;padding:0 0 14px;border-bottom:var(--hairline)}.tile learn-widget{margin-top:12px}.tile figcaption{font-size:var(--fs-sm);color:var(--text-dim);margin-top:8px;line-height:1.5}.tile figcaption a{font-weight:600;color:var(--text)}.tile figcaption a:hover{color:var(--accent)}.tile figcaption .tile-open{display:block;font-weight:400;color:var(--accent);margin-top:4px}.ways{list-style:none;counter-reset:way;margin:6px 0 0;padding:0;display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:28px 36px}.ways li{counter-increment:way;padding-top:12px;border-top:var(--hairline)}.ways li:before{content:counter(way,decimal-leading-zero);display:block;font-family:var(--mono);font-size:var(--fs-xs);color:var(--accent2);letter-spacing:var(--caps-tracking);margin-bottom:8px}.ways h3{margin-bottom:6px}.ways p{font-size:var(--fs-sm);color:var(--text-dim);line-height:1.55;margin:0 0 12px}.ways pre{margin:0 0 12px;font-size:var(--fs-xs)}.steps{margin:0;padding-left:1.4em}.steps li{padding:4px 0}.steps li+li{margin-top:6px}.steps pre{margin:8px 0 4px}.list{list-style:none;margin:0;padding:0}.list li{padding:10px 0;border-bottom:var(--hairline);font-size:var(--fs-md)}.list li:last-child{border-bottom:none}.list a{font-weight:600;color:var(--text)}.list a:hover{color:var(--accent)}.list .claim{display:block;color:var(--text-dim);font-size:var(--fs-sm)}.cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:18px;margin-top:6px}.cards.compact{grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:10px}.card{display:flex;flex-direction:column;background:var(--bg-card);border:var(--hairline);border-radius:var(--radius);padding:20px 22px;color:inherit;text-decoration:none;transition:border-color var(--fast)}.cards.compact .card{padding:10px 12px}a.card:hover{border-color:var(--accent);text-decoration:none}a.card:hover h3{color:var(--accent)}.card p{margin:0 0 14px;font-size:var(--fs-sm);line-height:1.55;color:var(--text-dim)}.card .card-meta{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:12px}.card .chip{font-variant-caps:small-caps;font-size:13.5px;letter-spacing:var(--caps-tracking);color:var(--accent2)}.card .card-foot{margin-top:auto;font-size:var(--fs-sm);color:var(--text-dim);border-top:1px dashed var(--border);padding-top:12px}.card .card-foot .ok{color:var(--ok)}.card .card-foot .go{color:var(--accent)}.card.planned{border-style:dashed;background:transparent;opacity:.75}.card-claim{display:block;margin-top:4px;font-size:13.5px;line-height:1.45;color:var(--text-dim)}.cols{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:24px 36px}.cols h3{font-size:15px;font-variant-caps:small-caps;letter-spacing:var(--caps-tracking);color:var(--accent2)}.cols ul{list-style:none;margin:0;padding:0}.cols li{font-size:15px;padding:3px 0;color:var(--text-dim)}.cols li a{color:var(--text)}.cols li a:hover{color:var(--accent)}.cols .none{font-style:italic}.panel{background:var(--bg-card);border:var(--hairline);border-radius:var(--radius);padding:16px 18px;margin:12px 0 0}.panel.relative{position:relative}.panel .corner{position:absolute;top:10px;right:10px}.panel code{white-space:pre;font-size:13px}.panel.relative{overflow-x:auto}.figure{border-left:3px solid var(--accent);padding:4px 0 4px 18px;margin:8px 0 0}.figure .big{font-size:26px;font-weight:600;color:var(--accent);font-variant-numeric:tabular-nums}.figure dl{display:grid;grid-template-columns:max-content 1fr;gap:4px 16px;margin:10px 0 0;font-size:var(--fs-sm);color:var(--text-dim)}.figure dd{margin:0;color:var(--text);font-variant-numeric:tabular-nums}.aside{font-size:var(--fs-sm);color:var(--text-dim);margin:8px 0 0}.aside a{color:var(--text-dim)}.aside a:hover{color:var(--accent)}.notice{font-size:13.5px;line-height:1.55;color:var(--text-dim);background:var(--bg-card);border:var(--hairline);border-left:3px solid var(--accent);border-radius:var(--radius);padding:10px 14px;margin:18px 0 0}.notice strong{color:var(--text)}.notice.hot{border-left-color:var(--hot)}.notice.ok{border-left-color:var(--ok)}.coursenav{display:flex;justify-content:space-between;align-items:center;gap:var(--sp-3);flex-wrap:wrap;font-size:var(--fs-sm)}.math{position:relative;font-size:var(--fs-lg);text-align:center;color:var(--text);padding:10px 18px;margin:26px auto;max-width:720px;overflow-x:auto}.math .katex{font-size:1.22em}.tex .katex{font-size:.94em}.eq-note{font-size:var(--fs-sm);line-height:1.6;color:var(--text-dim);max-width:700px;margin:-14px auto 22px;padding:0 6px 0 16px;border-left:2px solid var(--border)}.eq-note strong{color:var(--text)}.ref{display:inline-block;font-variant-caps:small-caps;font-size:15px;letter-spacing:.04em;color:var(--ok);text-decoration:underline dotted;text-underline-offset:4px;margin:0 2px;white-space:nowrap}.ref:hover{text-decoration-style:solid}@media(max-width:600px){.math{font-size:15.5px;padding:10px}.math .katex{font-size:1.1em}.eq-note{font-size:13.5px}}.lsr{font-family:var(--serif);color:var(--text)}.lsr-form{margin:0}.lsr-input{font-family:var(--serif);font-size:17px;color:var(--text);background:var(--bg-raised);border:var(--hairline);border-radius:var(--radius);padding:11px 14px;outline:none;width:100%;box-sizing:border-box}.lsr-input:focus{border-color:var(--accent)}.lsr-input::placeholder{color:var(--text-dim)}.lsr-status{font-size:13.5px;color:var(--text-dim);margin:8px 0 0;min-height:1.4em}.lsr-results{display:grid;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:18px;margin-top:10px}.lsr-idle .lsr-results:empty,.lsr-idle .lsr-status:empty{display:none}.lsr-card{display:flex;flex-direction:column;gap:6px;padding:18px 20px;border:var(--hairline);border-radius:var(--radius);background:var(--bg-raised);text-decoration:none;color:inherit}.lsr-card:hover,.lsr-card.cursor,.lsr-card:focus-visible{border-color:var(--accent);outline:none}.lsr-card.lsr-draft{border-style:dashed}.lsr-title{font-size:var(--fs-h3);font-weight:600;color:var(--text);line-height:1.3}.lsr-card:hover .lsr-title{color:var(--accent)}.lsr-badge{font-variant-caps:small-caps;font-size:13px;font-weight:400;letter-spacing:var(--caps-tracking);color:var(--accent2);margin-left:6px}.lsr-claim{font-size:var(--fs-sm);line-height:1.5;color:var(--text-dim)}.lsr-topics{display:flex;flex-wrap:wrap;gap:2px 12px;margin-top:auto;padding-top:8px}.lsr-topic{font-variant-caps:small-caps;font-size:13.5px;letter-spacing:var(--caps-tracking);color:var(--accent2)}.lsr mark{background:var(--mark);color:inherit;border-radius:2px;padding:0 1px}.lsr-empty{grid-column:1 / -1;margin:0;padding:18px 4px 22px;font-size:14.5px;color:var(--text-dim)}.srch-overlay{position:fixed;inset:0;z-index:100;display:none}.srch-overlay.show{display:block}.srch-backdrop{position:absolute;inset:0;background:#14100873}.srch-panel{position:relative;margin:11vh auto 0;width:min(680px,calc(100vw - 32px));background:var(--bg-raised);border:var(--hairline);border-radius:5px;box-shadow:0 18px 60px #0f0c0559;font-family:var(--serif);color:var(--text);display:flex;flex-direction:column;max-height:72vh}.srch-input{font-family:var(--serif);font-size:18px;color:var(--text);background:transparent;border:none;border-bottom:1px solid var(--border);padding:16px 18px;outline:none;width:100%;box-sizing:border-box}.srch-input::placeholder{color:var(--text-dim)}.srch-results{overflow-y:auto;padding:10px;grid-template-columns:1fr;gap:6px;margin:0}.srch-results .lsr-card{background:transparent;border-color:transparent;padding:9px 10px}.srch-results .lsr-card:hover,.srch-results .lsr-card.cursor{background:var(--bg);border-color:var(--border)}.srch-results .lsr-empty{padding:14px 8px 18px}.srch-foot{border-top:1px solid var(--border);padding:7px 14px;font-family:var(--mono);font-size:10.5px;color:var(--text-dim)}.srch-foot a{color:var(--accent);text-decoration:none}.nav-search{cursor:pointer;color:var(--text-dim);text-decoration:none}.nav-search:hover{color:var(--accent)}.lsr-card[hidden],.lsr-quiet .lsr-status{display:none}.lsr-score{font-size:12px;color:var(--text-dim);font-variant-numeric:tabular-nums}