@font-face{font-family:AtlasMath;src:url(/_next/static/media/KaTeX_Main-Regular.0462f03b.woff2) format("woff2");font-display:swap}:root{font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;color:var(--ink);background:var(--paper);font-size:16px}*{box-sizing:border-box}body{margin:0}a,button{-webkit-tap-highlight-color:transparent}button{font:inherit;cursor:pointer}a{color:var(--accent)}[tabindex]:focus-visible,a:focus-visible,button:focus-visible{outline:3px solid var(--accent);outline-offset:4px}a,button{touch-action:manipulation}.skip-link{position:fixed;top:-70px;left:12px;background:var(--paper);padding:12px;z-index:20}.skip-link:focus{top:12px}.site-header{height:94px;padding:0 38px;justify-content:space-between;border-bottom:1px solid var(--line);gap:30px}.brand,.site-header{display:flex;align-items:center}.brand{gap:15px;text-decoration:none;color:var(--ink);font-size:12px;letter-spacing:.15em;font-weight:700}.brand-mark{font-size:32px;color:var(--accent)}.brand-sub{display:block;font-family:Georgia,serif;font-size:18px;letter-spacing:0;margin-top:5px;font-weight:400}.site-header nav{display:flex;gap:32px}.site-header nav a{text-decoration:none;color:var(--muted);font-size:14px;padding:10px 0}.site-header nav a:hover{color:var(--ink)}.source-link{font-size:14px;text-decoration:none;border:1px solid var(--line);border-radius:4px;padding:11px 16px}#app{--navigation-width:260px;display:grid;grid-template-columns:var(--navigation-width) minmax(0,1fr);min-height:calc(100vh - 150px)}.garden-nav{background:var(--nav);color:var(--ink);padding:0;position:relative}.eyebrow{font-size:11px;font-weight:650;letter-spacing:.15em;color:var(--muted);margin:0 0 12px}.garden-nav .eyebrow{color:var(--muted);font-size:10px}.garden-nav h2{font:28px/1.2 Georgia,serif;margin:0 0 16px}.nav-intro{color:var(--muted);font-size:14px;line-height:1.7;margin:0 0 35px}.domain{margin-bottom:24px}.domain h3{font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin:0 0 10px}.nav-node{display:block;width:100%;text-align:left;border:0;background:none;color:var(--ink);padding:10px 12px;font-size:14px;margin:2px 0;border-left:2px solid transparent}.nav-node.active,.nav-node:hover{background:var(--selected);color:var(--ink)}.nav-node.active{border-left-color:var(--accent)}.nav-note{margin-top:40px;color:var(--muted);font:italic 16px/1.5 Georgia,serif}.mini-line{display:block;width:30px;height:1px;background:var(--accent)}.exploration{min-width:0}.map-heading{display:flex;align-items:end;justify-content:space-between;gap:24px;padding:33px 46px 0}.map-heading .eyebrow{font-size:11px}.map-heading h1{font:34px/1.15 Georgia,serif;margin:8px 0 0}.map-key{font-size:12px;color:var(--muted);display:flex;gap:10px;align-items:center}.map-key i{width:28px;border-top:1px dashed var(--strong)}.atlas-map{display:block;width:100%;margin-top:18px}.connection{fill:none;stroke:var(--strong);stroke-width:1.7;stroke-dasharray:5 5;opacity:.8}.map-node{cursor:pointer}.map-node circle{fill:var(--paper);stroke:var(--strong);stroke-width:1.5;transition:fill .2s,stroke-width .2s}.map-node text{font:16px Georgia,serif;fill:var(--ink);pointer-events:none}.map-node .node-label{font:13px system-ui;fill:var(--ink)}.map-node:hover circle{fill:var(--selected);stroke-width:3}.map-node.is-selected circle{fill:var(--accent);stroke:var(--accent)}.map-node.is-selected text:not(.node-label){fill:var(--paper)}.map-node:focus-visible{outline:none}.map-node:focus-visible circle{stroke:var(--accent);stroke-width:4}.map-caption{display:flex;justify-content:space-between;font-size:12px;color:var(--muted);padding:0 46px 22px;border-bottom:1px solid var(--line)}.explanation{padding:35px 46px 48px;max-width:1250px;margin:auto;outline:none}.article-meta{display:flex;align-items:center;gap:16px;font-size:12px;color:var(--muted)}.domain-tag{background:var(--soft);color:var(--accent);padding:7px 10px;border-radius:3px}.explanation h2{font:38px/1.2 Georgia,serif;margin:21px 0 12px;letter-spacing:-.02em}.question{font:italic 19px/1.5 Georgia,serif;color:var(--muted);margin:0 0 22px}.introduction{font-size:17px;line-height:1.85;max-width:850px}.equation{background:var(--soft);border-left:2px solid var(--strong);margin:30px 0 11px;padding:18px 20px;overflow:auto;font-size:17px}.katex-display{margin:8px 0}.equation-caption{color:var(--muted);font-size:13px;line-height:1.7;margin:0 0 32px}.explanation-columns{display:grid;grid-template-columns:1.15fr 1fr;gap:44px}.explanation h3{font:20px/1.3 Georgia,serif;margin:0 0 14px}.explanation p{line-height:1.8}.explanation-columns p{font-size:15px;margin:0 0 17px}.scope-note{background:var(--soft);padding:16px 20px;margin-top:20px;border-radius:3px}.scope-note strong{font-size:12px;letter-spacing:.02em;font-weight:650}.scope-note p{font-size:13px;color:var(--muted);margin:8px 0 0}.forks{display:grid;grid-template-columns:1fr 1fr;gap:30px;margin:30px 0;padding:26px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.related{display:flex;align-items:center;justify-content:space-between;gap:15px;width:100%;background:none;border:1px solid var(--line);padding:14px 15px;color:var(--ink);text-align:left;margin-bottom:10px;border-radius:4px}.related:hover{background:var(--soft);border-color:var(--strong)}.related small{font-size:11px;color:var(--muted)}.sources a{font-size:14px;text-decoration-thickness:1px;text-underline-offset:3px}.sources p{font-size:12px;color:var(--muted);margin:6px 0 14px}.site-footer{display:flex;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding:20px 38px;color:var(--muted);font-size:11px}@media(min-width:1500px){.atlas-map{height:470px}}@media(max-width:1050px){.site-header{padding:0 22px}.site-header nav{gap:18px}.source-link{display:none}#app{--navigation-width:220px}.explanation,.map-caption,.map-heading{padding-left:28px;padding-right:28px}.atlas-map{height:360px}.explanation h2{font-size:33px}}@media(max-width:720px){.site-header{height:auto;min-height:100px;padding:20px;align-items:start;flex-direction:column;gap:15px}.site-header nav{gap:24px}.brand-sub{font-size:17px}#app{display:block}.domain h3,.nav-content>.eyebrow,.nav-content>h2,.nav-intro,.nav-note{display:none}.garden-nav nav{display:flex;overflow:auto;gap:6px;scrollbar-width:thin}.domain{margin:0;display:flex;gap:6px}.nav-node{width:auto;white-space:nowrap;padding:10px;font-size:13px}.map-heading{padding:25px 20px 0;align-items:start}.map-heading h1{font-size:28px}.map-key{font-size:10px;max-width:100px;line-height:1.5}.atlas-map{height:300px}.map-caption{padding:0 20px 18px;font-size:11px}.map-caption>span:last-child{display:none}.explanation{padding:28px 20px}.explanation h2{font-size:30px}.question{font-size:17px}.introduction{font-size:16px}.equation{font-size:15px;padding:13px 12px}.forks{grid-template-columns:1fr;gap:16px}.site-footer{display:block;padding:18px 20px;line-height:1.7}.site-footer span{display:block;margin-bottom:8px}}@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}.domain summary{font-size:14px;line-height:1.4;color:var(--ink);cursor:pointer;padding:9px 0}.paper-nav{margin:6px 0 8px 8px}.paper-nav summary{font-size:13px;color:var(--muted)}.domain .nav-node{font-size:14px}.site-header nav a[aria-current]{color:var(--ink);border-bottom:2px solid var(--accent)}.connection-control{display:flex;flex-direction:column;gap:8px;font-size:13px;color:var(--muted)}input,select{font:inherit;background:var(--paper);border:1px solid var(--strong);color:var(--ink);border-radius:4px;padding:9px 12px;min-height:42px;max-width:100%}.connection-control select{font-size:14px;min-width:220px}.map-legend{display:flex;flex-wrap:wrap;gap:20px;margin:22px 46px 0;color:var(--muted);font-size:12px}.map-legend>span{display:flex;align-items:center;gap:8px}.map-legend i{display:block;width:25px;border-top:1.5px solid var(--strong)}.map-legend .legend-learn{border-top-style:dashed}.map-legend .legend-proof{border-color:var(--accent)}.map-legend .legend-part{border-color:var(--line)}.map-legend .legend-illustrates{border-top-style:dotted}.connection.edge-proof{stroke:var(--accent);stroke-dasharray:none}.connection.edge-part{stroke:var(--line);stroke-dasharray:none;stroke-width:1}.connection.edge-illustrates{stroke-dasharray:2 6}.atlas-map{height:420px;margin-top:10px}.map-node rect{fill:var(--paper);stroke:var(--strong);stroke-width:1.2;transition:fill .2s,stroke .2s}.map-node:hover rect{fill:var(--selected);stroke:var(--accent)}.map-node.is-selected rect{fill:var(--accent);stroke:var(--accent)}.map-node .map-title{font:15px Georgia,serif}.map-node .map-type{font:9px system-ui;letter-spacing:.08em;fill:var(--muted)}.map-node.is-selected .map-title,.map-node.is-selected .map-type{fill:var(--paper)}.map-node:focus-visible rect{stroke:var(--accent);stroke-width:3}.map-group{font:10px system-ui;letter-spacing:.12em;fill:var(--muted)}.shared-setting{padding:14px 16px;background:var(--soft);border-radius:3px;font-size:14px!important}.assumptions{padding-left:20px;line-height:1.8;font-size:14px}.assumptions li{margin-bottom:12px}.relationship-label{display:block;font-size:11px;color:var(--muted);margin-top:5px}.technical{margin-top:20px}.technical summary{cursor:pointer;font-size:14px}.technical pre{white-space:pre-wrap;font:12px/1.8 ui-monospace,monospace;padding:18px;background:var(--soft)}.sources p,.technical pre{overflow-wrap:anywhere}.collection-view{padding:48px;max-width:1200px}.collection-view>h1{font:38px/1.2 Georgia,serif;letter-spacing:-.02em;margin:12px 0 20px}.collection-intro{font-size:17px;line-height:1.8;max-width:780px;color:var(--muted)}.paper-grid{display:grid;gap:20px;margin-top:32px}.paper-card{display:grid;grid-template-columns:80px 1fr;gap:28px;text-decoration:none;padding:26px 28px;border:1px solid var(--line);color:var(--ink);border-radius:6px}.paper-card:hover{background:var(--soft);border-color:var(--strong)}.paper-number{font:44px/1.2 Georgia,serif;color:var(--accent)}.paper-card h2{font:25px/1.3 Georgia,serif;margin:10px 0}.paper-card p{font-size:15px;line-height:1.8;margin-bottom:17px}.paper-meta{font-size:12px;color:var(--muted)}.collection-boundary{font-size:14px;line-height:1.8;color:var(--muted);margin-top:30px}.learning-route{list-style:none;padding:0;margin-top:32px}.learning-route li{border-top:1px solid var(--line)}.learning-route a{display:flex;gap:30px;padding:24px 8px;text-decoration:none;color:var(--ink)}.learning-route a:hover{background:var(--soft)}.route-number{font:24px Georgia,serif;color:var(--accent);padding-top:3px}.learning-route h2{font:23px/1.3 Georgia,serif;margin:0 0 8px}.learning-route p{font-size:15px;line-height:1.7;margin:0 0 10px}.learning-route small{color:var(--muted);font-size:12px}.experiment{margin:30px 0;padding:25px;background:var(--soft);border:1px solid var(--line);border-radius:6px}.experiment>p{font-size:15px}.experiment-controls{display:flex;flex-wrap:wrap;align-items:end;gap:16px;margin:20px 0}.experiment-controls label{display:flex;flex-direction:column;gap:8px;font-size:14px}.experiment-controls input{width:85px}.reset-example{background:var(--paper);border:1px solid var(--strong);border-radius:4px;padding:11px 14px;color:var(--ink);font-size:14px}.experiment-output{padding:18px;background:var(--paper);border-left:3px solid var(--line)}.experiment-output.invalid{border-left-color:var(--ink)}.experiment-output.counterexample{border-left-color:var(--accent)}.experiment-output strong{font-size:15px}.experiment-output p{font-size:14px;margin:10px 0 0}.experiment-scope{font-size:12px!important;color:var(--muted)}@media(max-width:1050px){.map-legend{margin-left:28px;margin-right:28px;gap:12px}.collection-view{padding:32px 28px}.connection-control select{min-width:180px}.paper-card{grid-template-columns:50px 1fr;gap:20px}.map-heading{align-items:start}}@media(max-width:720px){.garden-nav nav{display:block;overflow:visible}.domain{display:block;margin:0}.domain summary{display:block;font-size:14px;padding:12px 0;border-bottom:1px solid var(--line)}.domain[open]{margin-bottom:12px}.domain .nav-node{white-space:normal;width:100%;font-size:14px}.paper-nav summary{display:list-item;border:0;padding:8px 0;font-size:13px}.garden-nav .nav-node{padding-left:16px}.map-heading{flex-direction:column;gap:18px}.connection-control{width:100%}.connection-control select{width:100%;font-size:14px}.map-legend{margin:20px;font-size:11px;gap:12px}.atlas-map{height:270px}.collection-view{padding:30px 20px}.collection-view>h1{font-size:30px}.paper-card{padding:20px 16px;grid-template-columns:35px 1fr;gap:14px}.paper-number{font-size:32px}.paper-card h2{font-size:22px}.paper-card .eyebrow{font-size:10px;line-height:1.6}.collection-intro{font-size:16px}.experiment{padding:18px 16px}.experiment-controls{gap:12px}.experiment-controls select{max-width:100%;font-size:14px}.experiment-output{padding:15px}.experiment-heading h3{font-size:21px}}.map-node .map-title{font-size:17px}.map-scroll{overflow-x:auto}.map-scroll:focus-visible{outline:2px solid var(--accent);outline-offset:-3px}.map-caption span:first-child{max-width:620px}.site-header .brand-mark{font-family:Georgia,serif}.brand-icon{display:block;flex-shrink:0}.lesson{margin:38px 0 30px;border-top:1px solid var(--line);padding-top:28px}.lesson-intro>p{font-size:16px;max-width:780px}.lesson-intro h3{font-size:25px;margin-top:10px}.preparation{display:flex;align-items:baseline;gap:15px;margin:20px 0 24px;font-size:14px}.preparation>span{color:var(--muted);white-space:nowrap}.preparation>div{display:flex;gap:10px 20px;flex-wrap:wrap}.preparation a{color:var(--accent);text-underline-offset:3px}.lesson-contents{display:grid;grid-template-columns:1fr 1fr;gap:12px 25px;padding:22px 24px;background:var(--soft);border-radius:4px;margin:22px 0 30px}.lesson-contents a{display:flex;align-items:baseline;gap:13px;font-size:14px;line-height:1.5;color:var(--ink);text-decoration:none}.lesson-contents a:hover{text-decoration:underline;text-underline-offset:3px}.lesson-contents a>span{color:var(--accent);font:15px Georgia,serif}.lesson-section{padding:20px 0 25px;scroll-margin-top:20px;outline:none}.lesson-section+.lesson-section{border-top:1px solid var(--line)}.lesson-section-heading{display:flex;align-items:baseline;gap:15px}.lesson-section-heading>span{font:18px Georgia,serif;color:var(--accent)}.lesson-section-heading h3{font-size:24px;line-height:1.35;margin-bottom:15px}.lesson-section-body{margin-left:37px;max-width:790px}.lesson-section-body>p,.reasoning-steps{font-size:16px;line-height:1.9}.lesson-section-body>p{margin-top:0;margin-bottom:18px}.reasoning-steps{padding-left:25px}.reasoning-steps li{margin-bottom:16px;padding-left:4px}.lesson-section .equation{margin:22px 0 10px}.lesson-section .equation-caption{font-size:14px;line-height:1.7}.reflection{margin:18px 0 30px;background:var(--soft);padding:25px 28px;border-radius:5px}.reflection h3{font-size:22px;line-height:1.5;max-width:780px}.reflection details{margin-top:18px}.reflection summary{cursor:pointer;color:var(--accent);font-size:15px;line-height:1.5}.reflection details p{font-size:16px;line-height:1.8;max-width:780px;margin-bottom:0}@media(max-width:720px){.lesson-contents{grid-template-columns:1fr;padding:20px;gap:14px}.preparation{flex-direction:column;gap:10px}.lesson-section-body{margin-left:0}.lesson-section-heading{gap:12px}.lesson-section-heading h3{font-size:22px}.lesson-section-body>p,.reasoning-steps{font-size:16px;line-height:1.85}.reflection{padding:22px 20px}.reflection h3{font-size:20px}.lesson-intro h3{font-size:24px}.map-scroll .atlas-map{width:900px;height:515px;max-width:none}.map-legend{font-size:12px}.map-scroll{margin:0 0 10px}.map-caption,.map-heading .eyebrow{font-size:12px}}.direct-answer{max-width:850px}.direct-answer p{font-size:17px;line-height:1.9;margin:0 0 18px}.direct-answer p:first-child{font-size:19px;color:var(--ink)}.reading-depth{font-size:13px;color:var(--muted);max-width:850px;margin:24px 0}.entry-terms{margin:26px 0 32px;padding:24px;background:var(--soft);border:1px solid var(--line);border-radius:4px}.entry-terms h3{font-size:22px}.entry-terms dl{margin:0;display:grid;grid-template-columns:1fr 1fr;gap:22px 30px}.entry-terms dt{font-weight:650;font-size:14px;line-height:1.6;margin:0 0 5px}.entry-terms dt a{text-underline-offset:3px}.entry-terms dd{font-size:14px;line-height:1.8;color:var(--muted);margin:0}.formulation-heading{margin-top:30px!important}.formulation-heading+.equation{margin-top:15px}@media(max-width:720px){.direct-answer p,.direct-answer p:first-child{font-size:17px;line-height:1.85}.entry-terms{padding:20px 18px}.entry-terms dl{grid-template-columns:1fr;gap:20px}.reading-depth{line-height:1.7}}.domain-context{grid-template-columns:1fr;max-width:850px}.term-link{text-decoration-color:var(--strong);text-decoration-thickness:1px;text-underline-offset:4px}.term-link:hover{text-decoration-color:var(--accent)}.visual-invitation{display:block;border:1px solid var(--line);border-radius:4px;padding:17px 20px;margin:24px 0;text-decoration:none;font-size:16px;line-height:1.6;max-width:850px}.visual-invitation>span:first-child{display:block;font-size:11px;letter-spacing:.13em;color:var(--muted);margin-bottom:6px}.visual-invitation:hover{background:var(--soft);border-color:var(--strong)}.atlas-map{height:max(420px,calc(var(--map-height,515px)*.82))}@media(min-width:1500px){.atlas-map{height:max(470px,calc(var(--map-height,515px)*.91))}}@media(max-width:1050px){.atlas-map{height:max(360px,calc(var(--map-height,515px)*.7))}}@media(max-width:720px){.map-scroll .atlas-map{height:var(--map-height,515px)}}#app.nav-collapsed{--navigation-width:64px}.garden-nav{border-right:1px solid var(--line);min-width:0}.nav-content{padding:24px 28px 42px}.nav-content[hidden]{display:none}.nav-toggle{position:sticky;top:12px;z-index:2;display:flex;align-items:center;gap:10px;width:calc(100% - 16px);min-height:44px;margin:16px 8px 0;padding:10px;border:1px solid var(--line);border-radius:4px;background:var(--nav);color:var(--ink);font-size:13px;text-align:left}.nav-toggle:hover{background:var(--selected);border-color:var(--strong)}.nav-toggle svg{flex-shrink:0}.nav-toggle[aria-expanded=false] svg{transform:rotate(180deg)}.nav-collapsed .nav-toggle{justify-content:center;padding:8px}.nav-collapsed .nav-toggle-label{display:none}.exploration{container:atlas-reading/inline-size}.explanation,.lesson-section-body{max-width:none}.lesson-section-body>.reasoning-steps,.lesson-section-body>p{max-width:790px}.entry-terms,.explanation-columns,.forks{max-width:1250px}.collection-view{min-width:0}.map-scroll .atlas-map{min-width:760px}@container atlas-reading (max-width: 840px){.explanation-columns{grid-template-columns:1fr;gap:18px}}@container atlas-reading (max-width: 700px){.map-heading{flex-direction:column;align-items:start;gap:18px}.connection-control{width:100%}.connection-control select{width:100%;min-width:0}.map-caption>span:last-child{display:none}}@container atlas-reading (max-width: 620px){.entry-terms dl,.forks,.lesson-contents{grid-template-columns:1fr}.preparation{flex-direction:column;gap:10px}}@media (min-width:721px) and (max-width:1050px){.nav-content{padding:24px 18px 35px}}@media (max-width:720px){.garden-nav{border-right:0;border-bottom:1px solid var(--line);padding:8px 20px}.nav-collapsed .nav-toggle,.nav-toggle{position:static;width:100%;margin:0;justify-content:flex-start;padding:10px 12px}.nav-collapsed .nav-toggle-label{display:inline}.nav-toggle svg{transform:rotate(90deg)}.nav-toggle[aria-expanded=false] svg{transform:rotate(-90deg)}.nav-content{padding:12px 0 8px}}