:root{--color-bg: #fffdfa;--color-bg-secondary: #faf8f4;--color-bg-tertiary: #f4f1ea;--color-text: #26201a;--color-text-secondary: #5a5248;--color-text-tertiary: #948b7f;--color-border: #ece7de;--color-border-light: #f4f1ea;--color-primary: #FF8A00;--color-primary-hover: #FF6A13;--color-accent: #FF3D00;--color-link: #E67300;--color-link-hover: #FF6A13;--color-code-bg: #f7f4ee;--color-sidebar-bg: #fbf9f5;--color-card-border: #ece7de;--color-card-hover-border: #FF8A00;--color-blockquote-bg: #fff6e8;--color-blockquote-border: #FF8A00;--shadow-sm: 0 1px 2px rgba(38, 26, 12, .04), 0 2px 8px rgba(38, 26, 12, .04);--shadow-md: 0 2px 4px rgba(38, 26, 12, .04), 0 8px 24px rgba(38, 26, 12, .08);--shadow-lg: 0 4px 8px rgba(38, 26, 12, .05), 0 16px 48px rgba(38, 26, 12, .12);--shadow-glow: 0 0 24px color-mix(in srgb, var(--color-primary) 20%, transparent);--font-sans: "PingFang SC", "Microsoft YaHei", "Noto Sans SC", "Hiragino Sans GB", "Source Han Sans CN", "WenQuanYi Micro Hei", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;--radius: 10px;--radius-sm: 6px;--radius-lg: 16px;--sidebar-width: 260px;--toc-width: 200px;--content-width: 820px;--navbar-height: 64px;--ease-spring: cubic-bezier(.34, 1.56, .64, 1);--ease-smooth: cubic-bezier(.4, 0, .2, 1);--gradient-brand: linear-gradient(135deg, #FFC531 0%, #FF8A00 50%, #FF3D00 100%);--gradient-subtle: linear-gradient(135deg, color-mix(in srgb, var(--color-primary) 8%, transparent), color-mix(in srgb, var(--color-accent) 6%, transparent))}:root[data-theme=dark]{--color-bg: #161311;--color-bg-secondary: #1d1915;--color-bg-tertiary: #262119;--color-text: #ece6dd;--color-text-secondary: #b3aa9d;--color-text-tertiary: #7d7466;--color-border: #322c22;--color-border-light: #262119;--color-primary: #FF9E2C;--color-primary-hover: #FFB84D;--color-accent: #FF5722;--color-link: #FF9E2C;--color-link-hover: #FFB84D;--color-code-bg: #1d1915;--color-sidebar-bg: #191613;--color-card-border: #322c22;--color-card-hover-border: #FF9E2C;--color-blockquote-bg: #291f10;--color-blockquote-border: #FF9E2C;--shadow-sm: 0 1px 3px rgba(0, 0, 0, .4);--shadow-md: 0 4px 16px rgba(0, 0, 0, .5);--shadow-lg: 0 12px 32px rgba(0, 0, 0, .6);--shadow-glow: 0 0 24px color-mix(in srgb, var(--color-primary) 15%, transparent)}*{margin:0;padding:0;box-sizing:border-box}html{scroll-behavior:smooth;scrollbar-gutter:stable}body{font-family:var(--font-sans);background-color:var(--color-bg);color:var(--color-text);line-height:1.8;font-size:16px;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;transition:background-color .3s,color .3s;text-rendering:optimizeLegibility;font-feature-settings:"kern" 1,"liga" 1;word-break:break-word;overflow-wrap:break-word}a{color:var(--color-link);text-decoration:none;transition:color .2s}a:hover{color:var(--color-link-hover)}:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px;border-radius:2px}h1,h2,h3,h4,h5,h6{font-weight:700;line-height:1.35;margin-top:1.8em;margin-bottom:.7em;color:var(--color-text);letter-spacing:-.01em}h1{font-size:2.1rem;letter-spacing:-.02em}h2{font-size:1.5rem;margin-top:2.2em;padding-bottom:.3em}h3{font-size:1.3rem}h4{font-size:1.15rem}h5{font-size:1rem}h6{font-size:.9rem;color:var(--color-text-secondary)}p{margin-bottom:1.3rem}ul,ol{margin-bottom:1.3rem;padding-left:1.8em}li{margin-bottom:.4em}ul li::marker{color:var(--color-primary)}ol li::marker{color:var(--color-primary);font-weight:600}blockquote{border-left:4px solid var(--color-blockquote-border);padding:1em 1.4em;margin:1.5em 0;background:var(--color-blockquote-bg);border-radius:0 var(--radius-sm) var(--radius-sm) 0;color:var(--color-text-secondary);position:relative}blockquote p:last-child{margin-bottom:0}blockquote blockquote{margin-top:1em}code{font-family:var(--font-mono);background:var(--color-code-bg);padding:.15em .4em;border-radius:4px;font-size:.875em;color:#c2410c;font-weight:500;border:1px solid var(--color-border-light)}:root[data-theme=dark] code{color:#ffb264}pre{background:var(--color-code-bg);padding:1.1em 1.3em;border-radius:var(--radius);overflow-x:auto;margin-bottom:1.3rem;border:1px solid var(--color-border);line-height:1.65;font-size:.875rem;box-shadow:var(--shadow-sm)}pre code{background:none;padding:0;color:var(--color-text);font-weight:400;border:none}table{width:100%;border-collapse:collapse;margin-bottom:1.3rem;font-size:.92rem;display:block;overflow-x:auto;white-space:nowrap;border:1px solid var(--color-border);border-radius:var(--radius-sm);box-shadow:var(--shadow-sm)}th,td{border:1px solid var(--color-border-light);padding:.6em .9em;text-align:left;white-space:normal}th{background:color-mix(in srgb,var(--color-primary) 7%,var(--color-bg-tertiary));font-weight:600;color:var(--color-text)}tr:nth-child(2n){background:color-mix(in srgb,var(--color-bg-secondary) 60%,transparent)}hr{border:none;height:1px;background:linear-gradient(to right,transparent,var(--color-border),transparent);margin:2.5em 0}img{max-width:100%;height:auto;border-radius:var(--radius)}strong{font-weight:700;color:var(--color-text)}em{font-style:italic}::selection{background:color-mix(in srgb,var(--color-primary) 25%,transparent);color:var(--color-text)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:color-mix(in srgb,var(--color-text-tertiary) 50%,transparent);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:color-mix(in srgb,var(--color-text-tertiary) 80%,transparent)}.article-content{font-size:1.02rem;color:var(--color-text);line-height:1.9;word-wrap:break-word;overflow-wrap:break-word;letter-spacing:.01em}.doc-body>h1:first-child{display:none}.doc-body>p:first-of-type{font-size:1.1rem;color:var(--color-text-secondary);line-height:1.85}.article-content h2:first-child,.article-content h3:first-child{margin-top:0}.article-content h2{margin-top:2.5em;padding-bottom:.4em;border-bottom:2px solid var(--color-border-light);position:relative}.article-content h2:before{content:"";display:inline-block;width:4px;height:1.1em;background:var(--gradient-brand);border-radius:2px;margin-right:.6em;vertical-align:text-bottom}.article-content h3{margin-top:2em}.article-content h3:before{content:"◆";color:var(--color-primary);font-size:.7em;margin-right:.5em;opacity:.7}.article-content ul,.article-content ol{margin-top:1rem}.article-content li{margin-bottom:.5em}.article-content a{text-decoration:none;background-image:linear-gradient(var(--color-link),var(--color-link));background-size:100% 1px;background-repeat:no-repeat;background-position:0 100%;transition:background-size .2s,color .2s}.article-content a:hover{color:var(--color-link-hover);background-size:100% 2px}.article-content table{margin-top:1.5rem;font-size:.92rem}.article-content th,.article-content td{padding:.6em .9em}.article-content pre{margin-top:1.5rem;position:relative}.article-content pre .code-copy-btn{position:absolute;top:.5rem;right:.5rem;padding:.25rem .7rem;font-size:.75rem;font-family:var(--font-sans);color:var(--color-text-tertiary);background:color-mix(in srgb,var(--color-bg) 85%,transparent);border:1px solid var(--color-border);border-radius:var(--radius-sm);cursor:pointer;opacity:0;transition:opacity .2s,color .2s,border-color .2s;backdrop-filter:blur(4px)}.article-content pre:hover .code-copy-btn{opacity:1}.article-content pre .code-copy-btn:hover{color:var(--color-primary);border-color:color-mix(in srgb,var(--color-primary) 40%,transparent)}.article-content pre .code-copy-btn.copied{color:var(--color-primary);border-color:color-mix(in srgb,var(--color-primary) 40%,transparent);opacity:1}.article-content pre:before{content:"";position:absolute;top:0;left:0;right:0;height:3px;background:var(--gradient-brand);border-radius:var(--radius) var(--radius) 0 0;opacity:.6}.article-content blockquote{margin-top:1.5rem;border-left-width:4px}.exam-card{border:1px solid var(--color-border);border-radius:var(--radius);padding:1.5rem;margin:1.5rem 0;background:var(--color-bg-secondary);box-shadow:var(--shadow-sm);transition:transform .2s,box-shadow .2s,border-color .2s}.exam-card:hover{transform:translateY(-2px);box-shadow:var(--shadow-md);border-color:color-mix(in srgb,var(--color-primary) 30%,transparent)}@media(max-width:1100px)and (min-width:769px){:root{--toc-width: 0px}.toc{display:none!important}.doc-content-row{gap:0}}@media(max-width:768px){:root{--sidebar-width: 0px;--toc-width: 0px}.doc-layout{padding:0 1rem;gap:0}.doc-main{padding:1rem 0 3rem}.breadcrumb{font-size:.75rem;padding:.4rem .6rem}.doc-title{font-size:1.5rem}.doc-description{font-size:.95rem;margin-bottom:1.5rem;padding-bottom:1rem}.article-content{font-size:.95rem}.article-content pre{font-size:.82rem;padding:.8rem}.article-content h2{font-size:1.35rem}.article-content h3{font-size:1.15rem}.article-content h4{font-size:1rem}table{font-size:.82rem;display:block;overflow-x:auto;white-space:nowrap;-webkit-overflow-scrolling:touch}.thm-block{padding:.8em 1em 1em;margin:1.2em 0}.markdown-alert{padding:.4rem .8rem;margin:.8rem 0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.5rem 0}}.thm-block{margin:1.8em 0;padding:1em 1.4em 1.2em;border-radius:var(--radius-sm);border-left:4px solid var(--color-primary);background:var(--color-blockquote-bg)}.thm-head{font-weight:700;margin-bottom:.6em;color:var(--color-primary);display:block}.thm-block.thm-proof{border-left-color:var(--color-text-tertiary);background:var(--color-bg-secondary)}.thm-head.thm-head-proof{font-weight:600;font-style:italic;color:var(--color-text-secondary)}.thm-block.thm-defi{border-left-color:#7c3aed}.thm-head.thm-head-defi{color:#7c3aed}.thm-block.thm-axm{border-left-color:#dc2626}.thm-head.thm-head-axm{color:#dc2626}.thm-block.thm-exam{border-left-color:#0891b2}.thm-head.thm-head-exam{color:#0891b2}.thm-block.thm-lemma{border-left-color:#16a34a}.thm-head.thm-head-lemma{color:#16a34a}.thm-block.thm-prop{border-left-color:#0d9488}.thm-head.thm-head-prop{color:#0d9488}.thm-block.thm-corr{border-left-color:#ea580c}.thm-head.thm-head-corr{color:#ea580c}.thm-block.thm-rema{border-left-color:var(--color-text-tertiary)}.thm-head.thm-head-rema{color:var(--color-text-secondary);font-style:italic}:root[data-theme=dark] .thm-head.thm-head-defi{color:#a78bfa}:root[data-theme=dark] .thm-block.thm-defi{border-left-color:#a78bfa}:root[data-theme=dark] .thm-head.thm-head-axm{color:#f87171}:root[data-theme=dark] .thm-block.thm-axm{border-left-color:#f87171}:root[data-theme=dark] .thm-head.thm-head-exam{color:#22d3ee}:root[data-theme=dark] .thm-block.thm-exam{border-left-color:#22d3ee}:root[data-theme=dark] .thm-head.thm-head-lemma{color:#4ade80}:root[data-theme=dark] .thm-block.thm-lemma{border-left-color:#4ade80}:root[data-theme=dark] .thm-head.thm-head-prop{color:#2dd4bf}:root[data-theme=dark] .thm-block.thm-prop{border-left-color:#2dd4bf}:root[data-theme=dark] .thm-head.thm-head-corr{color:#fb923c}:root[data-theme=dark] .thm-block.thm-corr{border-left-color:#fb923c}.thm-ref{color:var(--color-link);text-decoration:none;font-weight:600}.thm-ref:hover{color:var(--color-link-hover);text-decoration:underline}.thm-block p:last-child{margin-bottom:0}.thm-block .katex-display{margin:.6em 0}.markdown-alert{padding:.5rem 1rem;margin:1rem 0;border-left:.25em solid var(--alert-color, #888);border-radius:0 4px 4px 0;background:var(--alert-bg, transparent)}.markdown-alert>:first-child{margin-top:0}.markdown-alert>:last-child{margin-bottom:0}.markdown-alert .markdown-alert-title{display:flex;font-weight:600;align-items:center;gap:.5rem;margin-bottom:.25rem}.markdown-alert.markdown-alert-note{--alert-color: #0969da}.markdown-alert.markdown-alert-tip{--alert-color: #1a7f37}.markdown-alert.markdown-alert-important{--alert-color: #8250df}.markdown-alert.markdown-alert-warning{--alert-color: #9a6700}.markdown-alert.markdown-alert-caution{--alert-color: #d1242f}:root[data-theme=dark] .markdown-alert.markdown-alert-note{--alert-color: #2f81f7}:root[data-theme=dark] .markdown-alert.markdown-alert-tip{--alert-color: #3fb950}:root[data-theme=dark] .markdown-alert.markdown-alert-important{--alert-color: #a371f7}:root[data-theme=dark] .markdown-alert.markdown-alert-warning{--alert-color: #d29922}:root[data-theme=dark] .markdown-alert.markdown-alert-caution{--alert-color: #f85149}.anchor{margin-left:.5rem;opacity:0;text-decoration:none;color:var(--color-text-tertiary);transition:opacity .2s}:hover>.anchor{opacity:1}.anchor:before{content:"#"}.theme-toggle[data-astro-cid-x3pjskd3]{background:none;border:1px solid var(--color-border);border-radius:var(--radius-sm);width:36px;height:36px;display:flex;align-items:center;justify-content:center;cursor:pointer;color:var(--color-text-secondary);transition:all .15s}.theme-toggle[data-astro-cid-x3pjskd3]:hover{border-color:var(--color-primary);color:var(--color-primary)}.icon-moon[data-astro-cid-x3pjskd3]{display:none}:root[data-theme=dark] .icon-sun[data-astro-cid-x3pjskd3]{display:none}:root[data-theme=dark] .icon-moon[data-astro-cid-x3pjskd3]{display:block}.navbar[data-astro-cid-5blmo7yk]{position:fixed;top:0;left:0;right:0;height:var(--navbar-height);background:color-mix(in srgb,var(--color-bg) 72%,transparent);border-bottom:1px solid color-mix(in srgb,var(--color-border) 80%,transparent);z-index:100;backdrop-filter:blur(18px) saturate(1.6);-webkit-backdrop-filter:blur(18px) saturate(1.6);transition:background .3s,border-color .3s}.navbar-container[data-astro-cid-5blmo7yk]{max-width:1400px;margin:0 auto;height:100%;display:flex;align-items:center;padding:0 2rem;gap:2rem}.navbar-brand[data-astro-cid-5blmo7yk]{display:flex;align-items:center;gap:.6rem;font-size:1.2rem;font-weight:700;color:var(--color-text);text-decoration:none;transition:opacity .2s}.navbar-brand[data-astro-cid-5blmo7yk]:hover{opacity:.85}.brand-logo[data-astro-cid-5blmo7yk]{width:36px;height:36px;flex-shrink:0;transition:transform .35s cubic-bezier(.34,1.56,.64,1);border-radius:8px}.brand-logo-dark[data-astro-cid-5blmo7yk],[data-theme=dark] .brand-logo-light[data-astro-cid-5blmo7yk]{display:none}[data-theme=dark] .brand-logo-dark[data-astro-cid-5blmo7yk]{display:block}.navbar-brand[data-astro-cid-5blmo7yk]:hover .brand-logo[data-astro-cid-5blmo7yk]{transform:rotate(-12deg) scale(1.1)}.navbar-links[data-astro-cid-5blmo7yk]{display:flex;gap:.2rem;margin-left:auto;margin-right:1rem;align-items:center}.navbar-link[data-astro-cid-5blmo7yk]{color:var(--color-text-secondary);font-size:.92rem;font-weight:500;padding:.4rem .85rem;border-radius:var(--radius-sm);transition:color .2s,background .2s;position:relative}.navbar-link[data-astro-cid-5blmo7yk]:after{content:"";position:absolute;bottom:2px;left:50%;width:0;height:2px;background:var(--color-primary);border-radius:1px;transition:width .25s,left .25s}.navbar-link[data-astro-cid-5blmo7yk]:hover{color:var(--color-primary);background:color-mix(in srgb,var(--color-primary) 8%,transparent)}.navbar-link[data-astro-cid-5blmo7yk]:hover:after{width:60%;left:20%}@media(max-width:768px){.navbar-container[data-astro-cid-5blmo7yk]{padding:0 .8rem;gap:.6rem}.navbar-link[data-astro-cid-5blmo7yk]{font-size:.82rem;padding:.3rem .45rem}.brand-text[data-astro-cid-5blmo7yk]{font-size:1rem}.search-kbd[data-astro-cid-5blmo7yk]{display:none}.navbar-search[data-astro-cid-5blmo7yk]{padding:.4rem}.navbar-links[data-astro-cid-5blmo7yk]{gap:0}}@media(max-width:480px){.brand-text[data-astro-cid-5blmo7yk]{display:none}.navbar-link[data-astro-cid-5blmo7yk]{font-size:.78rem;padding:.25rem .35rem}}.navbar-search[data-astro-cid-5blmo7yk]{display:flex;align-items:center;gap:.4rem;padding:.4rem .6rem;border:1px solid var(--color-border);border-radius:var(--radius-sm);background:var(--color-bg-secondary);color:var(--color-text-tertiary);cursor:pointer;transition:color .2s,border-color .2s;margin-right:.5rem}.navbar-search[data-astro-cid-5blmo7yk]:hover{color:var(--color-text);border-color:var(--color-card-hover-border)}.search-kbd[data-astro-cid-5blmo7yk]{font-size:.72rem;font-family:var(--font-mono);color:var(--color-text-tertiary);background:var(--color-bg-tertiary);padding:.1em .35em;border-radius:4px;border:1px solid var(--color-border)}.search-modal[data-astro-cid-qk3db3zz]{position:fixed;inset:0;z-index:200;display:flex;align-items:flex-start;justify-content:center;padding-top:12vh}.search-modal[data-astro-cid-qk3db3zz][hidden]{display:none}.search-backdrop[data-astro-cid-qk3db3zz]{position:absolute;inset:0;background:#00000080;backdrop-filter:blur(4px)}.search-dialog[data-astro-cid-qk3db3zz]{position:relative;width:90%;max-width:640px;max-height:70vh;background:var(--color-bg);border:1px solid var(--color-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);display:flex;flex-direction:column;overflow:hidden;animation:search-in .2s ease-out}@keyframes search-in{0%{opacity:0;transform:translateY(-12px) scale(.98)}to{opacity:1;transform:translateY(0) scale(1)}}.search-header[data-astro-cid-qk3db3zz]{display:flex;align-items:center;gap:.75rem;padding:1rem 1.25rem;border-bottom:1px solid var(--color-border)}.search-icon[data-astro-cid-qk3db3zz]{color:var(--color-text-tertiary);flex-shrink:0}.search-input[data-astro-cid-qk3db3zz]{flex:1;border:none;outline:none;background:transparent;color:var(--color-text);font-size:1.05rem;font-family:var(--font-sans)}.search-input[data-astro-cid-qk3db3zz]::placeholder{color:var(--color-text-tertiary)}.search-close[data-astro-cid-qk3db3zz]{display:flex;align-items:center;justify-content:center;width:32px;height:32px;border:none;border-radius:var(--radius-sm);background:transparent;color:var(--color-text-tertiary);cursor:pointer;transition:background .2s,color .2s;flex-shrink:0}.search-close[data-astro-cid-qk3db3zz]:hover{background:var(--color-bg-tertiary);color:var(--color-text)}.search-results[data-astro-cid-qk3db3zz]{flex:1;overflow-y:auto;padding:.5rem}.search-result-item[data-astro-cid-qk3db3zz]{display:block;padding:.75rem 1rem;border-radius:var(--radius-sm);text-decoration:none;color:var(--color-text);transition:background .15s;margin-bottom:.25rem}.search-result-item[data-astro-cid-qk3db3zz].selected{background:color-mix(in srgb,var(--color-primary) 10%,transparent)}.search-result-item[data-astro-cid-qk3db3zz]:hover{background:color-mix(in srgb,var(--color-primary) 8%,transparent)}.search-result-title[data-astro-cid-qk3db3zz]{font-weight:600;font-size:.95rem;margin-bottom:.25rem}.search-result-excerpt[data-astro-cid-qk3db3zz]{font-size:.82rem;color:var(--color-text-secondary);line-height:1.5}.search-result-excerpt[data-astro-cid-qk3db3zz] mark{background:color-mix(in srgb,var(--color-primary) 25%,transparent);color:var(--color-text);border-radius:2px;padding:0 2px}.search-loading[data-astro-cid-qk3db3zz],.search-empty[data-astro-cid-qk3db3zz]{padding:2rem;text-align:center;color:var(--color-text-tertiary);font-size:.9rem}.search-footer[data-astro-cid-qk3db3zz]{display:flex;gap:1.25rem;padding:.6rem 1.25rem;border-top:1px solid var(--color-border);background:var(--color-bg-secondary)}.search-hint[data-astro-cid-qk3db3zz]{font-size:.78rem;color:var(--color-text-tertiary);display:flex;align-items:center;gap:.3rem}.search-hint[data-astro-cid-qk3db3zz] kbd[data-astro-cid-qk3db3zz]{display:inline-block;padding:.1em .4em;font-size:.75rem;font-family:var(--font-mono);background:var(--color-bg-tertiary);border:1px solid var(--color-border);border-radius:4px;color:var(--color-text-secondary)}@media(max-width:768px){.search-modal[data-astro-cid-qk3db3zz]{padding-top:4vh}.search-dialog[data-astro-cid-qk3db3zz]{width:95%;max-height:80vh}.search-footer[data-astro-cid-qk3db3zz]{display:none}}.main-content[data-astro-cid-37fxchfa]{padding-top:var(--navbar-height);min-height:100vh}.site-footer[data-astro-cid-37fxchfa]{border-top:1px solid var(--color-border);padding:2rem 1.5rem;background:var(--color-bg)}.footer-container[data-astro-cid-37fxchfa]{max-width:1200px;margin:0 auto;display:flex;align-items:center;justify-content:center;gap:1.2rem;flex-wrap:wrap}.footer-brand[data-astro-cid-37fxchfa]{display:flex;align-items:center;gap:.4rem;font-weight:600;font-size:.9rem;color:var(--color-text-secondary)}.footer-logo[data-astro-cid-37fxchfa]{width:24px;height:24px;border-radius:5px}.footer-logo-dark[data-astro-cid-37fxchfa],[data-theme=dark] .footer-logo-light[data-astro-cid-37fxchfa]{display:none}[data-theme=dark] .footer-logo-dark[data-astro-cid-37fxchfa]{display:block}.footer-container[data-astro-cid-37fxchfa] p[data-astro-cid-37fxchfa]{margin:0;color:var(--color-text-tertiary);font-size:.85rem}.icp-link[data-astro-cid-37fxchfa]{color:var(--color-text-tertiary);font-size:.85rem;text-decoration:none;transition:color .2s}.icp-link[data-astro-cid-37fxchfa]:hover{color:var(--color-primary)}