@layer base,typography,utilities,components;:root{--color-bg: #f0f0f0;--color-text: #333333;--color-link: #1a73e8;--color-code-bg: #f4f4f4;--color-card-bg: #fff;--color-card-border: #e0e0e0;--color-card-border-hover: #c0c0c0;--shadow-md: 0 .25rem .5rem rgba(0, 0, 0, .05);--shadow-lg: 0 0 1rem rgba(0, 0, 0, .05);--heading-base-size: 16px;--heading-scale-factor: 1.25}@layer base{*,*:before,*:after{font:inherit;box-sizing:border-box;margin:0;padding:0}body{font-family:Inter,sans-serif;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{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}}strong{font-weight:600}em{font-style:italic}small{font-size:.85em;color:var(--color-text)}code{font-family:Fira Code,monospace;background-color:var(--color-code-bg);padding:.2rem .4rem;border-radius:.5rem}hr{border:none;border-top:1px solid var(--color-card-border);margin:2rem 0}.text,article{h1,h2,h3,h4,h5,h6{line-height:1.25;&:has(+*){margin-bottom:.5em}p+&{margin-top:1em}}}}@layer utilities{.container{margin-inline:auto;padding:2rem 1rem;display:grid;grid-auto-flow:row;gap:.5rem}.grid{display:masonry;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;&:hover{border-color:var(--color-link)}>a{all:unset;cursor:pointer;display:contents}}.cell-item{display:grid;grid-template-rows:auto 1fr;gap:.25rem;>a{display:contents}.cell-title{font-weight:600;font-size:.85rem}.cell-content{display:block;min-width:0}}article{max-width:80ch;padding:4rem;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:1rem;line-height:1.75;h1,h2,h3,h4,h5,h6{text-align:left;text-wrap:balance}.cell{margin:1rem 0;padding:1rem;background-color:var(--color-code-bg);border-radius:.5rem;:last-child{margin-bottom:0}}.cell-exercise:has(+.cell-solution){border-bottom-left-radius:0;border-bottom-right-radius:0;margin-bottom:.25rem}.cell-solution{margin-top:.25rem;padding-top:.75rem;border-top-left-radius:0;border-top-right-radius:0}body:has(#compact-mode-toggle:checked) &{>:not(.cell,h1,h2,h3,h4,h5,h6){display:none}.cell-proof,.cell-observation,.cell-solution,.cell-example{display:none}.cell-exercise{border-radius:.5rem;margin-bottom:1rem}}@media screen and (width<=1200px){padding:1rem}}pre:has(.katex-display,code){max-width:100%;overflow-x:auto}.layout-cells{display:grid;grid-template-columns:1fr;gap:1rem;padding:1rem;justify-content:center}.layout-article-aside{display:grid;grid-template-columns:80ch 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<=1200px){display:block;article{margin:auto}aside{display:none}}}.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}.cells-link{font-weight:500;padding:.5rem 1rem;background-color:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:.5rem;transition:all .2s ease;color:var(--color-text);&:hover{background-color:var(--color-code-bg);text-decoration:none}}.top-nav{user-select:none;z-index:100;background-color:#ffffffbf;backdrop-filter:blur(8px);border-bottom:1px solid var(--color-card-border);padding:.75rem 1rem;.nav-content{max-width:calc(80ch + 350px + 2rem);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}.chapter-card{--book-color: hsl(210, 40%, 90%);display:flex;flex-direction:column;justify-content:flex-end;aspect-ratio:1 / 1.41;gap:.5rem;background-color:var(--book-color);color:hsl(from var(--book-color) h s 30%);border:1px solid var(--color-card-border);border-radius:.5rem;padding: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,rgba(0,0,0,.15),transparent);border-right:1px solid rgba(0,0,0,.05);border-top-left-radius:.5rem;border-bottom-left-radius:.5rem}&:hover{border-color:var(--color-link);text-decoration:none}.chapter-number{font-family:Fira Code,monospace;font-size:.875rem;color:var(--color-link);font-weight:600}.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-code-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}}}