@import"https://fonts.googleapis.com/css2?family=Crimson+Pro:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=IBM+Plex+Mono:ital,wght@0,400;0,500;1,400&family=Instrument+Sans:wght@400;500;600;700&display=swap";.top-nav[data-astro-cid-dmqpwcec]{position:fixed;top:0;left:0;right:0;height:var(--nav-height);background:var(--bg-surface);border-bottom:1px solid var(--border);z-index:100}.nav-inner[data-astro-cid-dmqpwcec]{max-width:var(--page-max);margin:0 auto;display:flex;align-items:center;height:100%;padding:0 var(--sp-6);gap:var(--sp-2)}.nav-brand[data-astro-cid-dmqpwcec]{font-weight:700;font-size:1.05rem;color:var(--text);text-decoration:none;margin-right:var(--sp-4);flex-shrink:0}.nav-brand[data-astro-cid-dmqpwcec]:hover{color:var(--text);text-decoration:none}.brand-mark[data-astro-cid-dmqpwcec]{letter-spacing:-.03em}.brand-dot[data-astro-cid-dmqpwcec]{color:var(--text-tertiary);font-weight:400}.nav-links[data-astro-cid-dmqpwcec]{display:flex;align-items:center;gap:var(--sp-1);margin-left:auto}.nav-sep[data-astro-cid-dmqpwcec]{width:1px;height:18px;background:var(--border-subtle);margin:0 var(--sp-2)}.nav-link[data-astro-cid-dmqpwcec]{color:var(--text-secondary);font-size:.825rem;font-weight:500;padding:var(--sp-1) var(--sp-2);border-radius:4px;text-decoration:none;white-space:nowrap;transition:color .15s,background .15s;background:none;border:none;cursor:pointer;font-family:inherit}.nav-link[data-astro-cid-dmqpwcec]:hover{color:var(--text);background:var(--bg-surface-raised);text-decoration:none}.search-trigger[data-astro-cid-dmqpwcec]{display:inline-flex;align-items:center;gap:var(--sp-2)}.search-kbd[data-astro-cid-dmqpwcec]{font-family:var(--font-mono);font-size:.65rem;padding:1px 5px;border:1px solid var(--border);border-radius:3px;color:var(--text-tertiary);background:var(--bg-surface-raised);line-height:1.4}.nav-more[data-astro-cid-dmqpwcec]{position:relative}.nav-more[data-astro-cid-dmqpwcec] summary[data-astro-cid-dmqpwcec]{list-style:none;cursor:pointer}.nav-more[data-astro-cid-dmqpwcec] summary[data-astro-cid-dmqpwcec]::-webkit-details-marker{display:none}.nav-dropdown[data-astro-cid-dmqpwcec]{position:absolute;top:calc(100% + var(--sp-2));left:0;background:var(--bg-surface);border:1px solid var(--border);border-radius:8px;padding:var(--sp-2);min-width:200px;box-shadow:var(--shadow-md);z-index:200;display:grid;grid-template-columns:1fr 1fr;gap:0}.dropdown-link[data-astro-cid-dmqpwcec]{display:flex;align-items:center;gap:var(--sp-2);padding:var(--sp-2) var(--sp-3);color:var(--text-secondary);font-size:.82rem;border-radius:4px;text-decoration:none;white-space:nowrap}.dropdown-link[data-astro-cid-dmqpwcec]:hover{background:var(--bg-surface-raised);color:var(--text);text-decoration:none}.dropdown-icon[data-astro-cid-dmqpwcec]{font-size:.9rem;width:1.2em;text-align:center;flex-shrink:0}.nav-menu-btn[data-astro-cid-dmqpwcec]{display:none;background:none;border:none;color:var(--text-secondary);cursor:pointer;padding:var(--sp-2);margin-left:auto}.mobile-nav[data-astro-cid-dmqpwcec]{display:none;position:fixed;inset:0;z-index:300;background:var(--bg-surface);overflow-y:auto;padding:var(--sp-4) var(--sp-6)}.mobile-nav[data-astro-cid-dmqpwcec].open{display:block}.mobile-nav-header[data-astro-cid-dmqpwcec]{display:flex;align-items:center;justify-content:space-between;margin-bottom:var(--sp-6);font-weight:700;font-size:1.05rem}.mobile-close[data-astro-cid-dmqpwcec]{background:none;border:none;color:var(--text-secondary);cursor:pointer;padding:var(--sp-2)}.mobile-nav-links[data-astro-cid-dmqpwcec]{display:flex;flex-direction:column;gap:var(--sp-1)}.mobile-link[data-astro-cid-dmqpwcec]{display:flex;align-items:center;gap:var(--sp-2);padding:var(--sp-2) var(--sp-3);font-size:.95rem;color:var(--text);text-decoration:none;border-radius:6px}.mobile-link[data-astro-cid-dmqpwcec]:hover{background:var(--bg-surface-raised);text-decoration:none}.mobile-domain[data-astro-cid-dmqpwcec]{padding-left:var(--sp-6);font-size:.88rem;color:var(--text-secondary)}.mobile-section[data-astro-cid-dmqpwcec]{font-size:.7rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:var(--text-tertiary);padding:var(--sp-3) var(--sp-3) var(--sp-1);margin-top:var(--sp-2)}@media(max-width:860px){.nav-links[data-astro-cid-dmqpwcec]{display:none}.nav-menu-btn[data-astro-cid-dmqpwcec]{display:block}}.sidebar[data-astro-cid-ssfzsv2f]{width:var(--sidebar-width);flex-shrink:0;border-right:1px solid var(--border-subtle);background:var(--bg-surface);position:sticky;top:var(--nav-height);height:calc(100vh - var(--nav-height));overflow:hidden}.sidebar-scroll[data-astro-cid-ssfzsv2f]{height:100%;overflow-y:auto;padding:var(--sp-4) 0}.domain-group[data-astro-cid-ssfzsv2f]{margin-bottom:var(--sp-1)}.domain-label[data-astro-cid-ssfzsv2f]{display:flex;align-items:center;gap:var(--sp-2);padding:var(--sp-2) var(--sp-4);font-size:.8rem;font-weight:600;color:var(--text);cursor:pointer;list-style:none;text-transform:uppercase;letter-spacing:.04em}.domain-label[data-astro-cid-ssfzsv2f]::-webkit-details-marker{display:none}.domain-icon[data-astro-cid-ssfzsv2f]{font-size:.9rem}.domain-children[data-astro-cid-ssfzsv2f]{padding-left:var(--sp-3)}.type-group[data-astro-cid-ssfzsv2f]{margin-bottom:var(--sp-1)}.type-label[data-astro-cid-ssfzsv2f]{display:flex;align-items:center;gap:var(--sp-2);padding:var(--sp-1) var(--sp-4);font-size:.78rem;font-weight:500;color:var(--text-secondary);cursor:pointer;list-style:none}.type-label[data-astro-cid-ssfzsv2f]::-webkit-details-marker{display:none}.type-dot[data-astro-cid-ssfzsv2f]{width:7px;height:7px;border-radius:50%;flex-shrink:0}.type-count[data-astro-cid-ssfzsv2f]{margin-left:auto;font-size:.7rem;color:var(--text-tertiary);font-weight:400}.doc-list[data-astro-cid-ssfzsv2f]{list-style:none;padding:0;margin:0 0 var(--sp-2) 0}.doc-link[data-astro-cid-ssfzsv2f]{display:block;padding:var(--sp-1) var(--sp-4) var(--sp-1) calc(var(--sp-4) + 15px);font-size:.78rem;color:var(--text-secondary);text-decoration:none;border-radius:4px;transition:color .15s,background .15s}.doc-link[data-astro-cid-ssfzsv2f]:hover{color:var(--text);background:var(--bg-surface-raised);text-decoration:none}@media(max-width:860px){.sidebar[data-astro-cid-ssfzsv2f]{display:none}}:root{--bg: #f6f3ed;--bg-surface: #faf8f4;--bg-surface-raised: #edeae3;--bg-code: #eae7df;--border: #c8c2b4;--border-subtle: #ddd8cc;--text: #1a1610;--text-secondary: #4a4538;--text-tertiary: #8e8778;--accent: #1a5fb4;--accent-hover: #0f3d78;--accent-subtle: #dce8f5;--type-concept: #2e6dba;--type-theorem: #7b4bb3;--type-method: #2a8c4a;--type-model: #b37d1a;--type-quantity: #c0392b;--type-phenomenon: #b8457a;--sidebar-width: 256px;--nav-height: 50px;--content-max: 760px;--page-max: 1280px;--font-sans: "Instrument Sans", system-ui, -apple-system, sans-serif;--font-mono: "IBM Plex Mono", "Menlo", monospace;--font-serif: "Crimson Pro", "Georgia", serif;--sp-1: .25rem;--sp-2: .5rem;--sp-3: .75rem;--sp-4: 1rem;--sp-6: 1.5rem;--sp-8: 2rem;--sp-12: 3rem;--shadow-sm: 0 1px 2px rgba(40, 32, 16, .06);--shadow-md: 0 4px 12px rgba(40, 32, 16, .08);--focus-ring: 0 0 0 2px var(--bg), 0 0 0 4px var(--accent);--ease-out: cubic-bezier(.22, 1, .36, 1);--duration-fast: .12s;--duration-normal: .2s}@media(prefers-color-scheme:dark){:root{--bg: #0e1117;--bg-surface: #161b24;--bg-surface-raised: #1e2430;--bg-code: #1a202b;--border: #2e3644;--border-subtle: #232a36;--text: #e8e4dc;--text-secondary: #9ca3af;--text-tertiary: #5e6778;--accent: #5b9cf6;--accent-hover: #8dbbfd;--accent-subtle: #1a2744;--type-concept: #5b9cf6;--type-theorem: #a78bda;--type-method: #4ade80;--type-model: #e0a730;--type-quantity: #f87171;--type-phenomenon: #f472b6;--shadow-sm: 0 1px 3px rgba(0, 0, 0, .4);--shadow-md: 0 4px 16px rgba(0, 0, 0, .5);--focus-ring: 0 0 0 2px var(--bg), 0 0 0 4px var(--accent)}}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;-webkit-text-size-adjust:100%;scroll-behavior:smooth;hanging-punctuation:first last}body{font-family:var(--font-sans);color:var(--text);background:var(--bg);line-height:1.65;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}::selection{background:color-mix(in srgb,var(--accent) 24%,transparent);color:var(--text)}:focus-visible{outline:none;box-shadow:var(--focus-ring);border-radius:3px}::-webkit-scrollbar{width:7px;height:7px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--border);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--text-tertiary)}*{scrollbar-width:thin;scrollbar-color:var(--border) transparent}h1,h2,h3,h4,h5,h6{font-family:var(--font-serif);font-weight:600;line-height:1.28;color:var(--text);text-wrap:balance}h1{font-size:1.85rem;font-weight:700;margin-bottom:var(--sp-4);letter-spacing:-.02em}h2{font-size:1.3rem;margin-top:var(--sp-8);margin-bottom:var(--sp-3);letter-spacing:-.01em;padding-bottom:var(--sp-2);border-bottom:1px solid var(--border-subtle)}h3{font-size:1.08rem;margin-top:var(--sp-6);margin-bottom:var(--sp-2)}h4{font-size:.95rem;margin-top:var(--sp-4);margin-bottom:var(--sp-2);font-weight:500;font-family:var(--font-sans);text-transform:uppercase;letter-spacing:.04em;color:var(--text-secondary)}p{margin-bottom:var(--sp-4)}a{color:var(--accent);text-decoration:none;transition:color var(--duration-fast) var(--ease-out)}a:hover{color:var(--accent-hover);text-decoration:underline;text-underline-offset:2px;text-decoration-thickness:1px}strong{font-weight:600}em{font-style:italic}ul,ol{margin-bottom:var(--sp-4);padding-left:1.4em}li{margin-bottom:var(--sp-1)}li>ul,li>ol{margin-bottom:0}li::marker{color:var(--text-tertiary)}code{font-family:var(--font-mono);font-size:.85em;background:var(--bg-code);padding:.15em .4em;border-radius:3px;border:1px solid var(--border-subtle);font-variant-ligatures:none}pre{font-family:var(--font-mono);font-size:.84rem;background:var(--bg-code);border:1px solid var(--border-subtle);border-radius:5px;padding:var(--sp-4);overflow-x:auto;margin-bottom:var(--sp-4);line-height:1.6;tab-size:2}pre code{background:none;padding:0;font-size:inherit;border:none}table{width:100%;border-collapse:collapse;margin-bottom:var(--sp-6);font-size:.88rem;font-variant-numeric:tabular-nums}th,td{padding:var(--sp-2) var(--sp-3);text-align:left;border-bottom:1px solid var(--border-subtle)}th{font-weight:600;font-size:.72rem;font-family:var(--font-sans);color:var(--text-tertiary);text-transform:uppercase;letter-spacing:.06em;border-bottom-color:var(--border)}tbody tr{transition:background var(--duration-fast) var(--ease-out)}tr:hover td{background:var(--bg-surface-raised)}blockquote{border-left:2px solid var(--accent);padding:var(--sp-3) var(--sp-4);margin:var(--sp-6) 0;color:var(--text-secondary);background:var(--bg-surface-raised);border-radius:0 4px 4px 0;font-family:var(--font-serif);font-style:italic;font-size:.98rem}blockquote p:last-child{margin-bottom:0}blockquote strong{font-style:normal}hr{border:none;height:1px;background:linear-gradient(to right,transparent,var(--border) 15%,var(--border) 85%,transparent);margin:var(--sp-8) 0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:var(--sp-3) 0;margin:var(--sp-2) 0}.katex-display>.katex{text-align:left;padding-left:var(--sp-2)}.katex{font-size:1.06em}.katex-display:hover{background:color-mix(in srgb,var(--accent) 4%,transparent);border-radius:4px;transition:background var(--duration-normal) var(--ease-out)}.transition-colors{transition:color var(--duration-fast) var(--ease-out),background-color var(--duration-fast) var(--ease-out),border-color var(--duration-fast) var(--ease-out)}.page-shell[data-astro-cid-37fxchfa]{display:flex;min-height:calc(100vh - var(--nav-height));margin-top:var(--nav-height)}.main-content[data-astro-cid-37fxchfa]{flex:1;min-width:0;max-width:var(--content-max);margin:0 auto;padding:var(--sp-8) var(--sp-6)}.has-sidebar[data-astro-cid-37fxchfa] .main-content[data-astro-cid-37fxchfa]{margin-left:var(--sp-8);margin-right:auto}@media(max-width:860px){.has-sidebar[data-astro-cid-37fxchfa] .main-content[data-astro-cid-37fxchfa]{margin-left:auto}}