*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}img,svg{display:block;max-width:100%}:focus-visible{outline:2px solid var(--color-accent);outline-offset:3px;border-radius:2px}::selection{background:var(--color-accent);color:#fff}html{font-size:17px}body{font-family:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,sans-serif;line-height:1.75}h1,h2,h3,h4{font-weight:800;line-height:1.25;color:var(--color-heading);scroll-margin-top:80px;letter-spacing:-0.02em}h1{font-size:clamp(2rem, 5vw, 3.25rem);letter-spacing:-0.03em;margin-bottom:1.5rem}h2{font-size:clamp(1.35rem, 3vw, 1.8rem);margin:4rem 0 1rem;padding-bottom:.5rem;border-bottom:1px solid var(--color-border);position:relative}h2::before{content:'';position:absolute;bottom:-1px;left:0;width:60px;height:3px;background:var(--color-accent);border-radius:2px}h3{font-size:clamp(1.1rem, 2vw, 1.3rem);margin:2rem 0 .5rem;font-weight:700}h4{font-size:1rem;margin:1.5rem 0 .5rem;font-weight:700}p{margin-bottom:1rem;max-width:70ch}strong{font-weight:600;color:var(--color-text-strong)}em{font-style:italic}a{color:var(--color-accent);text-decoration:none;transition:all 150ms ease}a:hover{text-decoration:underline;text-underline-offset:3px}:not(pre)>code{font-family:"JetBrains Mono","Fira Code","Cascadia Code",Consolas,monospace;font-size:0.85em;background:var(--color-code-bg);color:var(--color-accent);padding:0.15em 0.45em;border-radius:4px;font-weight:500}pre{margin:1.5rem 0;border-radius:10px;overflow:hidden;border:1px solid var(--color-border);box-shadow:var(--shadow-sm)}pre code{display:block;padding:1.5rem;overflow-x:auto;font-size:0.85rem;line-height:1.65;background:var(--color-code-bg);font-family:"JetBrains Mono","Fira Code","Cascadia Code",Consolas,monospace}blockquote{border-left:4px solid var(--color-blockquote-border);margin:1.5rem 0;padding:1rem 2rem;background:var(--color-blockquote-bg);border-radius:0 8px 8px 0;color:var(--color-text-secondary);font-style:italic}blockquote p:last-child{margin-bottom:0}blockquote strong{font-style:normal}ol,ul{margin-bottom:1rem;padding-left:2rem}ol li,ul li{margin-bottom:.25rem}hr{border:none;border-top:1px solid var(--color-border);margin:3rem 0}.heading-anchor{opacity:0;margin-left:0.3em;color:var(--color-text-muted);font-size:0.8em;text-decoration:none;font-weight:400;transition:opacity 150ms ease}.heading-anchor:hover{text-decoration:none;color:var(--color-accent)}h2:hover .heading-anchor,h3:hover .heading-anchor{opacity:1}.footnotes{margin-top:4rem;padding-top:2rem;border-top:1px solid var(--color-border);font-size:0.85rem;color:var(--color-text-secondary)}.footnote{font-size:0.82rem}.reversefootnote{text-decoration:none;margin-left:0.3em}:root{--color-bg: #faf8f5;--color-bg-raised: #ffffff;--color-bg-subtle: #f5f1eb;--color-text: #2d2a26;--color-text-strong: #1a1714;--color-text-secondary: #6b6560;--color-text-muted: #9c9590;--color-heading: #1a1714;--color-accent: #b8730a;--color-accent-hover: #965e08;--color-accent-light: rgba(184,115,10,0.08);--color-accent-glow: rgba(184,115,10,0.18);--color-accent-soft: #fdf6ed;--color-teal: #0d9488;--color-teal-light: rgba(13,148,136,0.08);--color-code-bg: #f5f1eb;--color-code-text: #2d2a26;--color-blockquote-bg: #fdf6ed;--color-blockquote-border: #b8730a;--color-border: #e8e3dc;--color-border-light: #f0ece6;--color-table-header: #f5f1eb;--color-table-stripe: #faf8f5;--color-table-hover: #fdf6ed;--color-callout-info-bg: #f0f9f8;--color-callout-info-border: #0d9488;--color-callout-warning-bg: #fef9f0;--color-callout-warning-border: #b8730a;--color-overlay: rgba(0,0,0,0.55);--shadow-sm: 0 1px 2px rgba(0,0,0,0.04);--shadow-md: 0 4px 12px rgba(0,0,0,0.06);--shadow-lg: 0 8px 30px rgba(0,0,0,0.08);--shadow-xl: 0 20px 60px rgba(0,0,0,0.12);--color-hero-bg: linear-gradient(160deg, #1a1714 0%, #2d2820 40%, #3d3428 100%);--color-hero-text: #faf8f5;--color-hero-subtitle: #c4b8a8;--color-hero-accent: #d4942b;--color-sidebar-bg: #1a1714;--color-sidebar-text: #c4b8a8;--color-sidebar-text-muted: #7a7268;--color-sidebar-active: #faf8f5;--color-sidebar-hover: #2d2820;--color-sidebar-accent: #d4942b;--sidebar-search-bg: rgba(255,255,255,0.06);--sidebar-search-border: rgba(255,255,255,0.08);--sidebar-search-focus: rgba(212,148,43,0.3)}[data-theme="dark"]{--color-bg: #151310;--color-bg-raised: #1d1a16;--color-bg-subtle: #1a1714;--color-text: #d4cfc8;--color-text-strong: #ede8e0;--color-text-secondary: #9c9590;--color-text-muted: #6b6560;--color-heading: #ede8e0;--color-accent: #d4942b;--color-accent-hover: #e0a840;--color-accent-light: rgba(212,148,43,0.12);--color-accent-glow: rgba(212,148,43,0.2);--color-accent-soft: #242018;--color-teal: #2dd4bf;--color-teal-light: rgba(45,212,191,0.1);--color-code-bg: #1d1a16;--color-code-text: #d4cfc8;--color-blockquote-bg: #201c16;--color-blockquote-border: #d4942b;--color-border: #2d2820;--color-border-light: #242018;--color-table-header: #1d1a16;--color-table-stripe: #181512;--color-table-hover: #242018;--color-callout-info-bg: #0d2623;--color-callout-info-border: #2dd4bf;--color-callout-warning-bg: #241e14;--color-callout-warning-border: #d4942b;--color-overlay: rgba(0,0,0,0.75);--shadow-sm: 0 1px 2px rgba(0,0,0,0.2);--shadow-md: 0 4px 12px rgba(0,0,0,0.3);--shadow-lg: 0 8px 30px rgba(0,0,0,0.4);--shadow-xl: 0 20px 60px rgba(0,0,0,0.5);--color-hero-bg: linear-gradient(160deg, #0c0a08 0%, #151310 40%, #1d1a16 100%);--color-hero-text: #ede8e0;--color-hero-subtitle: #9c9590;--color-hero-accent: #d4942b;--color-sidebar-bg: #0f0d0b;--color-sidebar-text: #9c9590;--color-sidebar-text-muted: #5c554c;--color-sidebar-active: #ede8e0;--color-sidebar-hover: #1a1714;--color-sidebar-accent: #d4942b;--sidebar-search-bg: rgba(255,255,255,0.04);--sidebar-search-border: rgba(255,255,255,0.06);--sidebar-search-focus: rgba(212,148,43,0.2)}.app-container{display:flex;min-height:100vh}.main-content{flex:1;margin-left:280px;width:calc(100% - 280px);max-width:780px;padding:0 2rem 6rem}.sidebar-skeleton{padding:1rem}.skeleton-line{height:12px;background:var(--color-sidebar-hover);border-radius:4px;margin-bottom:.5rem;animation:skeleton-pulse 1.5s ease-in-out infinite}.skeleton-line.short{width:60%}@keyframes skeleton-pulse{0%,100%{opacity:0.3}50%{opacity:0.6}}.hero{background:var(--color-hero-bg);color:var(--color-hero-text);margin:0 calc(-1 * 2rem) 4rem;padding:6rem 2rem 4rem;position:relative;overflow:hidden}.hero::before{content:'';position:absolute;top:-50%;right:-20%;width:80%;height:200%;background:radial-gradient(ellipse, rgba(212,148,43,0.08), transparent 70%);pointer-events:none}.hero::after{content:'';position:absolute;bottom:0;left:2rem;right:2rem;height:1px;background:linear-gradient(to right, rgba(212,148,43,0.4), rgba(212,148,43,0.05))}.hero h1{color:var(--color-hero-text);margin-bottom:.5rem;position:relative;max-width:20ch;border:none;padding:0}.hero h1::before{display:none}.hero .subtitle{color:var(--color-hero-subtitle);font-size:1.2rem;font-weight:400;position:relative;max-width:55ch;line-height:1.6}.hero .hero-meta{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin-top:2rem;font-size:0.9rem;color:var(--color-hero-subtitle);position:relative;opacity:0.85}.hero .hero-meta .meta-sep{opacity:0.4}.hero .hero-meta .reading-time{color:var(--color-hero-subtitle)}.hero .hero-cta{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:2rem;position:relative}.hero .hero-btn{display:inline-flex;align-items:center;gap:.25rem;padding:.5rem 2rem;border-radius:8px;font-weight:600;font-size:0.95rem;transition:all 150ms ease;cursor:pointer;border:none;letter-spacing:-0.01em}.hero .hero-btn.primary{background:var(--color-accent);color:#fff}.hero .hero-btn.primary:hover{background:var(--color-accent-hover);transform:translateY(-1px);text-decoration:none}.hero .hero-btn.secondary{background:rgba(255,255,255,0.08);color:var(--color-hero-text);border:1px solid rgba(255,255,255,0.12)}.hero .hero-btn.secondary:hover{background:rgba(255,255,255,0.15);text-decoration:none}.chapter-badge{display:inline-block;background:rgba(212,148,43,0.2);color:var(--color-hero-accent);padding:0.2em 0.8em;border-radius:20px;font-size:0.78rem;font-weight:700;letter-spacing:0.06em;text-transform:uppercase;margin-bottom:1rem;position:relative}.sidebar{position:fixed;top:0;left:0;width:280px;height:100vh;background:var(--color-sidebar-bg);color:var(--color-sidebar-text);display:flex;flex-direction:column;z-index:100;transition:transform 300ms cubic-bezier(0.4, 0, 0.2, 1);border-right:1px solid rgba(255,255,255,0.04)}.sidebar::-webkit-scrollbar{width:3px}.sidebar::-webkit-scrollbar-thumb{background:rgba(255,255,255,0.08);border-radius:3px}.sidebar-brand{padding:1.5rem 2rem;display:flex;align-items:center;gap:.5rem;border-bottom:1px solid rgba(255,255,255,0.05)}.sidebar-brand .brand-icon{font-size:1.4rem}.sidebar-brand .brand-title{font-size:0.9rem;font-weight:800;color:var(--color-sidebar-active);letter-spacing:-0.01em;line-height:1.3}.search-wrapper{padding:.5rem 1rem;position:relative}#search-input{width:100%;padding:.5rem 1rem;border-radius:8px;border:1px solid var(--sidebar-search-border);background:var(--sidebar-search-bg);color:var(--color-sidebar-text);font-size:0.82rem;font-family:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,sans-serif;transition:all 150ms ease}#search-input:focus{outline:none;border-color:var(--sidebar-search-focus);background:rgba(255,255,255,0.08)}#search-input::placeholder{color:var(--color-sidebar-text-muted)}#sidebar-nav{flex:1;overflow-y:auto;padding:.5rem 0}.nav-item a{display:block;padding:5px 1.5rem;font-size:0.82rem;color:var(--color-sidebar-text-muted);text-decoration:none;transition:all 150ms ease;border-left:2px solid transparent}.nav-item a:hover{background:var(--color-sidebar-hover);color:var(--color-sidebar-active);text-decoration:none}.nav-item.active>a{color:var(--color-sidebar-active);background:rgba(212,148,43,0.1);border-left-color:var(--color-sidebar-accent);font-weight:600}.nav-h2 a{padding-left:1.5rem;font-weight:600;font-size:0.84rem;color:var(--color-sidebar-text)}.nav-h3 a{padding-left:2.5rem;font-size:0.78rem}.sidebar-footer{padding:1rem 1.5rem;border-top:1px solid rgba(255,255,255,0.05);display:flex;gap:.25rem;flex-wrap:wrap}.sidebar-link{display:inline-flex;align-items:center;gap:4px;padding:4px 8px;font-size:0.75rem;color:var(--color-sidebar-text-muted);border-radius:6px;transition:all 150ms ease}.sidebar-link:hover{background:var(--color-sidebar-hover);color:var(--color-sidebar-active);text-decoration:none}.mobile-top-bar{display:none;position:fixed;top:0;left:0;right:0;height:56px;background:var(--color-sidebar-bg);color:var(--color-sidebar-active);align-items:center;padding:0 1rem;z-index:99;gap:.5rem;border-bottom:1px solid rgba(255,255,255,0.05)}.menu-toggle{background:none;border:none;color:var(--color-sidebar-active);padding:6px;cursor:pointer;display:flex;align-items:center}.menu-toggle .menu-icon{display:block;width:20px;height:2px;background:currentColor;position:relative}.menu-toggle .menu-icon::before,.menu-toggle .menu-icon::after{content:'';position:absolute;width:20px;height:2px;background:currentColor;transition:all 150ms ease}.menu-toggle .menu-icon::before{top:-6px}.menu-toggle .menu-icon::after{top:6px}.mobile-title{font-weight:700;font-size:0.85rem;flex:1;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;letter-spacing:-0.01em}.theme-toggle-mobile{background:none;border:none;font-size:1.2rem;cursor:pointer;padding:4px}.sidebar-overlay{display:none;position:fixed;inset:0;background:var(--color-overlay);z-index:99;opacity:0;transition:opacity 300ms cubic-bezier(0.4, 0, 0.2, 1)}.sidebar-overlay.visible{display:block;opacity:1}.inpage-toc{background:var(--color-bg-raised);border:1px solid var(--color-border);border-radius:12px;padding:1.5rem 2rem;margin-bottom:2rem;box-shadow:var(--shadow-sm)}.inpage-toc .toc-title{font-size:0.8rem;font-weight:700;text-transform:uppercase;letter-spacing:0.08em;color:var(--color-text-muted);margin-bottom:.5rem}.toc-list a{display:block;padding:3px 0;font-size:0.88rem;color:var(--color-text-secondary);border-left:2px solid transparent;padding-left:.5rem;transition:all 150ms ease}.toc-list a:hover{color:var(--color-accent);text-decoration:none}.toc-list a.active{color:var(--color-accent);border-left-color:var(--color-accent);font-weight:600}.toc-list .toc-h2{padding-left:.5rem;font-weight:500}.toc-list .toc-h3{padding-left:2rem;font-size:0.82rem}table{width:100%;border-collapse:collapse;margin:1.5rem 0;font-size:0.88rem;border-radius:10px;overflow:hidden;border:1px solid var(--color-border);box-shadow:var(--shadow-sm)}table thead{background:var(--color-table-header)}table thead th{padding:.5rem 1rem;text-align:left;font-weight:700;color:var(--color-heading);border-bottom:2px solid var(--color-border);font-size:0.82rem;text-transform:uppercase;letter-spacing:0.04em;white-space:nowrap}table tbody tr{border-bottom:1px solid var(--color-border-light);transition:background 150ms ease}table tbody tr:last-child{border-bottom:none}table tbody tr:nth-child(even){background:var(--color-table-stripe)}table tbody tr:hover{background:var(--color-table-hover)}table tbody td{padding:.5rem 1rem;vertical-align:top}dl{margin:1.5rem 0}dl dt{font-weight:700;margin-top:1rem;font-size:0.9rem;color:var(--color-heading)}dl dd{margin-left:2rem;color:var(--color-text-secondary);margin-bottom:.5rem}h2+*,h3+*{content-visibility:auto;contain-intrinsic-size:200px}.progress-bar{position:fixed;top:0;left:0;height:3px;background:var(--color-accent);z-index:10001;width:0}.fab{position:fixed;bottom:2rem;right:2rem;width:48px;height:48px;border-radius:50%;background:var(--color-accent);color:#fff;display:flex;align-items:center;justify-content:center;cursor:pointer;box-shadow:var(--shadow-lg);z-index:50;opacity:0;transform:translateY(10px);transition:all 300ms cubic-bezier(0.4, 0, 0.2, 1);border:none}.fab.visible{opacity:1;transform:translateY(0)}.fab:hover{transform:translateY(-3px);box-shadow:var(--shadow-xl)}.chapter-nav{margin:2rem 0}.chapter-nav-inner{display:flex;justify-content:space-between;align-items:center;gap:1rem}.chapter-nav-btn{display:flex;align-items:center;gap:.5rem;padding:.5rem 1.5rem;border-radius:8px;border:1px solid var(--color-border);background:var(--color-bg-raised);color:var(--color-text);text-decoration:none;transition:all 150ms ease;font-size:0.9rem;box-shadow:var(--shadow-sm)}.chapter-nav-btn:hover{background:var(--color-accent-soft);border-color:var(--color-accent);text-decoration:none;transform:translateY(-1px)}.chapter-nav-btn.disabled{opacity:0.35;cursor:not-allowed;pointer-events:none}.chapter-nav-btn .nav-arrow{font-size:1.1rem}.chapter-nav-btn .nav-label{font-weight:700}.chapter-nav-btn .nav-title{color:var(--color-text-secondary);max-width:180px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.chapter-nav-position{font-weight:700;color:var(--color-text-muted);font-size:0.82rem;white-space:nowrap;text-transform:uppercase;letter-spacing:0.05em}.breadcrumbs{margin-bottom:1rem}.breadcrumb-list{display:flex;list-style:none;padding:0;flex-wrap:wrap;gap:.25rem;font-size:0.82rem}.breadcrumb-item{color:var(--color-text-secondary)}.breadcrumb-item:not(:last-child)::after{content:'/';margin-left:.25rem;color:var(--color-text-muted)}.breadcrumb-item:last-child{color:var(--color-text);font-weight:600}.breadcrumb-item a{color:var(--color-text-muted)}.breadcrumb-item a:hover{color:var(--color-accent)}.reading-time{display:inline-flex;align-items:center;gap:4px;font-size:0.85rem;color:var(--color-text-muted)}.code-block-wrapper{position:relative}.code-block-wrapper .copy-btn{position:absolute;top:.5rem;right:.5rem;padding:4px 10px;font-size:0.72rem;background:var(--color-bg-raised);border:1px solid var(--color-border);border-radius:6px;cursor:pointer;color:var(--color-text-muted);opacity:0;transition:all 150ms ease;font-family:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,sans-serif;font-weight:600}.code-block-wrapper .copy-btn:hover{background:var(--color-bg-subtle);color:var(--color-text)}.code-block-wrapper .copy-btn.copied{background:var(--color-accent-soft);color:var(--color-accent);border-color:var(--color-accent)}.code-block-wrapper:hover .copy-btn{opacity:1}:target{animation:target-glow 2.5s ease-out}@keyframes target-glow{0%{background:var(--color-accent-glow);border-radius:4px}100%{background:transparent}}.proof-block{border:1px solid var(--color-border);border-radius:12px;margin:1.5rem 0;overflow:hidden;box-shadow:var(--shadow-sm)}.proof-block .proof-header{padding:.5rem 1.5rem;background:var(--color-bg-subtle);cursor:pointer;display:flex;justify-content:space-between;align-items:center;font-weight:700;font-size:0.88rem;user-select:none;transition:background 150ms ease}.proof-block .proof-header:hover{background:var(--color-bg-raised)}.proof-block .proof-body{padding:1rem 1.5rem;border-top:1px solid var(--color-border-light)}.proof-block.collapsed .proof-body{display:none}.diagram{font-family:"JetBrains Mono","Fira Code","Cascadia Code",Consolas,monospace;font-size:0.8rem;line-height:1.15;overflow-x:auto;cursor:zoom-in}.diagram.zoomed{position:fixed;inset:0;background:var(--color-overlay);z-index:1000;display:flex;align-items:center;justify-content:center;cursor:zoom-out}.diagram.zoomed pre{background:var(--color-bg-raised);padding:2rem;border-radius:12px;font-size:0.95rem;max-width:95vw;max-height:95vh;overflow:auto;box-shadow:var(--shadow-xl)}.equation-modal{display:none;position:fixed;inset:0;background:var(--color-overlay);z-index:1000;align-items:center;justify-content:center}.equation-modal.open{display:flex}.equation-modal .equation-modal-content{background:var(--color-bg-raised);padding:2rem;border-radius:16px;max-width:90vw;max-height:90vh;overflow:auto;box-shadow:var(--shadow-xl);position:relative}.equation-modal .equation-modal-close{position:absolute;top:.5rem;right:.5rem;background:none;border:none;font-size:1.5rem;cursor:pointer;color:var(--color-text-muted);padding:.25rem;border-radius:8px}.equation-modal .equation-modal-close:hover{background:var(--color-bg-subtle);color:var(--color-text)}.search-results-overlay{display:none;position:absolute;top:100%;left:.5rem;right:.5rem;background:var(--color-bg-raised);border:1px solid var(--color-border);border-radius:10px;max-height:380px;overflow-y:auto;box-shadow:var(--shadow-lg);z-index:200}.search-results-overlay.visible{display:block}.search-result-item{padding:.5rem 1rem;border-bottom:1px solid var(--color-border-light);cursor:pointer;transition:background 150ms ease}.search-result-item:hover{background:var(--color-bg-subtle)}.search-result-item .search-result-title{font-weight:700;font-size:0.88rem;color:var(--color-heading)}.search-result-item .search-result-snippet{font-size:0.8rem;color:var(--color-text-secondary);margin-top:2px}.search-result-item .search-result-snippet mark{background:var(--color-accent-soft);color:var(--color-accent);padding:0 2px;border-radius:2px;font-weight:600}.callout{padding:1rem 1.5rem;border-radius:10px;margin:1.5rem 0;border-left:4px solid}.callout.info{background:var(--color-callout-info-bg);border-color:var(--color-callout-info-border)}.callout.warning{background:var(--color-callout-warning-bg);border-color:var(--color-callout-warning-border)}.callout .callout-title{font-weight:700;margin-bottom:.25rem;font-size:0.88rem}.tag-est,.tag-prop,.tag-gap,.tag-spec,.tag-open{font-size:0.7rem;font-weight:700;text-transform:uppercase;letter-spacing:0.06em;padding:2px 7px;border-radius:4px}.tag-est{background:#e8f5e9;color:#2e7d32}.tag-prop{background:#e3f2fd;color:#1565c0}.tag-gap{background:#fff8e1;color:#e65100}.tag-spec{background:#fce4ec;color:#880e4f}.tag-open{background:#eceff1;color:#546e7a}[data-theme="dark"] .tag-est{background:#1b3a1b;color:#81c784}[data-theme="dark"] .tag-prop{background:#0d2b45;color:#64b5f6}[data-theme="dark"] .tag-gap{background:#3e2500;color:#ffb74d}[data-theme="dark"] .tag-spec{background:#3e0a20;color:#f48fb1}[data-theme="dark"] .tag-open{background:#1b2530;color:#90a4ae}.site-footer{margin-top:6rem;padding-top:2rem;border-top:1px solid var(--color-border);font-size:0.85rem;color:var(--color-text-muted)}.footer-content{display:flex;flex-wrap:wrap;justify-content:space-between;gap:1rem}.footer-main p{margin-bottom:.25rem}.footer-tagline{font-style:italic;color:var(--color-text-muted)}.footer-links{display:flex;gap:.5rem;align-items:center}.footer-link{color:var(--color-text-muted);font-size:0.82rem}.footer-link:hover{color:var(--color-accent)}.footer-sep{color:var(--color-border)}.lightbox{display:none;position:fixed;inset:0;background:rgba(0,0,0,0.92);z-index:2000;align-items:center;justify-content:center;cursor:zoom-out}.lightbox.open{display:flex}.lightbox .lightbox-content{max-width:90vw;max-height:90vh;object-fit:contain;border-radius:6px}.lightbox .lightbox-close{position:absolute;top:1.5rem;right:1.5rem;background:rgba(255,255,255,0.08);border:1px solid rgba(255,255,255,0.15);color:#fff;font-size:1.4rem;width:44px;height:44px;border-radius:50%;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:all 150ms ease}.lightbox .lightbox-close:hover{background:rgba(255,255,255,0.18)}.highlight{background:var(--color-code-bg)}.highlight .c,.highlight .c1,.highlight .cm,.highlight .cs{color:#8b7355;font-style:italic}.highlight .k,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr,.highlight .kt{color:#b8730a;font-weight:700}.highlight .s,.highlight .s1,.highlight .s2,.highlight .sb,.highlight .sc,.highlight .sd,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx{color:#0d9488}.highlight .n,.highlight .na,.highlight .nb,.highlight .nc,.highlight .no,.highlight .nd,.highlight .ni,.highlight .ne,.highlight .nf,.highlight .nl,.highlight .nn,.highlight .nx,.highlight .py{color:#2d2a26}.highlight .m,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#7c4dff}.highlight .o,.highlight .ow{color:#b8730a}.highlight .p{color:#6b6560}.highlight .nv,.highlight .vc,.highlight .vg,.highlight .vi{color:#c62828}.highlight .err{color:#c62828;background:#ffebee}.highlight .gd{color:#c62828;background:#ffebee}.highlight .gi{color:#2e7d32;background:#e8f5e9}.highlight .go{color:#9c9590}.highlight .gs{font-weight:700}[data-theme="dark"] .highlight .c,[data-theme="dark"] .highlight .c1,[data-theme="dark"] .highlight .cm,[data-theme="dark"] .highlight .cs{color:#6b6560}[data-theme="dark"] .highlight .k,[data-theme="dark"] .highlight .kd,[data-theme="dark"] .highlight .kn,[data-theme="dark"] .highlight .kp,[data-theme="dark"] .highlight .kr,[data-theme="dark"] .highlight .kt{color:#d4942b}[data-theme="dark"] .highlight .s,[data-theme="dark"] .highlight .s1,[data-theme="dark"] .highlight .s2{color:#2dd4bf}[data-theme="dark"] .highlight .n,[data-theme="dark"] .highlight .na,[data-theme="dark"] .highlight .nb,[data-theme="dark"] .highlight .nc,[data-theme="dark"] .highlight .no,[data-theme="dark"] .highlight .nd,[data-theme="dark"] .highlight .ni,[data-theme="dark"] .highlight .ne,[data-theme="dark"] .highlight .nf,[data-theme="dark"] .highlight .nl,[data-theme="dark"] .highlight .nn,[data-theme="dark"] .highlight .nx,[data-theme="dark"] .highlight .py{color:#d4cfc8}[data-theme="dark"] .highlight .m,[data-theme="dark"] .highlight .mf,[data-theme="dark"] .highlight .mh,[data-theme="dark"] .highlight .mi,[data-theme="dark"] .highlight .mo{color:#b388ff}[data-theme="dark"] .highlight .o,[data-theme="dark"] .highlight .ow{color:#d4942b}[data-theme="dark"] .highlight .p{color:#9c9590}[data-theme="dark"] .highlight .nv,[data-theme="dark"] .highlight .vc,[data-theme="dark"] .highlight .vg,[data-theme="dark"] .highlight .vi{color:#ef5350}[data-theme="dark"] .highlight .err{color:#ef5350;background:#3e1010}[data-theme="dark"] .highlight .gd{color:#ef5350;background:#3e1010}[data-theme="dark"] .highlight .gi{color:#66bb6a;background:#102e15}[data-theme="dark"] .highlight .go{color:#6b6560}img{max-width:100%;height:auto;border-radius:8px}@media (max-width: 1024px){.sidebar{transform:translateX(-100%)}.sidebar.open{transform:translateX(0)}.main-content{margin-left:0;width:100%;max-width:100%;padding:0 1rem 3rem;margin-top:56px}.mobile-top-bar{display:flex}.hero{margin:0 calc(-1 * 1rem) 2rem;padding:3rem 1rem 2rem;border-radius:0}.hero h1{font-size:1.6rem}.hero .subtitle{font-size:1rem}.hero::after{left:1rem;right:1rem}.chapter-nav-inner{flex-direction:column;gap:.5rem}.chapter-nav-btn{width:100%;justify-content:center}.fab{bottom:1rem;right:1rem}.footer-content{flex-direction:column}}@media (max-width: 640px){.main-content{padding:0 .5rem 1.5rem}.hero{margin:0 calc(-1 * .5rem) 1rem;padding:2rem .5rem}.hero h1{font-size:1.4rem}.hero .subtitle{font-size:0.9rem}.hero::after{left:.5rem;right:.5rem}h2{font-size:1.2rem}h3{font-size:1.05rem}table{font-size:0.78rem}table th,table td{padding:.25rem .5rem}pre code{font-size:0.76rem}}@media print{.sidebar,.mobile-top-bar,.sidebar-overlay,.fab,.progress-bar,.skip-link,.chapter-nav,.breadcrumbs,.hero-cta,.search-wrapper,.search-results-overlay,.copy-btn,.heading-anchor,.inpage-toc{display:none !important}.app-container{display:block}.main-content{margin:0 !important;width:100% !important;max-width:100% !important;padding:0 !important}body{background:#fff !important;color:#000 !important;font-size:11pt;line-height:1.5}.hero{background:none !important;color:#000 !important;padding:0 0 1rem 0 !important;margin:0 !important;border-radius:0 !important;border-bottom:2px solid #000}.hero h1{color:#000 !important;border:none}.hero .subtitle{color:#333 !important}.hero .hero-meta{color:#555 !important}.hero::before,.hero::after{display:none}h1,h2,h3,h4{color:#000 !important;page-break-after:avoid}h2{border-bottom:1px solid #ccc}h2::before{display:none}pre,code,.diagram{background:#f5f5f5 !important;color:#000 !important;border:1px solid #ddd;page-break-inside:avoid;box-shadow:none}blockquote{border-left:3px solid #999;background:none;color:#333}a{color:#000;text-decoration:underline}a[href^="http"]::after{content:" (" attr(href) ")";font-size:0.8em}table{border:1px solid #ddd;box-shadow:none}table th{background:#eee;border-bottom:1px solid #999}table td{border-bottom:1px solid #ddd}.proof-block{border:1px solid #ddd}.proof-block .proof-body{display:block !important}h2,h3,table,pre,blockquote{page-break-inside:avoid}.site-footer{margin-top:2rem;border-top:1px solid #999}}