@import"https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&family=Noto+Serif+SC:wght@400;500;600;700&family=Source+Serif+4:opsz,wght@8..60,400;8..60,500;8..60,600;8..60,700&display=swap";:root{--bg: #f4efe6;--surface: rgba(255, 252, 247, .94);--surface-strong: #fffdf9;--surface-muted: #efe4d4;--text: #1e2530;--muted: #5d6775;--line: #d9ccb8;--line-strong: #b9ab95;--accent: #8e3d23;--accent-strong: #6d2a16;--accent-soft: #f3e2d1;--code-bg: #171a21;--shadow: 0 18px 40px -28px rgba(49, 32, 16, .45);--radius-lg: 20px;--radius-md: 14px;--radius-sm: 8px}:root[data-theme=dark]{--bg: #11161d;--surface: rgba(23, 30, 39, .94);--surface-strong: #1b222c;--surface-muted: #242f3b;--text: #edf2f7;--muted: #9ba8b7;--line: #34404e;--line-strong: #49586b;--accent: #e58b62;--accent-strong: #f3ad8a;--accent-soft: #33241d;--code-bg: #0c1016;--shadow: 0 24px 54px -28px rgba(0, 0, 0, .6)}*{box-sizing:border-box}html,body{margin:0;padding:0;scroll-behavior:smooth}body{font-family:IBM Plex Sans,PingFang SC,Microsoft YaHei,sans-serif;background:radial-gradient(circle at top left,color-mix(in srgb,var(--accent) 9%,transparent) 0,transparent 32%),linear-gradient(180deg,color-mix(in srgb,var(--surface-strong) 76%,var(--bg)) 0%,var(--bg) 100%);color:var(--text);line-height:1.75;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;transition:background-color .3s ease,color .3s ease,border-color .3s ease}body:before{content:"";position:fixed;inset:0;pointer-events:none;background-image:linear-gradient(to bottom,color-mix(in srgb,var(--line) 7%,transparent) 0,color-mix(in srgb,var(--line) 7%,transparent) 1px,transparent 1px,transparent 28px);opacity:.22}a{color:var(--accent);text-decoration:none;transition:color .2s ease,opacity .2s ease,border-color .2s ease,background-color .2s ease}a:hover{opacity:.9;text-decoration:none}img{max-width:100%;height:auto}.container{position:relative;width:min(1240px,calc(100% - 2rem));margin:0 auto}.site-header{position:sticky;top:0;z-index:100;border-bottom:1px solid color-mix(in srgb,var(--line) 88%,transparent);backdrop-filter:blur(18px);-webkit-backdrop-filter:blur(18px);background:color-mix(in srgb,var(--bg) 78%,transparent)}.nav{display:flex;align-items:center;justify-content:space-between;min-height:78px;gap:1.25rem}.brand{color:var(--text);display:inline-flex;align-items:center;gap:.85rem}.brand-mark{width:2.6rem;height:2.6rem;display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line-strong);border-radius:.8rem;background:color-mix(in srgb,var(--accent-soft) 85%,var(--surface-strong));color:var(--accent-strong);font-family:"Source Serif 4","Noto Serif SC",serif;font-size:1.25rem;font-weight:700;letter-spacing:.08em}.brand-copy{display:flex;flex-direction:column;gap:.1rem}.brand-title{font-size:1.25rem;font-weight:700;letter-spacing:-.02em}.brand-subtitle{color:var(--muted);font-size:.8rem;letter-spacing:.08em;text-transform:uppercase}.links{display:flex;align-items:center;gap:.9rem;flex-wrap:wrap;justify-content:flex-end}.nav-link{color:var(--muted);font-size:.95rem;font-weight:500;padding:.45rem .8rem;border-radius:999px}.nav-link:hover,.nav-link[aria-current=page]{color:var(--accent-strong);background:color-mix(in srgb,var(--accent-soft) 82%,var(--surface-strong))}.theme-toggle{width:2.45rem;height:2.45rem;border:1px solid var(--line);border-radius:999px;background:var(--surface-strong);color:var(--text);display:inline-flex;align-items:center;justify-content:center;cursor:pointer;box-shadow:var(--shadow)}.theme-toggle:hover{color:var(--accent);border-color:var(--accent);background:var(--accent-soft);transform:translateY(-1px)}.skip-link{position:absolute;left:-9999px}.skip-link:focus{left:1rem;top:1rem;z-index:1000;background:var(--surface-strong);border:2px solid var(--accent);padding:.55rem 1rem;border-radius:var(--radius-sm)}.layout-grid{display:grid;grid-template-columns:minmax(0,1fr) 320px;gap:2rem;margin-top:2rem;align-items:start}.main-content-wrap,.sidebar-wrap{min-width:0}.card{background:var(--surface);border:1px solid color-mix(in srgb,var(--line) 92%,transparent);border-radius:var(--radius-lg);box-shadow:var(--shadow);transition:border-color .25s ease,background-color .25s ease,box-shadow .25s ease,transform .25s ease}.card.interactive{cursor:pointer}.card.interactive:hover{transform:translateY(-3px);border-color:color-mix(in srgb,var(--accent) 45%,var(--line));box-shadow:0 24px 42px -30px color-mix(in srgb,var(--accent) 34%,transparent)}.section-heading{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;margin-bottom:1.15rem}.section-heading h2,.section-heading h3{margin:0;font-family:"Source Serif 4","Noto Serif SC",serif;font-size:1.55rem;font-weight:700;letter-spacing:-.02em}.section-heading p{margin:0;color:var(--muted);font-size:.94rem}.eyebrow{display:inline-flex;align-items:center;gap:.5rem;margin:0;color:var(--accent-strong);font-size:.82rem;font-weight:600;letter-spacing:.1em;text-transform:uppercase}.eyebrow:before{content:"";width:1.8rem;height:1px;background:currentColor}.site-footer{border-top:1px solid color-mix(in srgb,var(--line) 92%,transparent);margin-top:5rem;padding:3rem 0 3.5rem;background:color-mix(in srgb,var(--surface-strong) 36%,var(--bg));color:var(--muted);font-size:.92rem}.footer-inner{text-align:center}.footer-inner p{margin:.5rem 0}.footer-title{color:var(--text);font-family:"Source Serif 4","Noto Serif SC",serif;font-size:1.2rem;font-weight:700}.prose{font-family:"Source Serif 4","Noto Serif SC",Songti SC,serif;font-size:1.08rem;line-height:1.9;color:var(--text)}.prose h1,.prose h2,.prose h3,.prose h4{font-family:IBM Plex Sans,PingFang SC,sans-serif;font-weight:700;color:var(--text);line-height:1.35;letter-spacing:-.01em}.prose h1{font-size:2.1rem;margin-top:1rem;margin-bottom:1.1rem}.prose h2{font-size:1.62rem;margin-top:2.3rem;margin-bottom:.95rem;padding-bottom:.45rem;border-bottom:1px dashed var(--line)}.prose h3{font-size:1.32rem;margin-top:2rem;margin-bottom:.8rem}.prose p{margin-top:0;margin-bottom:1.4rem;text-align:justify}.prose img{display:block;width:auto;max-width:min(100%,46rem);height:auto;margin:2rem auto;border:1px solid color-mix(in srgb,var(--line) 88%,transparent);border-radius:var(--radius-md);background:var(--surface-strong);box-shadow:var(--shadow)}.prose a{text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--accent) 40%,transparent);text-underline-offset:.18em}.prose blockquote{margin:1.7rem 0;padding:.9rem 1.35rem;border-left:4px solid var(--accent);border-radius:0 var(--radius-md) var(--radius-md) 0;background:color-mix(in srgb,var(--accent-soft) 78%,var(--surface-strong));color:var(--muted)}.prose blockquote p{margin:0}.prose ul,.prose ol{margin-top:0;margin-bottom:1.5rem;padding-left:1.75rem}.prose li{margin-bottom:.55rem}.prose pre{background:var(--code-bg);border:1px solid color-mix(in srgb,var(--line) 40%,transparent);border-radius:var(--radius-md);padding:1.2rem;overflow:auto;margin:1.5rem 0;font-family:JetBrains Mono,Consolas,Monaco,monospace;font-size:.92rem;scrollbar-width:thin}.prose code{font-family:JetBrains Mono,Consolas,Monaco,monospace;font-size:.88em;background:color-mix(in srgb,var(--accent-soft) 85%,var(--surface-strong));color:var(--accent-strong);padding:.15rem .35rem;border-radius:.35rem}.prose pre code{background:transparent;color:inherit;padding:0}.prose .katex-display{overflow-x:auto;overflow-y:hidden;margin:1.9rem auto;padding:1rem 1.25rem;scrollbar-width:thin;scrollbar-color:var(--line) transparent;text-align:center;border-top:1px solid color-mix(in srgb,var(--line) 92%,transparent);border-bottom:1px solid color-mix(in srgb,var(--line) 92%,transparent);background:color-mix(in srgb,var(--surface-strong) 86%,transparent)}.prose .katex-display>.katex{display:inline-block;min-width:fit-content}.katex{font-size:1.05em!important}.theorem,.definition,.lemma,.note,.example{margin:1.8rem 0;padding:1.25rem 1.5rem;border-left:5px solid var(--accent);border-radius:4px var(--radius-md) var(--radius-md) 4px;position:relative}.theorem:before,.definition:before,.lemma:before,.note:before,.example:before{display:block;margin-bottom:.6rem;font-family:IBM Plex Sans,sans-serif;font-size:.9rem;font-weight:700;letter-spacing:.06em;text-transform:uppercase}.theorem{background:color-mix(in srgb,var(--accent) 6%,var(--surface-strong))}.theorem:before{content:"定理 Theorem";color:var(--accent)}.definition{border-left-color:#2f70d0;background:color-mix(in srgb,#2f70d0 6%,var(--surface-strong))}.definition:before{content:"定义 Definition";color:#2f70d0}.lemma{border-left-color:#14926f;background:color-mix(in srgb,#14926f 6%,var(--surface-strong))}.lemma:before{content:"引理 Lemma";color:#14926f}.note{border-left-color:var(--muted);background:color-mix(in srgb,var(--muted) 7%,var(--surface-strong))}.note:before{content:"说明 Note";color:var(--muted)}.example{border-left-color:#7f53c7;background:color-mix(in srgb,#7f53c7 6%,var(--surface-strong))}.example:before{content:"示例 Example";color:#7f53c7}#search{--pagefind-ui-primary: var(--accent);--pagefind-ui-text: var(--text);--pagefind-ui-background: var(--surface-strong);--pagefind-ui-border: var(--line);--pagefind-ui-tag: var(--accent-soft);--pagefind-ui-font: inherit;margin-top:1.5rem}.pagefind-ui__search-input{border-radius:var(--radius-md)!important;font-size:1.02rem!important;font-family:inherit!important;border-color:var(--line)!important;background-color:var(--surface-strong)!important;color:var(--text)!important}.pagefind-ui__search-input:focus{border-color:var(--accent)!important;outline:none!important}.pagefind-ui__result{border-color:var(--line)!important;padding:1.35rem 0!important}.pagefind-ui__result-title a{color:var(--accent)!important;font-size:1.08rem!important;font-weight:700!important;font-family:IBM Plex Sans,sans-serif!important}.pagefind-ui__result-excerpt{color:var(--muted)!important;font-size:.95rem!important;line-height:1.65!important}@media(max-width:960px){.nav{min-height:72px}.layout-grid{grid-template-columns:1fr;gap:1.5rem}}@media(max-width:720px){.container{width:min(100%,calc(100% - 1.2rem))}.nav{align-items:flex-start;flex-direction:column;padding:.95rem 0}.links{width:100%;justify-content:flex-start}.section-heading{flex-direction:column;align-items:flex-start}}@media print{body{background:#fff!important;color:#000!important;font-size:12pt!important;font-family:"Source Serif 4","Noto Serif SC",serif!important}body:before,.site-header,.site-footer,.toc,.comments,.progress,.print-btn,.action-buttons,.citation-header button,#reading-progress,.sidebar-wrap,aside{display:none!important}.layout-grid{display:block!important}.container{width:100%!important;max-width:100%!important;margin:0!important;padding:0!important}.card{border:none!important;background:transparent!important;box-shadow:none!important}.prose{width:100%!important;max-width:100%!important;margin:0!important;padding:0!important}.prose pre{border:1px solid #ccc!important;background:#fdfdfd!important;white-space:pre-wrap!important;word-break:break-all!important}.theorem,.definition,.lemma,.note,.example{background:#fdfdfd!important;border:1px solid #aaa!important;border-left:5px solid black!important;page-break-inside:avoid!important}}.sidebar[data-astro-cid-ssfzsv2f]{display:flex;flex-direction:column;gap:1.2rem}.widget[data-astro-cid-ssfzsv2f]{padding:1.2rem}.widget-kicker[data-astro-cid-ssfzsv2f]{margin:0 0 .85rem;color:var(--accent);font-size:.76rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.widget-title[data-astro-cid-ssfzsv2f]{margin:0 0 .9rem;padding-left:.75rem;border-left:3px solid var(--accent);font-size:1.02rem;font-weight:700;line-height:1.2}.author-card[data-astro-cid-ssfzsv2f]{background:linear-gradient(180deg,color-mix(in srgb,var(--surface-strong) 90%,transparent) 0%,var(--surface) 100%)}.author-header[data-astro-cid-ssfzsv2f]{display:flex;align-items:center;gap:.9rem;margin-bottom:.9rem}.avatar-fallback[data-astro-cid-ssfzsv2f]{width:3.25rem;height:3.25rem;display:flex;align-items:center;justify-content:center;border-radius:1rem;background:linear-gradient(135deg,var(--accent) 0%,var(--accent-strong) 100%);color:#fff7ef;font-family:"Source Serif 4","Noto Serif SC",serif;font-size:1.15rem;font-weight:700;letter-spacing:.08em}.author-info[data-astro-cid-ssfzsv2f] h3[data-astro-cid-ssfzsv2f]{margin:0;font-size:1.08rem}.role[data-astro-cid-ssfzsv2f]{margin:.18rem 0 0;color:var(--muted);font-size:.82rem}.bio[data-astro-cid-ssfzsv2f]{margin:0;color:var(--muted);font-size:.92rem;line-height:1.72}.author-stats[data-astro-cid-ssfzsv2f]{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.65rem;margin:1rem 0 0}.author-stats[data-astro-cid-ssfzsv2f] div[data-astro-cid-ssfzsv2f]{border:1px solid color-mix(in srgb,var(--line) 92%,transparent);border-radius:var(--radius-md);padding:.7rem .5rem;text-align:center;background:color-mix(in srgb,var(--surface-strong) 88%,transparent)}.author-stats[data-astro-cid-ssfzsv2f] dt[data-astro-cid-ssfzsv2f]{color:var(--muted);font-size:.76rem;letter-spacing:.08em;text-transform:uppercase}.author-stats[data-astro-cid-ssfzsv2f] dd[data-astro-cid-ssfzsv2f]{margin:.25rem 0 0;font-family:"Source Serif 4","Noto Serif SC",serif;font-size:1.2rem;font-weight:700;line-height:1}.author-actions[data-astro-cid-ssfzsv2f]{display:flex;gap:.65rem;margin-top:1rem}.author-action[data-astro-cid-ssfzsv2f]{flex:1;text-align:center;border:1px solid var(--line);border-radius:999px;padding:.5rem .75rem;color:var(--text);font-size:.88rem;font-weight:600;background:var(--surface-strong)}.author-action[data-astro-cid-ssfzsv2f]:hover{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}.quick-links[data-astro-cid-ssfzsv2f],.reference-list[data-astro-cid-ssfzsv2f]{display:flex;flex-direction:column;gap:.6rem}.quick-link[data-astro-cid-ssfzsv2f],.reference-item[data-astro-cid-ssfzsv2f]{display:flex;flex-direction:column;gap:.18rem;border:1px solid color-mix(in srgb,var(--line) 92%,transparent);border-radius:var(--radius-md);padding:.8rem .85rem;color:inherit;background:color-mix(in srgb,var(--surface-strong) 90%,transparent)}.quick-link[data-astro-cid-ssfzsv2f]:hover,.reference-item[data-astro-cid-ssfzsv2f]:hover{border-color:var(--accent);background:color-mix(in srgb,var(--accent-soft) 55%,var(--surface-strong))}.quick-link-label[data-astro-cid-ssfzsv2f],.reference-label[data-astro-cid-ssfzsv2f]{font-weight:700;color:var(--text)}.quick-link-desc[data-astro-cid-ssfzsv2f],.reference-desc[data-astro-cid-ssfzsv2f]{color:var(--muted);font-size:.84rem;line-height:1.55}.recent-list[data-astro-cid-ssfzsv2f],.category-list[data-astro-cid-ssfzsv2f],.year-list[data-astro-cid-ssfzsv2f]{list-style:none;padding:0;margin:0}.recent-list[data-astro-cid-ssfzsv2f] li[data-astro-cid-ssfzsv2f],.year-list[data-astro-cid-ssfzsv2f] li[data-astro-cid-ssfzsv2f]{border-bottom:1px dashed color-mix(in srgb,var(--line) 92%,transparent)}.recent-list[data-astro-cid-ssfzsv2f] li[data-astro-cid-ssfzsv2f]:last-child,.year-list[data-astro-cid-ssfzsv2f] li[data-astro-cid-ssfzsv2f]:last-child{border-bottom:none}.recent-item[data-astro-cid-ssfzsv2f]{display:flex;justify-content:space-between;gap:.75rem;padding:.72rem 0;color:inherit}.recent-title[data-astro-cid-ssfzsv2f]{color:var(--text);font-size:.9rem;line-height:1.55}.recent-item[data-astro-cid-ssfzsv2f]:hover .recent-title[data-astro-cid-ssfzsv2f]{color:var(--accent)}.recent-date[data-astro-cid-ssfzsv2f]{flex-shrink:0;color:var(--muted);font-size:.8rem}.year-list[data-astro-cid-ssfzsv2f] li[data-astro-cid-ssfzsv2f]{display:flex;align-items:center;justify-content:space-between;padding:.72rem 0;color:var(--muted);font-size:.9rem}.year-list[data-astro-cid-ssfzsv2f] strong[data-astro-cid-ssfzsv2f]{color:var(--text);font-size:.86rem}.category-list[data-astro-cid-ssfzsv2f]{display:flex;flex-direction:column;gap:.5rem}.category-item[data-astro-cid-ssfzsv2f]{display:flex;align-items:center;justify-content:space-between;gap:.75rem;border-radius:var(--radius-md);padding:.55rem .7rem;color:var(--text);background:color-mix(in srgb,var(--surface-strong) 88%,transparent);border:1px solid color-mix(in srgb,var(--line) 92%,transparent)}.category-item[data-astro-cid-ssfzsv2f]:hover{color:var(--accent);border-color:var(--accent);background:color-mix(in srgb,var(--accent-soft) 55%,var(--surface-strong))}.category-name[data-astro-cid-ssfzsv2f]{font-size:.9rem}.category-count[data-astro-cid-ssfzsv2f]{min-width:2rem;text-align:center;border-radius:999px;padding:.08rem .45rem;background:color-mix(in srgb,var(--surface-muted) 92%,transparent);color:var(--muted);font-size:.78rem;font-weight:700}.tag-cloud[data-astro-cid-ssfzsv2f]{display:flex;flex-wrap:wrap;gap:.45rem}.tag-pill[data-astro-cid-ssfzsv2f]{border:1px solid color-mix(in srgb,var(--line) 92%,transparent);border-radius:999px;padding:.18rem .58rem;color:var(--muted);font-size:.8rem;background:color-mix(in srgb,var(--surface-strong) 88%,transparent)}.tag-pill[data-astro-cid-ssfzsv2f]:hover{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}