:root{--space-xs: .25rem;--space-sm: .5rem;--space-md: 1rem;--space-lg: 1.5rem;--space-xl: 2rem;--space-2xl: 3rem;--space-3xl: 4rem;--radius-sm: 4px;--radius-md: 8px;--radius-lg: 12px;--shadow-sm: 0 1px 2px rgba(0,0,0,.06);--shadow-md: 0 4px 12px rgba(0,0,0,.08);--shadow-lg: 0 8px 24px rgba(0,0,0,.12);--transition: .2s ease;--transition-slow: .35s ease;--max-width: 720px;--max-width-wide: 900px;--sidebar-width: 260px;--header-height: 56px;--font-sans: "Inter", system-ui, -apple-system, sans-serif;--font-serif: "Source Serif 4", "CMU Serif", "Latin Modern Roman", Georgia, serif;--font-mono: "JetBrains Mono", "Source Code Pro", "CMU Typewriter Text", "Fira Code", monospace;--font-math: "KaTeX_Main", "Latin Modern Math", "Cambria Math", serif;--text-xs: .75rem;--text-sm: .875rem;--text-base: 1rem;--text-lg: 1.125rem;--text-xl: 1.25rem;--text-2xl: 1.5rem;--text-3xl: 2rem;--leading-tight: 1.25;--leading-normal: 1.6;--leading-relaxed: 1.75}:root,[data-theme=light]{--bg-primary: #ffffff;--bg-secondary: #f8f9fa;--bg-tertiary: #f1f3f5;--bg-code: #f6f8fa;--bg-hover: #e9ecef;--text-primary: #212529;--text-secondary: #495057;--text-tertiary: #868e96;--text-link: #1c7ed6;--text-link-hover: #1971c2;--border-color: #dee2e6;--border-light: #e9ecef;--accent: #1c7ed6;--accent-light: #e7f5ff;--accent-hover: #1971c2;--accent-rgb: 28, 126, 214;--theorem-bg: #f0f9ff;--theorem-border: #3b82f6;--proof-bg: #f8fafc;--proof-border: #94a3b8;--definition-bg: #fdf4ff;--definition-border: #a855f7;--lemma-bg: #fefce8;--lemma-border: #eab308;--code-highlight: #fff3cd;--code-inline: #f1f3f5;--code-inline-text: #e03131}[data-theme=dark]{--bg-primary: #1a1b1e;--bg-secondary: #25262b;--bg-tertiary: #2c2e33;--bg-code: #1e1e2e;--bg-hover: #373a40;--text-primary: #c1c2c5;--text-secondary: #909296;--text-tertiary: #5c5f66;--text-link: #74c0fc;--text-link-hover: #a5d8ff;--border-color: #373a40;--border-light: #2c2e33;--accent: #74c0fc;--accent-light: #1a2a3a;--accent-hover: #a5d8ff;--accent-rgb: 116, 192, 252;--theorem-bg: #0d1b2a;--theorem-border: #3b82f6;--proof-bg: #1a1f2e;--proof-border: #64748b;--definition-bg: #1a0d2e;--definition-border: #a855f7;--lemma-bg: #1a1600;--lemma-border: #ca8a04;--code-highlight: #2d2a00;--code-inline: #2c2e33;--code-inline-text: #ff8787}[data-theme=paper]{--bg-primary: #faf8f0;--bg-secondary: #f5f1e8;--bg-tertiary: #efe9da;--bg-code: #f0ede5;--bg-hover: #e8e2d4;--text-primary: #1a1a1a;--text-secondary: #4a4a4a;--text-tertiary: #777;--text-link: #2563eb;--text-link-hover: #1d4ed8;--border-color: #d5cec0;--border-light: #e5dfd2;--accent: #2563eb;--accent-light: #eff6ff;--accent-hover: #1d4ed8;--accent-rgb: 37, 99, 235;--font-serif: "CMU Serif", "Latin Modern Roman", Georgia, serif;--font-sans: "CMU Sans Serif", "Latin Modern Sans", system-ui, sans-serif;--font-mono: "CMU Typewriter Text", "Latin Modern Mono", monospace;--max-width: 650px;--text-base: 1.05rem;--leading-normal: 1.7;--theorem-bg: #f7f4ed;--theorem-border: #3b82f6;--proof-bg: transparent;--proof-border: #94a3b8;--definition-bg: #f9f6f0;--definition-border: #a855f7;--lemma-bg: #faf8ee;--lemma-border: #eab308;--shadow-sm: none;--shadow-md: 0 1px 3px rgba(0,0,0,.06);--shadow-lg: 0 2px 8px rgba(0,0,0,.08)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%}body{font-family:var(--font-serif);font-size:var(--text-base);line-height:var(--leading-normal);color:var(--text-primary);background:var(--bg-primary);transition:background var(--transition-slow),color var(--transition-slow);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--font-sans);font-weight:700;line-height:var(--leading-tight);color:var(--text-primary);scroll-margin-top:calc(var(--header-height) + var(--space-md))}h1{font-size:var(--text-3xl)}h2{font-size:var(--text-2xl);border-bottom:1px solid var(--border-light);padding-bottom:var(--space-xs);margin-bottom:var(--space-md)}h3{font-size:var(--text-xl)}h4{font-size:var(--text-lg)}[data-theme=paper] h2{border-bottom:.5px solid var(--border-color)}p{margin-bottom:var(--space-md)}a{color:var(--text-link);text-decoration:none;transition:color var(--transition)}a:hover{color:var(--text-link-hover);text-decoration:underline}img,svg,video,canvas{max-width:100%;height:auto;display:block}ul,ol{margin-bottom:var(--space-md);padding-left:1.5em}li{margin-bottom:var(--space-xs)}blockquote{border-left:3px solid var(--accent);margin:var(--space-lg) 0;padding:var(--space-sm) var(--space-lg);background:var(--bg-secondary);border-radius:0 var(--radius-sm) var(--radius-sm) 0;color:var(--text-secondary)}table{width:100%;border-collapse:collapse;margin:var(--space-lg) 0;font-size:var(--text-sm);overflow-x:auto;display:block}th,td{padding:var(--space-sm) var(--space-md);border:1px solid var(--border-color);text-align:left}th{background:var(--bg-secondary);font-weight:600}hr{border:none;border-top:1px solid var(--border-color);margin:var(--space-xl) 0}figcaption{text-align:center;font-size:var(--text-sm);color:var(--text-tertiary);margin-top:var(--space-xs)}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}.container{max-width:var(--max-width);margin:0 auto;padding:0 var(--space-lg)}.container-wide{max-width:var(--max-width-wide);margin:0 auto;padding:0 var(--space-lg)}@media(max-width:768px){:root{--text-3xl: 1.5rem;--text-2xl: 1.25rem;--text-xl: 1.125rem;--header-height: 48px}.container,.container-wide{padding:0 var(--space-md)}}@media(min-width:1400px){:root{--max-width: 780px;--max-width-wide: 1000px}}[data-font=cmu]{--font-serif: "CMU Serif", Georgia, "Noto Serif CJK SC", serif;--font-sans: "CMU Sans Serif", system-ui, sans-serif;--font-mono: "CMU Typewriter Text", "Fira Code", monospace}[data-font=latin-m]{--font-serif: "Latin Modern Roman", Georgia, "Noto Serif CJK SC", serif;--font-sans: "Latin Modern Sans", system-ui, sans-serif;--font-mono: "Latin Modern Mono", "Source Code Pro", monospace}[data-font=ibm-plex]{--font-serif: "IBM Plex Serif", Georgia, "Noto Serif CJK SC", serif;--font-sans: "IBM Plex Sans", system-ui, sans-serif;--font-mono: "IBM Plex Mono", "Fira Code", monospace}[data-font=source]{--font-serif: "Source Serif 4", Georgia, "Noto Serif CJK SC", serif;--font-sans: "Source Sans 3", system-ui, sans-serif;--font-mono: "Source Code Pro", "JetBrains Mono", monospace}[data-font=inter]{--font-serif: "Inter", system-ui, -apple-system, sans-serif;--font-sans: "Inter", system-ui, -apple-system, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", "Cascadia Code", monospace}@font-face{font-family:"CMU Serif";src:local("CMU Serif"),local("cmunrm");font-display:swap}@font-face{font-family:"CMU Sans Serif";src:local("CMU Sans Serif"),local("cmunss");font-display:swap}@font-face{font-family:CMU Typewriter Text;src:local("CMU Typewriter Text"),local("cmuntt");font-display:swap}@font-face{font-family:Latin Modern Roman;src:local("Latin Modern Roman"),local("lmroman10-regular");font-display:swap}@font-face{font-family:Latin Modern Mono;src:local("Latin Modern Mono"),local("lmmono10-regular");font-display:swap}@font-face{font-family:"Noto Serif CJK SC";src:local("Noto Serif CJK SC"),local("Source Han Serif SC"),local("SimSun");font-display:swap}pre.astro-code{margin:var(--space-lg) 0;padding:var(--space-lg);border-radius:var(--radius-md);overflow-x:auto;font-family:var(--font-mono);font-size:.875rem;line-height:1.6;border:1px solid var(--border-color);background:var(--bg-code)!important;tab-size:4;-moz-tab-size:4}pre.astro-code code{font-family:inherit;font-size:inherit;display:block;min-width:max-content}:not(pre)>code{font-family:var(--font-mono);font-size:.9em;padding:.15em .4em;border-radius:var(--radius-sm);background:var(--code-inline);color:var(--code-inline-text);border:1px solid var(--border-light);white-space:nowrap}.code-block-wrapper{position:relative;margin:var(--space-lg) 0}.code-lang-label{position:absolute;top:0;right:0;padding:.15em .6em;font-family:var(--font-mono);font-size:.7rem;color:var(--text-tertiary);background:var(--bg-secondary);border-radius:0 var(--radius-sm) 0 var(--radius-sm);border-left:1px solid var(--border-color);border-bottom:1px solid var(--border-color);user-select:none}.code-copy-btn{position:absolute;top:var(--space-sm);right:var(--space-sm);padding:var(--space-xs) var(--space-sm);font-size:var(--text-xs);background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:var(--radius-sm);color:var(--text-secondary);cursor:pointer;opacity:0;transition:opacity var(--transition)}.code-block-wrapper:hover .code-copy-btn{opacity:1}.code-copy-btn:hover{background:var(--bg-hover)}pre.astro-code .highlighted{display:block;background:var(--code-highlight);margin:0 calc(-1 * var(--space-lg));padding:0 var(--space-lg);border-left:3px solid var(--accent)}@media(max-width:768px){pre.astro-code{padding:var(--space-md);font-size:.8rem;margin:var(--space-md) 0}.code-copy-btn{opacity:1;font-size:.65rem}}.katex-display{margin:var(--space-lg) 0!important;overflow-x:auto;overflow-y:hidden;padding:var(--space-xs) 0}.katex-display>.katex{white-space:normal;text-align:left}.katex{font-size:1.1em!important;line-height:1.3}.katex-inline{padding:0 .1em}[data-theme=dark] .katex{color:var(--text-primary)}[data-theme=paper] .katex-display{margin:1.2rem 0!important}.katex .mord.text{font-family:var(--font-serif)}@media(max-width:768px){.katex-display{font-size:.9em}}.theorem,.lemma,.corollary,.proposition{margin:var(--space-lg) 0;padding:var(--space-md) var(--space-lg);border-left:4px solid var(--theorem-border);background:var(--theorem-bg);border-radius:0 var(--radius-md) var(--radius-md) 0}.theorem:before{content:"定理";display:block;font-family:var(--font-sans);font-weight:700;font-size:var(--text-sm);color:var(--theorem-border);text-transform:uppercase;letter-spacing:.05em;margin-bottom:var(--space-sm)}.lemma:before{content:"引理";display:block;font-family:var(--font-sans);font-weight:700;font-size:var(--text-sm);color:var(--lemma-border);text-transform:uppercase;letter-spacing:.05em;margin-bottom:var(--space-sm)}.lemma{border-left-color:var(--lemma-border);background:var(--lemma-bg)}.proof{margin:var(--space-lg) 0;padding:var(--space-md) var(--space-lg);border-left:4px solid var(--proof-border);background:var(--proof-bg);border-radius:0 var(--radius-md) var(--radius-md) 0}.proof:before{content:"证明";display:block;font-family:var(--font-sans);font-style:italic;font-size:var(--text-sm);color:var(--proof-border);margin-bottom:var(--space-sm)}.proof:after{content:"∎";display:block;text-align:right;margin-top:var(--space-sm);font-size:1.2em;color:var(--text-tertiary)}.definition{margin:var(--space-lg) 0;padding:var(--space-md) var(--space-lg);border-left:4px solid var(--definition-border);background:var(--definition-bg);border-radius:0 var(--radius-md) var(--radius-md) 0}.definition:before{content:"定义";display:block;font-family:var(--font-sans);font-weight:700;font-size:var(--text-sm);color:var(--definition-border);text-transform:uppercase;letter-spacing:.05em;margin-bottom:var(--space-sm)}.callout{margin:var(--space-lg) 0;padding:var(--space-md) var(--space-lg);border-radius:var(--radius-md);border:1px solid var(--border-color);background:var(--bg-secondary)}.callout-title{font-weight:700;font-family:var(--font-sans);font-size:var(--text-sm);margin-bottom:var(--space-xs);display:flex;align-items:center;gap:var(--space-xs)}.callout--note{border-left:4px solid #3b82f6}.callout--tip{border-left:4px solid #22c55e}.callout--warn{border-left:4px solid #f59e0b}.callout--error{border-left:4px solid #ef4444}.callout--info{border-left:4px solid #06b6d4}@media print{*,*:before,*:after{background:#fff!important;color:#000!important;box-shadow:none!important;text-shadow:none!important}header,footer,nav,.theme-toggle,.font-selector,.search-modal,.code-copy-btn,.table-of-contents,.pagination,.tag-cloud,.particle-bg,.code-rain,.wave-bg{display:none!important}body{font-size:11pt;line-height:1.5;max-width:none;padding:0;margin:0}a{text-decoration:underline}a[href^=http]:after{content:" (" attr(href) ")";font-size:.8em;color:#555}h1,h2,h3,h4{page-break-after:avoid;break-after:avoid}pre,blockquote,img,svg,table,figure{page-break-inside:avoid;break-inside:avoid}pre.astro-code{border:1px solid #ddd;white-space:pre-wrap}.katex-display{overflow-x:visible}.theorem,.lemma,.proof,.definition{border:1px solid #999!important}}.site-header[data-astro-cid-hnhh3bfe]{position:sticky;top:0;z-index:50;height:var(--header-height);background:var(--bg-primary);border-bottom:1px solid var(--border-light);backdrop-filter:blur(8px);transition:background var(--transition-slow)}.header-inner[data-astro-cid-hnhh3bfe]{display:flex;align-items:center;justify-content:space-between;height:100%}.site-logo[data-astro-cid-hnhh3bfe]{font-family:var(--font-sans);font-size:var(--text-lg);font-weight:700;color:var(--text-primary);text-decoration:none;letter-spacing:-.02em}.site-nav[data-astro-cid-hnhh3bfe] ul[data-astro-cid-hnhh3bfe]{display:flex;list-style:none;padding:0;margin:0;gap:var(--space-xs)}.nav-link[data-astro-cid-hnhh3bfe]{padding:var(--space-xs) var(--space-sm);font-family:var(--font-sans);font-size:var(--text-sm);font-weight:500;color:var(--text-secondary);text-decoration:none;border-radius:var(--radius-sm);transition:all var(--transition)}.nav-link[data-astro-cid-hnhh3bfe]:hover,.nav-link[data-astro-cid-hnhh3bfe].active{color:var(--accent);background:var(--accent-light);text-decoration:none}.search-trigger[data-astro-cid-hnhh3bfe]{display:flex;align-items:center;justify-content:center;width:36px;height:36px;border:1px solid var(--border-color);border-radius:var(--radius-md);background:var(--bg-secondary);color:var(--text-secondary);cursor:pointer;transition:all var(--transition)}.search-trigger[data-astro-cid-hnhh3bfe]:hover{background:var(--bg-hover);color:var(--text-primary)}@media(max-width:768px){.site-nav[data-astro-cid-hnhh3bfe] ul[data-astro-cid-hnhh3bfe]{gap:0}.nav-link[data-astro-cid-hnhh3bfe]{padding:var(--space-xs) 6px;font-size:.8rem}.site-logo[data-astro-cid-hnhh3bfe]{font-size:var(--text-base)}}.site-footer[data-astro-cid-mh6itkc3]{position:relative;z-index:1;margin-top:var(--space-3xl);padding:var(--space-3xl) 0 var(--space-xl);border-top:2px solid var(--construct-red);background:var(--bg-secondary);font-size:var(--text-sm);color:var(--text-secondary)}.footer-grid[data-astro-cid-mh6itkc3]{display:grid;grid-template-columns:2fr 1fr 1fr;gap:var(--space-2xl);margin-bottom:var(--space-xl)}.footer-branding[data-astro-cid-mh6itkc3]{display:flex;flex-direction:column;gap:var(--space-xs)}.footer-logo[data-astro-cid-mh6itkc3]{font-family:var(--font-sans);font-size:var(--text-lg);font-weight:700;color:var(--construct-red);letter-spacing:.02em}.footer-tagline[data-astro-cid-mh6itkc3]{font-size:var(--text-xs);color:var(--text-tertiary);font-style:italic}.footer-nav-group[data-astro-cid-mh6itkc3]{display:flex;flex-direction:column;gap:var(--space-xs)}.footer-label[data-astro-cid-mh6itkc3]{font-family:var(--font-sans);font-size:var(--text-xs);font-weight:600;text-transform:uppercase;letter-spacing:.1em;color:var(--text-tertiary);margin-bottom:var(--space-xs)}.footer-nav-group[data-astro-cid-mh6itkc3] a[data-astro-cid-mh6itkc3]{display:flex;align-items:center;gap:4px;color:var(--text-secondary);text-decoration:none;transition:color var(--transition);font-size:var(--text-sm)}.footer-nav-group[data-astro-cid-mh6itkc3] a[data-astro-cid-mh6itkc3]:hover{color:var(--construct-red);text-decoration:none}.footer-divider[data-astro-cid-mh6itkc3]{border:none;border-top:1px solid var(--border-color);margin:var(--space-lg) 0}.footer-bottom[data-astro-cid-mh6itkc3]{display:flex;align-items:center;justify-content:center;gap:var(--space-sm);font-size:var(--text-xs);color:var(--text-tertiary);flex-wrap:wrap}.footer-sep[data-astro-cid-mh6itkc3]{color:var(--border-color)}.icp-link[data-astro-cid-mh6itkc3]{color:var(--text-tertiary);text-decoration:none;transition:color var(--transition)}.icp-link[data-astro-cid-mh6itkc3]:hover{color:var(--accent);text-decoration:underline}@media(max-width:768px){.footer-grid[data-astro-cid-mh6itkc3]{grid-template-columns:1fr 1fr;gap:var(--space-lg)}.footer-branding[data-astro-cid-mh6itkc3]{grid-column:1 / -1}}@media(max-width:480px){.footer-grid[data-astro-cid-mh6itkc3]{grid-template-columns:1fr}}.theme-toggle[data-astro-cid-lfoluaxz]{width:40px;height:40px;border:1px solid var(--border-color);border-radius:50%;background:var(--bg-secondary);cursor:pointer;display:flex;align-items:center;justify-content:center;font-size:1.1rem;transition:all var(--transition);position:relative;box-shadow:var(--shadow-sm)}.theme-toggle[data-astro-cid-lfoluaxz]:hover{background:var(--bg-hover);transform:scale(1.05)}.theme-icon[data-astro-cid-lfoluaxz]{position:absolute;line-height:1}.font-selector[data-astro-cid-2amxlgsh]{position:relative}.font-trigger[data-astro-cid-2amxlgsh]{width:40px;height:40px;border:1px solid var(--border-color);border-radius:50%;background:var(--bg-secondary);cursor:pointer;display:flex;align-items:center;justify-content:center;color:var(--text-secondary);transition:all var(--transition);box-shadow:var(--shadow-sm)}.font-trigger[data-astro-cid-2amxlgsh]:hover{background:var(--bg-hover);transform:scale(1.05)}.font-dropdown[data-astro-cid-2amxlgsh]{display:none;position:absolute;bottom:48px;right:0;list-style:none;padding:var(--space-xs);margin:0;background:var(--bg-primary);border:1px solid var(--border-color);border-radius:var(--radius-md);box-shadow:var(--shadow-lg);min-width:220px;z-index:101}.font-dropdown[data-astro-cid-2amxlgsh].open{display:block}.font-option[data-astro-cid-2amxlgsh]{display:flex;flex-direction:column;width:100%;padding:var(--space-sm) var(--space-md);border:none;background:none;cursor:pointer;border-radius:var(--radius-sm);text-align:left;color:var(--text-primary);transition:background var(--transition)}.font-option[data-astro-cid-2amxlgsh]:hover{background:var(--bg-hover)}.font-label[data-astro-cid-2amxlgsh]{font-size:var(--text-sm);font-weight:600}.font-desc[data-astro-cid-2amxlgsh]{font-size:var(--text-xs);color:var(--text-tertiary)}.search-modal[data-astro-cid-ntpb6bp7]{display:none;position:fixed;inset:0;z-index:200}.search-modal[data-astro-cid-ntpb6bp7].open{display:block}.search-backdrop[data-astro-cid-ntpb6bp7]{position:absolute;inset:0;background:#0006;backdrop-filter:blur(4px)}.search-dialog[data-astro-cid-ntpb6bp7]{position:relative;max-width:600px;margin:15vh auto;background:var(--bg-primary);border:1px solid var(--border-color);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);overflow:hidden;z-index:1}.search-input-wrapper[data-astro-cid-ntpb6bp7]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-md);border-bottom:1px solid var(--border-light);color:var(--text-tertiary)}.search-input[data-astro-cid-ntpb6bp7]{flex:1;border:none;outline:none;font-family:var(--font-sans);font-size:var(--text-base);color:var(--text-primary);background:transparent}.search-close[data-astro-cid-ntpb6bp7]{border:none;background:none;cursor:pointer;font-size:var(--text-lg);color:var(--text-tertiary);padding:var(--space-xs)}.search-results[data-astro-cid-ntpb6bp7]{max-height:50vh;overflow-y:auto;padding:var(--space-sm)}.search-hint[data-astro-cid-ntpb6bp7]{padding:var(--space-xl);text-align:center;color:var(--text-tertiary);font-size:var(--text-sm)}.search-result-item[data-astro-cid-ntpb6bp7]{display:block;padding:var(--space-md);border-radius:var(--radius-sm);text-decoration:none;transition:background var(--transition)}.search-result-item[data-astro-cid-ntpb6bp7]:hover{background:var(--bg-hover);text-decoration:none}.sr-title[data-astro-cid-ntpb6bp7]{display:block;font-weight:600;color:var(--text-primary);margin-bottom:2px}.sr-excerpt[data-astro-cid-ntpb6bp7]{display:block;font-size:var(--text-sm);color:var(--text-tertiary);line-height:1.4}@media(max-width:768px){.search-dialog[data-astro-cid-ntpb6bp7]{margin:5vh var(--space-md);max-width:none}}.floating-panel{position:fixed;bottom:24px;right:24px;z-index:100;display:flex;flex-direction:column;gap:8px}@media(max-width:768px){.floating-panel{bottom:16px;right:12px;gap:6px}}