@font-face{font-family:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(/_astro/dm-sans-latin-ext-wght-normal.BOFOeGcA.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(/_astro/dm-sans-latin-wght-normal.Xz1IZZA0.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@layer base,typography,utilities,components;:root{--shadow-md: 0 .25rem .5rem rgba(0, 0, 0, .05);--shadow-lg: 0 0 1rem rgba(0, 0, 0, .05);--shadow-iframe: 0 .25rem .5rem rgba(0, 0, 0, .05);color-scheme:light dark;--accent-hue: 217;--color-accent: hsl(var(--accent-hue), 86%, 51%);--search-accent: hsl(var(--accent-hue), 100%, 90%);--search-text: hsl(var(--accent-hue), 100%, 10%);--color-bg: hsl(0, 0%, 94%);--color-text: hsl(0, 0%, 20%);--color-link: var(--color-accent);--color-card-bg: hsl(var(--accent-hue), 5%, 100%);--color-card-border: hsl(var(--accent-hue), 8%, 88%);--color-card-border-hover: hsl(var(--accent-hue), 12%, 75%);--color-code-bg: hsl(var(--accent-hue), 5%, 98%);--color-cell-bg: hsl(var(--accent-hue), 6%, 96%);--color-badge-bg: hsl(var(--accent-hue), 5%, 93%);--color-black-dark: rgba(0, 0, 0, .15);--color-black-light: rgba(0, 0, 0, .05);--heading-base-size: 16px;--heading-scale-factor: 1.25;--book-color: hsl(210, 60%, 90%);--book-text-color: hsl(from var(--book-color) h s 30%)}@media(prefers-color-scheme:dark){:root{--shadow-iframe: 0 .25rem .25rem rgba(0, 0, 0, .1), 0 .5rem 1rem rgba(0, 0, 0, .1);--color-bg: hsl(0, 0%, 10%);--color-text: hsl(0, 0%, 85%);--color-link: hsl(from var(--color-accent) h s 70%);--color-card-bg: hsl(var(--accent-hue), 8%, 14%);--color-card-border: hsl(var(--accent-hue), 6%, 23%);--color-card-border-hover: hsl(var(--accent-hue), 8%, 29%);--color-code-bg: hsl(var(--accent-hue), 4%, 12%);--color-cell-bg: hsl(var(--accent-hue), 5%, 19%);--color-badge-bg: hsl(var(--accent-hue), 4%, 18%);--color-black-dark: rgba(255, 255, 255, .15);--color-black-light: rgba(255, 255, 255, .05);--search-accent: hsl(from var(--color-accent) calc(h + 180) 100% 20%);--search-text: hsl(from var(--color-accent) calc(h + 180) 100% 95%);--book-color: hsl(210, 60%, 30%);--book-text-color: hsl(from var(--book-color) h s 80%)}}@layer base{*,*:before,*:after{font:inherit;box-sizing:border-box;margin:0;padding:0}body{font-family:DM Sans Variable,Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-weight:400;line-height:1.5;background-color:var(--color-bg);color:var(--color-text);padding-bottom:6rem}a{color:var(--color-link);text-decoration:none;&:hover{text-decoration:underline}}}@layer typography{h1,h2,h3,h4,h5,h6{font-weight:300;line-height:1}h1{font-size:calc(pow(var(--heading-scale-factor),5) * var(--heading-base-size))}h2{font-size:calc(pow(var(--heading-scale-factor),4) * var(--heading-base-size))}h3{font-size:calc(pow(var(--heading-scale-factor),3) * var(--heading-base-size))}h4{font-size:calc(pow(var(--heading-scale-factor),2) * var(--heading-base-size))}h5{font-size:calc(var(--heading-scale-factor) * var(--heading-base-size))}h6{font-size:var(--heading-base-size)}p:not(:last-child){margin-bottom:.5em}ul,ol{margin-left:1.5em;margin-bottom:.5em;>li:not(:last-child){margin-bottom:.5em}}ul{list-style-type:square}ol{list-style-type:lower-roman}.footnotes{ol{list-style-type:decimal}}blockquote{border-left:4px solid var(--color-accent);padding:1em;margin:1em 0;background-color:hsl(from var(--color-accent) h s l / .15);border-radius:0 .5rem .5rem 0;font-style:italic;>p:last-child{margin-bottom:0}}strong{font-weight:600;@media(prefers-color-scheme:dark){font-weight:700;color:#f0f0f0}}em{font-style:italic}small{font-size:.85em;color:var(--color-text)}code{font-family:Fira Code,monospace;font-size:.85em}p>code{background-color:var(--color-code-bg);padding:.2rem .4rem;border-radius:.5rem}pre:not(:has(.katex)){padding:.25rem .5rem;border-radius:.5rem}hr{border:none;border-top:1px solid var(--color-card-border);margin:2rem 0}img{display:block;width:100%;height:auto;max-width:300px;max-height:300px;border-radius:.75rem;&:not(.fill):nth-of-type(2n){float:left;margin:0 1rem 0 0}&:not(.fill):nth-of-type(odd){float:right;margin:0 0 0 1rem}&.diagram{@media(prefers-color-scheme:dark){filter:invert(1) hue-rotate(135deg)}}&.fill{max-width:100%;border-radius:.5rem;margin:1em auto}@media screen and (max-width:600px){max-width:100%;float:none!important;margin:1rem 0!important}}.katex-display{margin:.5em 0}.text,article{h1,h2,h3,h4,h5,h6{line-height:1.125;&:has(+*){margin-bottom:.5em}&:not(:first-child){margin-top:1rem}}}}@layer utilities{.container{margin-inline:auto;padding:2rem 1rem;display:grid;grid-auto-flow:row;gap:.5rem}.grid{display:masonry;display:grid-lanes;grid-template-columns:repeat(auto-fill,minmax(400px,1fr));gap:1rem}.list-none{list-style:none;margin-left:0}}@layer components{input[type=text],input[type=search]{outline:none;width:100%;padding:.5rem .75rem;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:.75rem}.card{background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:.75rem;padding:1rem;transition:all .1s ease;&:has(>a):hover{border-color:var(--color-link)}>a{all:unset;cursor:pointer;display:contents}}.cell-item{display:grid;grid-auto-flow:row;gap:.25rem;a{display:contents}.cell-title{font-weight:600;font-size:.85rem;@media(prefers-color-scheme:dark){color:var(--color-link)}}.cell-content{display:block;min-width:0;a{display:contents;color:inherit;text-decoration:none;pointer-events:none}}.search-highlight{color:var(--search-text);background-color:var(--search-accent);border-radius:2px}&.cell-local{opacity:.6}}article{max-width:52rem;padding:4rem;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:1rem;line-height:1.75;hyphens:auto;h1,h2,h3,h4,h5,h6{text-align:left;text-wrap:balance}.cell{margin:1rem 0;padding:1rem;background-color:var(--color-cell-bg);border-radius:.5rem;>:last-child{margin-bottom:0}&:has(+.cell-solution,+.cell-proof){border-bottom-left-radius:0;border-bottom-right-radius:0;margin-bottom:.25rem}+.cell-solution,+.cell-proof{border-top-left-radius:0;border-top-right-radius:0}}.cell-solution,.cell-proof{margin-top:.25rem;padding-top:.75rem}body:has(#compact-mode-toggle:checked) &{>:not(.cell,h1,h2,h3,h4,h5,h6){display:none}.cell{border-radius:.5rem;margin-bottom:1rem}.cell-proof,.cell-observation,.cell-solution,.cell-example{display:none}}@media screen and (width<1350px){padding:2rem}@media screen and (width <= calc(61rem + 350px)){padding:1rem}}pre:has(.katex-display,code){max-width:100%;overflow-x:auto}.layout-masonry{display:grid;display:masonry;display:grid-lanes;grid-template-rows:initial;grid-template-rows:masonry;grid-template-rows:grid-lanes;grid-template-columns:repeat(auto-fill,minmax(370px,1fr));gap:1rem}.layout-cells{display:grid;grid-template-columns:1fr;gap:1rem;padding:1rem;justify-content:center}.layout-article-aside{display:grid;grid-template-columns:52rem 350px;gap:2rem;justify-content:center;padding-top:2rem;aside{position:sticky;align-self:start;top:2rem;display:grid;gap:1rem;font-size:14px}@media screen and (width <= calc(61rem + 350px)){display:block;article{margin:auto}aside{display:none}}}.article-wrapper{display:block}.chapter-navigation{display:grid;grid-template-columns:1fr 1fr;width:100%;max-width:52rem;margin:0 auto;margin-top:1rem;.nav-button{display:flex;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:.75rem;padding:0;transition:all .1s ease;max-width:calc(100% - .5rem);&:has(>a):hover{border-color:var(--color-link)}a{text-decoration:none;all:unset;cursor:pointer;display:flex;align-items:center;gap:1rem;padding:1rem;color:var(--color-text);transition:all .1s ease;&:hover{color:var(--color-link)}}&.prev-button{grid-column:1;justify-self:start;a{padding-right:2rem;justify-content:start}}&.next-button{grid-column:2;justify-self:end;a{padding-left:2rem;justify-content:end}}.nav-arrow{font-size:1.25rem;flex-shrink:0}.nav-text{display:flex;flex-direction:column;gap:.125rem;text-align:left}&.next-button .nav-text{text-align:right}.nav-label{font-size:.75rem;text-transform:uppercase;letter-spacing:.05em;opacity:.6;font-weight:500}.nav-title{font-size:1rem;font-weight:600}}@media screen and (max-width:600px){grid-template-columns:1fr;grid-template-rows:1fr 1fr;gap:.5rem;.nav-button.prev-button,.nav-button.next-button{grid-column:span 2}}}.page-header{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:3rem;border-bottom:2px solid var(--color-card-border);padding-bottom:1rem}.top-nav{user-select:none;z-index:100;background-color:var(--color-card-bg);border-bottom:1px solid var(--color-card-border);padding:.75rem 1rem;.nav-content{max-width:calc(54rem + 350px);margin:0 auto;display:flex;align-items:center;gap:1.5rem;&.full-width{max-width:100%}}.nav-back{font-weight:500;color:var(--color-text);font-size:.9rem;white-space:nowrap;&:hover{color:var(--color-link);text-decoration:none}}.nav-breadcrumbs{display:flex;align-items:center;gap:.5rem;font-size:.9rem;color:var(--color-text);flex:1;overflow:hidden;.breadcrumb-item{white-space:nowrap;overflow:hidden;text-overflow:ellipsis;&.active{opacity:1;font-weight:500}}.breadcrumb-item:not(.active){opacity:.6}}.nav-search{font-weight:500;color:var(--color-link);font-size:.9rem;&:hover{text-decoration:underline}}}.books-list{display:flex;flex-direction:column;gap:4rem}.book-section{display:flex;flex-direction:column;gap:1.5rem}.book-title{text-transform:capitalize;font-size:2rem;color:var(--color-text);opacity:.8;font-weight:300}.chapters-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(175px,1fr));gap:1.5rem;@media screen and (max-width:600px){grid-template-columns:repeat(auto-fill,minmax(140px,1fr))}}.chapter-card{display:flex;flex-direction:column;justify-content:space-between;aspect-ratio:1 / 1.41;gap:.5rem;background-color:var(--book-color);color:var(--book-text-color);border:1px solid var(--color-card-border);border-radius:.5rem;padding:1rem 1.5rem;text-decoration:none;transition:all .2s cubic-bezier(.4,0,.2,1);box-shadow:var(--shadow-md);position:relative;&:before{content:"";position:absolute;top:0;left:0;bottom:0;width:12px;background:linear-gradient(to right,var(--color-black-dark),transparent);border-right:1px solid var(--color-black-light);border-top-left-radius:.5rem;border-bottom-left-radius:.5rem}&:hover{border-color:var(--color-link);text-decoration:none}.chapter-number{font-size:2rem;font-weight:300;opacity:.5}.chapter-name{font-size:1.125rem;font-weight:500;line-height:1.41;text-wrap:balance}}.stats-container{user-select:none;display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin-bottom:.5rem}.stat-separator{width:1px;height:1.25rem;background-color:var(--color-card-border);margin-inline:.25rem}.stat-badge{display:flex;align-items:center;gap:.5rem;padding:.25rem .75rem;background-color:var(--color-badge-bg);border:1px solid var(--color-card-border);border-radius:2rem;font-size:.85rem;.stat-type{font-weight:600;text-transform:capitalize;color:var(--color-text);opacity:.7}.stat-count{font-family:Fira Code,monospace;font-weight:700;color:var(--color-text);opacity:.5}}iframe{display:block;margin:.5em auto;border-radius:.75rem;aspect-ratio:5 / 4;max-height:50vh;border:1px solid var(--color-card-border);box-shadow:var(--shadow-iframe);&.wide{width:100%;max-width:90vw;max-height:90vh}}.toc-header{font-size:.95rem;font-weight:600;color:var(--color-text);margin-bottom:1rem;text-transform:uppercase;letter-spacing:.05em;opacity:.8}.toc-list{ul{list-style:none;margin:0;display:flex;flex-direction:column;gap:.1rem}}.toc-item{margin-bottom:0;&.toc-depth-2{margin-left:0}&.toc-depth-3{margin-left:1.25em}&.toc-depth-4{margin-left:2.5em}&.toc-depth-5{margin-left:3.75em}&.toc-depth-6{margin-left:5em}}.toc-link{display:block;padding:.3rem .5rem;border-radius:.3rem;font-size:.85rem;font-weight:500;color:var(--color-link);transition:all .15s ease;&:hover{text-decoration:underline}&:active{opacity:.7}}.compact-mode-card{display:flex;align-items:center}.compact-mode-toggle{display:flex;align-items:center;gap:.75rem;cursor:pointer;user-select:none;width:100%;input[type=checkbox]{appearance:none;-webkit-appearance:none;width:1.5rem;height:1.5rem;cursor:pointer;border:1.5px solid var(--color-card-border);border-radius:.375rem;background-color:var(--color-card-bg);transition:all .2s ease;flex-shrink:0;display:flex;align-items:center;justify-content:center;&:hover{border-color:var(--color-link)}&:checked{background-color:var(--color-link);border-color:var(--color-link);&:after{content:"✓";color:var(--color-card-bg);font-size:.9rem;font-weight:700}}}}.toggle-label{font-size:.9rem;font-weight:500;color:var(--color-text)}.link-preview-tooltip{max-width:50ch;padding:.5rem;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:.5rem;box-shadow:var(--shadow-md);font-size:.85rem;position:absolute;pointer-events:none;&.hidden{display:none}a{color:inherit}}a[href*="#"]:hover{anchor-name:--link-preview-tooltip}}