:root{--bg:#ffffff;--text:#111111;--muted:#767676;--rule:#e6e6e6;--link:#1a5fb4;--code-bg:#f7f7f7;--code-border:#ececec;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, "Songti SC",
        "Noto Serif CJK SC", "Source Han Serif SC", "SimSun", serif;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", "PingFang SC",
        "Hiragino Sans GB", "Microsoft YaHei", sans-serif;--mono:"SF Mono", Menlo, Consolas, "Liberation Mono", monospace;--width:720px}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--serif);font-size:15px;line-height:1.9;-webkit-font-smoothing:antialiased}::selection{background:#e8f0fb}.site-header{max-width:var(--width);margin:0 auto;padding:38px 24px 0;display:flex;align-items:baseline;justify-content:space-between;gap:24px}.site-title{font-family:var(--sans);font-size:14px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--text);text-decoration:none}.site-nav{display:flex;gap:20px;font-family:var(--sans);font-size:14px}.site-nav a{color:var(--muted);text-decoration:none}.site-nav a:hover{color:var(--text)}.site-footer{max-width:var(--width);margin:72px auto 0;padding:20px 24px 48px;border-top:1px solid var(--rule);display:flex;justify-content:space-between;gap:16px;font-family:var(--sans);font-size:12.5px;color:var(--muted)}.footer-nav{display:flex;gap:16px}.footer-nav a{color:var(--muted);text-decoration:none}.footer-nav a:hover{color:var(--text)}.container{max-width:var(--width);margin:0 auto;padding:0 24px}.page-wide .container{max-width:1200px;padding:0 24px}.page-wide .post-header{text-align:center}.page-wide .post-content>h2,.page-wide .post-content>h3{text-align:center}.page-wide .post-content>p,.page-wide .post-content>ul:not(.pub-list){max-width:760px;margin-left:auto;margin-right:auto;text-align:left}.section-post .container{max-width:1480px;padding-left:40px;padding-right:340px}.section-post .post{max-width:1000px;margin:0 auto}.home-hero{display:flex;align-items:flex-start;gap:26px;margin-top:44px}.avatar{flex:none;width:96px;height:96px;border-radius:50%;object-fit:cover}.home-intro{flex:1;min-width:0}.home-intro p{margin:0 0 1.05em;font-size:16px;line-height:1.9}.home-intro p:last-child{margin-bottom:0}.home-links{margin:22px 0 0;font-family:var(--sans);font-size:13.5px;color:var(--muted)}.home-links a{color:var(--muted);text-decoration:none}.home-links a:hover{color:var(--text);text-decoration:underline;text-underline-offset:3px}.link-sep{margin:0 8px;color:#ccc}.home-more{margin:14px 0 0;font-family:var(--sans);font-size:13px}.home-more a{color:var(--muted);text-decoration:none}.home-more a:hover{color:var(--text)}.home-section{margin-top:52px}.section-label{margin:0 0 12px;font-family:var(--sans);font-size:12px;font-weight:600;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)}.section-label a{color:inherit;text-decoration:none}.section-label a:hover{color:var(--text)}.entry-list{margin:0;padding:0;list-style:none}.entry-list li{display:flex;gap:18px;padding:5px 0}.entry-date{flex:0 0 74px;padding-top:4px;font-family:var(--mono);font-size:12.5px;color:var(--muted);white-space:nowrap}.entry-body{flex:1;min-width:0}.entry-title{color:var(--text);font-size:15px;text-decoration:none}.entry-title:hover{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.entry-desc{margin:2px 0 0;font-size:13.5px;line-height:1.65;color:var(--muted)}.entry-text{font-size:15px;line-height:1.8}.entry-text a{color:var(--link);text-decoration:none}.entry-text a:hover{text-decoration:underline;text-underline-offset:3px}.page-header{margin-top:44px}.page-title{margin:0;font-size:27px;font-weight:600;line-height:1.35;letter-spacing:-.005em}.page-desc{margin:8px 0 0;font-size:14.5px;color:var(--muted)}.page-meta{margin:6px 0 0;font-family:var(--sans);font-size:12.5px;color:var(--muted)}.post-header{margin-top:44px}.post-title{margin:0;font-size:28px;font-weight:600;line-height:1.35;letter-spacing:-.005em}.post-meta{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-top:12px;font-family:var(--sans);font-size:12.5px;color:var(--muted)}.meta-dot{color:#c8c8c8}.print-button{margin-left:auto;appearance:none;border:1px solid var(--rule);background:0 0;color:var(--muted);border-radius:3px;padding:2px 9px;font-family:var(--sans);font-size:12px;cursor:pointer}.print-button:hover{color:var(--text);border-color:#cfcfcf}.post-toc{margin:30px 0 0;padding:2px 0 2px 16px;border-left:2px solid var(--rule);font-size:13.5px}.post-toc summary{font-family:var(--sans);font-size:12.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);cursor:pointer}.post-toc ol,.post-toc ul{margin:10px 0 0;padding-left:16px}.post-toc li{margin:3px 0;line-height:1.6}.post-toc a{color:var(--muted);text-decoration:none}.post-toc a:hover{color:var(--text)}.post-toc-side{display:none}@media(max-width:1359px){.section-post .container{max-width:780px;padding:0 24px}.section-post .post{max-width:none}}@media(min-width:1360px){.post-toc-inline{display:none}.post-toc-side{display:block;position:fixed;top:96px;right:24px;width:300px;max-height:calc(100vh - 170px);overflow-y:auto;padding-left:24px;border-left:1px solid var(--rule);font-family:var(--sans);font-size:13.5px;line-height:1.6}.post-toc-label{margin:0 0 10px;font-size:11px;font-weight:600;letter-spacing:.12em;text-transform:uppercase;color:#a8a8a8}.post-toc-side ul{margin:0;padding:0;list-style:none}.post-toc-side li{margin:4px 0}.post-toc-side a{display:block;color:#9a9a9a;text-decoration:none;transition:color .12s ease,transform .12s ease}.post-toc-side ul ul a{padding-left:16px}.post-toc-side a:hover{color:#3f3f3f;transform:translateX(1px)}.post-toc-side a.is-active{color:var(--text)}}.page-wide .post-toc-side{display:none}@media(min-width:1360px){.page-wide .post-toc-inline{display:block}}.post-content{margin-top:34px}.post-footer{margin-top:48px;padding-top:14px;border-top:1px solid var(--rule);font-family:var(--sans);font-size:13px;color:var(--muted)}.meta-label{margin-right:10px;letter-spacing:.08em;text-transform:uppercase;font-size:11.5px}.post-tag{margin-right:12px}.post-back{margin-top:40px;font-family:var(--sans);font-size:13.5px}.post-back a{color:var(--muted);text-decoration:none}.post-back a:hover{color:var(--text)}.post-nav{display:flex;gap:24px;margin-top:36px;padding-top:16px;border-top:1px solid var(--rule);font-family:var(--sans)}.post-nav-item{flex:1;min-width:0;display:flex;flex-direction:column;gap:4px;text-decoration:none}.post-nav-item--right{text-align:right}.post-nav-label{font-size:12px;color:var(--muted)}.post-nav-title{font-family:var(--serif);font-size:14px;line-height:1.5;color:var(--text)}.post-nav-item:hover .post-nav-title{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.tag-list{display:flex;flex-wrap:wrap;gap:10px 18px;margin:28px 0 0;padding:0;list-style:none;font-family:var(--sans);font-size:13.5px}.tag-list a{color:var(--text);text-decoration:none}.tag-list a:hover{color:var(--link)}.tag-count{margin-left:5px;font-size:12px;color:var(--muted)}.term-group-title{margin:2em 0 0;font-size:15px;font-weight:400;letter-spacing:.04em;color:var(--muted)}.post-tag{color:var(--muted);text-decoration:none}.post-tag:hover{color:var(--link);text-decoration:underline;text-underline-offset:3px}.search{margin-top:30px}.search-input{width:100%;padding:9px 2px;border:0;border-bottom:1px solid var(--rule);background:0 0;color:var(--text);font-family:var(--sans);font-size:15px;outline:none}.search-input:focus{border-bottom-color:var(--muted)}.search-input::placeholder{color:#b0b0b0}.search-status{min-height:1.4em;margin:10px 0 0;font-family:var(--sans);font-size:12.5px;color:var(--muted)}.search-results{margin-top:10px}.search-results .entry-desc{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.visually-hidden{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.post-content p,.post-content ul,.post-content ol{margin:0 0 1.15em}.post-content h2,.post-content h3,.post-content h4{margin:2em 0 .7em;font-weight:600;line-height:1.45}.post-content h2{font-size:1.42em;padding-bottom:.25em;border-bottom:1px solid var(--rule)}.post-content h3{font-size:1.22em}.post-content h4{font-size:1.06em}.post-content a{color:var(--link);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px;text-decoration-color:#c9d8ea}.post-content a:hover{text-decoration-color:var(--link)}.post-content ul,.post-content ol{padding-left:1.5em}.post-content li{margin:.3em 0}.post-content blockquote{margin:1.6em 0;padding:.2em 0 .2em 18px;border-left:2px solid var(--rule);color:#555}.post-content blockquote p:last-child{margin-bottom:0}.post-content img{display:block;max-width:min(100%,520px);height:auto;margin:1.8em auto;cursor:zoom-in}.lightbox{position:fixed;inset:0;z-index:100;display:flex;align-items:center;justify-content:center;padding:32px;background:rgba(255,255,255,.96);cursor:zoom-out}.lightbox[hidden]{display:none}.lightbox img{max-width:100%;max-height:calc(100vh - 64px);width:auto;height:auto;margin:0;border:1px solid var(--rule)}.post-content figure{margin:1.8em 0}.post-content figcaption{margin-top:8px;font-family:var(--sans);font-size:12.5px;color:var(--muted);text-align:center}.post-content hr{margin:2.6em 0;border:0;border-top:1px solid var(--rule)}.post-content table{display:block;overflow-x:auto;margin:1.6em 0;border-collapse:collapse;font-size:.92em}.post-content th,.post-content td{padding:7px 12px;border-bottom:1px solid var(--rule);text-align:left}.post-content th{font-weight:600;border-bottom-color:#d8d8d8}.post-content code{font-family:var(--mono);font-size:.87em;background:var(--code-bg);padding:.12em .35em;border-radius:2px}.post-content pre{margin:1.6em 0;padding:15px 18px;overflow-x:auto;background:var(--code-bg);border:1px solid var(--code-border);border-radius:3px;font-size:13px;line-height:1.65}.post-content pre code{padding:0;background:0 0;font-size:inherit;border-radius:0}.post-content .footnote-ref a,.post-content .footnote-backref{text-decoration:none}.post-content .katex-display{margin:1.6em 0;overflow-x:auto;overflow-y:hidden}.pub-list{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));grid-auto-rows:1fr;gap:26px 20px;margin:1.3em 0 0;padding:0;list-style:none}.pub-item{display:flex;flex-direction:column;gap:12px;height:100%}.pub-thumb{aspect-ratio:16/10;overflow:hidden;border:1px solid var(--rule)}.pub-thumb img{display:block;width:100%;height:100%;margin:0;object-fit:cover;object-position:center}.pub-venue{margin-bottom:5px;font-family:var(--sans);font-size:11px;letter-spacing:.06em;color:var(--muted)}.pub-body{display:flex;flex-direction:column;flex:1;min-width:0}.pub-title{font-size:14px;font-weight:400;line-height:1.5}.pub-authors,.pub-desc{margin-top:3px;font-size:12px;line-height:1.6;color:var(--muted)}.pub-desc{color:#555}.pub-links{display:flex;flex-wrap:wrap;gap:12px;margin-top:auto;padding-top:10px;font-family:var(--sans);font-size:12px}.pub-links a{color:var(--link);text-decoration:none}.pub-links a:hover{text-decoration:underline;text-underline-offset:3px}@media(max-width:1100px){.pub-list{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:640px){body{font-size:14.5px}.pub-list{grid-template-columns:1fr;gap:26px}.site-header{padding-top:26px}.site-nav{gap:14px}.home-hero{flex-direction:column;gap:16px;margin-top:32px}.post-header,.page-header{margin-top:32px}.post-title,.page-title{font-size:25px}.entry-list li{flex-direction:column;gap:1px}.entry-date{flex:none;padding-top:0}}@media print{.site-header,.site-footer,.post-toc,.post-toc-side,.print-button,.post-back,.post-footer{display:none!important}body{font-size:11.5pt;line-height:1.7;color:#000}.container{max-width:none;padding:0}.post-header{margin-top:0}.post-content a{color:#000;text-decoration:none}.post-content pre{border-color:#ccc;background:#fff}.post-content img,.post-content figure,.post-content table{break-inside:avoid}}