html{font-size:clamp(15px,1vw+11px,18px)}body.reading-page{--text:var(--vl-ink);--muted:var(--vl-ink-soft);--bg:var(--vl-bg);--line:var(--vl-line);--line-strong:var(--vl-line-strong);--link:var(--vl-blue);--link-hover:var(--vl-ink);--code-bg:rgba(232,237,242,0.82);margin:0;min-height:100vh;width:auto!important;color:var(--text);background:var(--bg);font-family:var(--font-body);line-height:1.8;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.reading-page *,.reading-page *::before,.reading-page *::after{box-sizing:border-box}.reading-page a{color:var(--link);text-decoration:none;text-decoration-color:rgba(59,110,235,0.3);text-underline-offset:0.18em;transition:color 180ms ease,text-decoration-color 180ms ease,border-color 180ms ease,background-color 180ms ease}.reading-page a:hover,.reading-page a:focus-visible{color:var(--link-hover);text-decoration:underline}.reading-page strong{font-weight:600}.reading-page img,.reading-page video{max-width:100%;height:auto}.reading-shell{position:relative;min-height:100vh;overflow-x:clip;isolation:isolate}.reading-shell::before{content:"";position:absolute;inset:0;z-index:0;pointer-events:none;background-image:url("/files/theme/article-background.svg");background-position:center top;background-repeat:no-repeat;background-size:clamp(960px,100vw,1600px) auto;opacity:0.94}.reading-ornament-layer{z-index:0}.reading-ornament{pointer-events:none}.reading-ornament--top-grid{left:max(1.5rem,calc(50% - 37rem));top:5.8rem;width:min(8.5rem,14vw);height:min(8.5rem,14vw)}.reading-ornament--top-arc{right:max(1.5rem,calc(50% - 40rem));top:3.4rem;width:min(13rem,18vw);height:min(10rem,14vw)}.reading-ornament--mid-orbit{right:max(0.75rem,calc(50% - 41rem));top:32rem;width:min(7.75rem,11vw);height:min(7.75rem,11vw)}.reading-ornament--footer-mark{left:max(2rem,calc(50% - 39rem));bottom:5rem;width:min(7rem,12vw);height:min(1.8rem,3vw)}.site-header,.site-nav,.reading-main,.site-footer{position:relative;z-index:1;width:min(1100px,calc(100vw - 48px));margin:0 auto}.site-header{padding-top:clamp(1.4rem,2.8vw,2.2rem)}.site-header__inner{display:flex;align-items:flex-end;justify-content:space-between;gap:1rem;padding:0 0.2rem 0.8rem;border-bottom:1px solid var(--line)}#site-title{margin:0;color:var(--vl-ink);font-family:var(--font-heading);font-size:clamp(2rem,3.1vw,2.9rem);line-height:0.95;letter-spacing:-0.04em}#site-title a{color:inherit;text-decoration:none}.site-nav{padding:0.7rem 0 0.95rem}.site-nav ul{display:flex;flex-wrap:wrap;gap:0.45rem 0.8rem;margin:0;padding:0 0.15rem;list-style:none}.site-nav li{margin:0;padding:0}.site-nav a{display:inline-flex;align-items:center;min-height:2rem;padding:0.15rem 0;color:var(--vl-blue-muted);font-size:0.86rem;font-weight:500;letter-spacing:0.04em}.site-nav a:hover,.site-nav a:focus-visible{color:var(--vl-ink)}.reading-main{padding:clamp(1.4rem,2vw,1.8rem) 0 clamp(3rem,6vw,4.5rem)}.reading-article{position:relative;padding:clamp(1.1rem,2.2vw,1.8rem) 0 clamp(2rem,4.5vw,3.1rem);border:none;border-radius:0;background:transparent;box-shadow:none}.article-header,.article-content{width:min(100%,70ch);margin:0 auto}.article-header{margin-bottom:clamp(1.6rem,2vw,2rem)}.article-header__rule{display:flex;align-items:center;gap:0.78rem;margin-bottom:1rem}.article-header__marker{flex:none;width:0.9rem;height:0.9rem;color:var(--vl-blue)}.article-header__line{flex:1;height:1px;background:linear-gradient( 90deg,rgba(59,110,235,0.26),rgba(143,161,183,0.1) )}#article-title{margin:0;color:var(--vl-ink);font-family:var(--font-heading);font-size:clamp(2.2rem,5vw,4rem);font-weight:600;line-height:0.98;letter-spacing:-0.045em}.article-content,.article-body{color:var(--text)}.article-content>:first-child,.article-body>:first-child{margin-top:0}.article-content p,.article-body p{margin:0 0 1.08rem;font-size:clamp(1.03rem,0.98rem+0.18vw,1.12rem);line-height:1.82}.article-content :is(h1,h2,h3,h4,h5,h6,ul,ol,blockquote,figure,table,pre)+p,.article-content p+p{text-indent:1.5em}.article-content h1,.article-content h2,.article-content h3{margin:2.1rem 0 0.8rem;color:var(--vl-ink);font-family:var(--font-serif-alt);font-weight:600;letter-spacing:-0.02em;line-height:1.16}.article-content h1{font-size:clamp(1.7rem,2vw,2.1rem)}.article-content h2{font-size:clamp(1.45rem,1.6vw,1.8rem)}.article-content h3{font-size:clamp(1.2rem,1.2vw,1.42rem)}.article-content h4,.article-content h5,.article-content h6{margin:1.3rem 0 0.55rem;color:var(--vl-ink);font-family:var(--font-body);font-weight:600;line-height:1.35}.article-content ul,.article-content ol,.article-body ul,.article-body ol{margin:0.35rem 0 1.1rem 1.45rem;padding:0}.article-content li,.article-body li{margin-bottom:0.3rem}.article-content hr,.article-body hr{margin:2.2rem 0;border:none;border-top:1px solid var(--line)}.article-content blockquote,.article-body blockquote{margin:1.5rem 0;padding:0.15rem 0 0.15rem 1rem;border-left:2px solid rgba(59,110,235,0.24);color:var(--vl-ink-soft);font-style:italic}.article-content figure,.article-body figure{margin:1.6rem 0}.article-content figcaption,.article-body figcaption{margin-top:0.6rem;color:var(--vl-ink-soft);font-size:0.92rem;text-align:center}.article-content img,.article-body img{display:block;margin:1.4rem auto;border-radius:12px}.article-content table,.article-body table{width:100%;margin:1.5rem 0;border-collapse:collapse;font-size:0.96rem;background:rgba(255,255,252,0.7)}.article-content th,.article-content td,.article-body th,.article-body td{padding:0.7rem 0.7rem;border-bottom:1px solid var(--line);vertical-align:top}.article-content th,.article-body th{color:var(--vl-ink);font-weight:600;text-align:left}.article-content table.sourceCode,.article-body table.sourceCode{margin:1.35rem 0;background:transparent}.article-content table.sourceCode th,.article-content table.sourceCode td,.article-body table.sourceCode th,.article-body table.sourceCode td,.article-content td.lineNumbers,.article-content td.sourceCode,.article-body td.lineNumbers,.article-body td.sourceCode{padding:0;border:none}.article-content pre,.article-body pre{margin:1.35rem 0;padding:1rem 1.05rem;overflow:auto;border:1px solid var(--line);border-radius:16px;background:var(--code-bg);box-shadow:inset 0 1px 0 rgba(255,255,255,0.4)}.article-content code:not(pre code),.article-body code:not(pre code){padding:0.12rem 0.4rem;border-radius:6px;background:var(--code-bg);font-size:0.88em}.article-content code,.article-content pre,.article-content tt,.article-body code,.article-body pre,.article-body tt{font-family:var(--font-mono);font-feature-settings:"ss01" on,"calt" on}.article-content abbr[title],.article-body abbr[title]{text-decoration:none}.katex-display{margin:1.2rem 0;overflow-x:auto;overflow-y:hidden}.post-meta{display:flex;flex-wrap:wrap;gap:0.4rem 0.9rem;align-items:center;margin:0 0 1.45rem;padding-top:0.95rem;border-top:1px solid var(--line);color:var(--vl-ink-soft);font-size:0.88rem;letter-spacing:0.02em}.post-meta a{color:inherit}.post-meta a:hover,.post-meta a:focus-visible{color:var(--vl-ink)}.post-meta .meta-item{position:relative}.post-meta .meta-item+.meta-item::before{content:"";position:absolute;left:-0.48rem;top:50%;width:4px;height:4px;border-radius:50%;transform:translateY(-50%);background:rgba(143,161,183,0.9)}table.postindex{margin-top:0.35rem;border-collapse:collapse;background:transparent}table.postindex tbody,table.postindex tr{width:100%}table.postindex tr{background:transparent}table.postindex td{padding:0.95rem 0.2rem;border-bottom:1px solid var(--line)}table.postindex td:first-child{padding-left:0}table.postindex td.right{width:8.5rem;padding-right:0;color:var(--vl-blue-muted);font-size:0.86rem;font-variant-numeric:tabular-nums;letter-spacing:0.04em;text-align:right;white-space:nowrap;transition:color 180ms ease}table.postindex a{color:var(--vl-ink);text-decoration:none}table.postindex tr:hover td.right,table.postindex tr:focus-within td.right{color:var(--vl-blue)}table.postindex a:hover,table.postindex a:focus-visible{color:var(--vl-blue);text-decoration:none}table.postindex cite{color:inherit;font-family:var(--font-serif-alt);font-size:clamp(1.08rem,1rem+0.2vw,1.22rem);font-style:normal;line-height:1.36}.info{color:var(--muted)}.info a{color:inherit}.site-footer{padding:1.4rem 0 2.3rem;color:var(--vl-ink-soft);font-size:0.84rem;line-height:1.7}.site-footer a{color:inherit}.site-footer a:hover,.site-footer a:focus-visible{color:var(--vl-ink)}.theorem-environment{color:var(--text,#000)}@media (max-width:900px){.site-header,.site-nav,.reading-main,.site-footer{width:min(100vw - 28px,760px)}.reading-ornament--mid-orbit{right:-1rem;top:28rem}}@media (max-width:720px){.site-header,.site-nav,.reading-main,.site-footer{width:min(100vw - 20px,100%)}.reading-shell::before,.reading-ornament--mid-orbit,.reading-ornament--footer-mark{display:none}.site-header{padding-top:1rem}.site-header__inner{padding-bottom:0.65rem}#site-title{font-size:clamp(1.75rem,9vw,2.3rem)}.site-nav{padding-top:0.45rem;padding-bottom:0.75rem}.site-nav ul{gap:0.25rem 0.75rem}.site-nav a{min-height:auto;font-size:0.82rem}.reading-article{padding:0.95rem 0 1.8rem}#article-title{font-size:clamp(1.8rem,9vw,2.5rem)}.article-content p,.article-body p{font-size:1rem}.post-meta{display:block;margin-bottom:1.1rem}.post-meta .meta-item{display:block;margin-bottom:0.28rem}.post-meta .meta-item+.meta-item::before{content:none}table.postindex,table.postindex tbody,table.postindex tr,table.postindex td{display:block}table.postindex td{padding:0.55rem 0}table.postindex td.right{width:auto;padding-top:0;text-align:left}}@media print{body.reading-page{background:#fff}.reading-shell::before,.reading-ornament-layer{display:none!important}.reading-main,.reading-article,.article-header,.article-content{width:100%;max-width:none}.reading-article{padding:0;border:none;border-radius:0;background:transparent;box-shadow:none}}