:root{--font-family-base:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Oxygen,Ubuntu,Cantarell,"Open Sans","Fira Sans","Droid Sans","Helvetica Neue",sans-serif;--font-family-mono:Menlo,Monaco,Consolas,"Cascadia Mono","Ubuntu Mono","DejaVu Sans Mono","Liberation Mono","JetBrains Mono","Fira Code",Cousine,"Roboto Mono","Courier New",Courier,monospace,sans-serif,system-ui;--font-weight-regular:500;--font-weight-bold:700;--color-text:#131313;--color-text-strong:#000;--color-text-secondary:#555;--color-text-accent:#904a42;--color-background:#fff;--color-background-secondary:#eee;--color-background-accent:#fceae6;--color-border:#ccc;--color-background-code:#0a0a0a;& .highlight{filter:invert()contrast(110%)}& .typst-picture,& .math-block,& .math-inline{filter:unset}}[data-theme=dark]{--color-text:#bcbcbc;--color-text-strong:#f3f3f3;--color-text-secondary:#8b949e;--color-text-accent:#feb4a9;--color-background:#09090b;--color-background-secondary:#161616;--color-background-accent:#1e1917;--color-border:#222224;& .highlight{filter:unset}& .typst-picture,& .math-block,& .math-inline{filter:invert()}}.site-nav{border-bottom:1px solid var(--color-border);background:var(--color-background);z-index:1000;justify-content:space-between;align-items:center;margin-bottom:2rem;margin-left:-1rem;margin-right:-1rem;padding:.5rem 1rem;display:flex;position:sticky;top:0}.site-brand{align-items:center;gap:1rem;display:flex}.site-name{font-size:1.2rem;font-weight:var(--font-weight-bold);color:var(--color-text-strong);text-decoration:none}.nav-links{align-items:center;gap:1rem;display:flex}.nav-link{color:var(--color-text-secondary);border-radius:12px;padding:.5rem .75rem;font-size:16px;text-decoration:none}.nav-link:hover{color:var(--color-text-accent);background:var(--color-background-accent)}.theme-toggle{cursor:pointer;background:0 0;border:none}.theme-toggle:hover{background:var(--color-background-accent);color:var(--color-text-accent)}.nav-link:focus,.theme-toggle:focus{outline:2px solid var(--color-text-accent);outline-offset:2px}@media (width<=768px){.site-nav{flex-direction:column;padding-top:1rem}.nav-links{flex-wrap:wrap;justify-content:center;width:100%}}.site-footer{text-align:center;border-top:1px solid var(--color-border);color:var(--color-text-secondary);margin-top:3rem;padding:2rem 0;font-size:14px}.site-footer a{color:var(--color-text-accent);text-decoration:none}.site-footer a:hover{text-decoration:underline}body{font-family:var(--font-family-base);max-width:1200px;color:var(--color-text);background-color:var(--color-background);font-size:16px;line-height:1.6;font-weight:var(--font-weight-regular);font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;overflow-wrap:break-word;word-wrap:break-word;direction:ltr;margin:0 1rem}a{color:unset;text-decoration:none}.archive-item{border-bottom:1px solid var(--color-border);justify-content:space-between;padding:8px 0;display:flex}.archive-item a{flex:1}.archive-item span{color:var(--color-text-secondary);margin-left:16px;font-size:14px}.article-list{padding-bottom:2rem}.article-list-container{margin-top:1rem}.article-list-header{justify-content:space-between;align-items:center;display:flex}.view-toggle{border:1px solid var(--color-border);border-radius:12px;gap:.5rem;padding:.25rem;display:flex}.view-toggle button{cursor:pointer;color:var(--color-text-secondary);background:0 0;border:none;border-radius:9px;padding:.5rem .75rem;font-size:14px}.view-toggle button.active{background:var(--color-background-accent);color:var(--color-text-accent);font-weight:var(--font-weight-bold)}.view-toggle button:hover:not(.active){color:var(--color-text)}.article-title{font-weight:var(--font-weight-bold);color:var(--color-text-strong);font-size:18px}.article-title:hover{color:var(--color-text-accent)}.list-view .article-title{margin-bottom:.5rem}.list-view .article-title:hover{text-decoration:underline}.card-view .article-title{margin-bottom:.75rem;line-height:1.4}.article-meta{color:var(--color-text-secondary);flex-direction:row;align-items:center;gap:1rem;font-size:14px;display:flex}.list-view .article-meta{flex-direction:row;align-items:center;gap:1rem}.card-view .article-meta{flex-direction:column-reverse;align-items:start;gap:5px}.card-view .article-date{font-weight:var(--font-weight-regular)}.article-list.list-view{flex-direction:column;gap:.5rem;display:flex}.list-view .article-item{color:var(--color-text);border-color:#0000;padding:10px 0}.article-list.card-view{grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:1rem;display:grid}.card-view .article-item{background:var(--color-background);border:1px solid var(--color-border);color:var(--color-text);border-radius:12px;flex-direction:column;justify-content:space-between;padding:16px;text-decoration:none;transition:border-color .2s;display:flex}.card-view .article-item:hover{border-color:var(--color-text-accent)}.article-tags{flex-wrap:wrap;gap:.5rem;line-height:10px;display:flex}.article-tag{color:var(--color-text-secondary);font-weight:var(--font-weight-regular);display:inline-block}.article-tag:hover{color:var(--color-text-accent)}.doc strong{font-weight:var(--font-weight-bold);color:var(--color-text-strong)}.doc img{border-radius:12px;max-width:100%;height:auto}.doc h1 strong,.doc h2 strong,.doc h3 strong,.doc h4 strong,.doc h5 strong,.doc h6 strong{font-weight:var(--font-weight-bold)}h1,h2,h3,h4,h5,h6{color:var(--color-text-strong)}.doc h1,.doc h2,.doc h3{margin:32px 0 16px}.doc h4,.doc h5,.doc h6,.doc p{margin:16px 0}.doc h4+ul,.doc h5+ul,.doc h6+ul,.doc h4+ol,.doc h5+ol,.doc h6+ol{margin-top:8px}.doc h4:has(+ul),.doc h5:has(+ul),.doc h6:has(+ul),.doc h4:has(+ol),.doc h5:has(+ol),.doc h6:has(+ol){margin-bottom:8px}.doc a{color:var(--color-text-accent);text-underline-offset:.08em;text-decoration:underline;position:relative}.doc a:hover,.doc a :focus{outline:none}.doc a:focus-visible{box-shadow:0 0 0 2px var(--color-text-accent)}.doc li>ul,.doc li>ol{margin-top:4px}.doc ul,.doc ol{margin:16px 0;padding-left:18px}.doc li:not(:first-child){margin-top:6px}.doc li::marker{color:var(--color-text-secondary);line-height:28px}.doc hr{background:var(--color-border);border:none;height:1px;margin:32px 0;display:block}.doc blockquote{border-left:2px solid var(--color-border);margin:16px 0 0;padding-left:14px}.doc table{border-collapse:collapse;text-align:left;width:100%;max-width:max-content}.doc th{border-bottom:1px solid var(--color-border);color:var(--color-text-strong);border-top:none;padding:0 8px 8px}.doc th:first-child{padding-left:0}.doc td{border-bottom:1px solid var(--color-border);padding:8px}.doc td:first-child{padding-left:0}.doc td:last-child{padding-right:0}.doc pre{font-family:var(--font-family-mono);margin:0}.doc code{font-family:var(--font-family-mono);background-color:var(--color-background-secondary);color:var(--color-text-strong);overflow-wrap:anywhere;border-radius:6px;margin:auto 2px;padding:0 5px;display:inline-flex}.doc h1 code,.doc h2 code,.doc h3 code,.doc h4 code,.doc h5 code,.doc h6 code{font:inherit;font-family:var(--font-family-mono)}span.linenos{user-select:none;text-align:right;color:#6e7681;width:2em;margin-right:1em;display:inline-block}[id^=line-]{text-indent:-3em;word-wrap:anywhere;word-break:break-all;white-space:pre-wrap;padding-left:3em;display:block}pre{line-height:135%}td.linenos .normal{color:#6e7681;background-color:var(--color-background-code);padding-left:5px;padding-right:5px}td.linenos .special{color:#e6edf3;background-color:#6e7681;padding-left:5px;padding-right:5px}span.linenos.special{color:#e6edf3;background-color:#6e7681}.highlight .hll{background-color:#6e7681}.highlight{background:var(--color-background-code);color:#e6edf3}.highlight .c{color:#8b949e;font-style:italic}.highlight .err{color:#f85149}.highlight .esc,.highlight .g{color:#e6edf3}.highlight .k{color:#ff7b72}.highlight .l{color:#a5d6ff}.highlight .n{color:#e6edf3}.highlight .o{color:#ff7b72;font-weight:700}.highlight .x,.highlight .p{color:#e6edf3}.highlight .ch,.highlight .cm{color:#8b949e;font-style:italic}.highlight .cp{color:#8b949e;font-style:italic;font-weight:700}.highlight .cpf,.highlight .c1{color:#8b949e;font-style:italic}.highlight .cs{color:#8b949e;font-style:italic;font-weight:700}.highlight .gd{color:#ffa198;background-color:#490202}.highlight .ge{color:#e6edf3;font-style:italic}.highlight .ges{color:#e6edf3;font-style:italic;font-weight:700}.highlight .gr{color:#ffa198}.highlight .gh{color:#79c0ff;font-weight:700}.highlight .gi{color:#56d364;background-color:#0f5323}.highlight .go,.highlight .gp{color:#8b949e}.highlight .gs{color:#e6edf3;font-weight:700}.highlight .gu{color:#79c0ff}.highlight .gt{color:#ff7b72}.highlight .g-Underline{color:#e6edf3;text-decoration:underline}.highlight .kc{color:#79c0ff}.highlight .kd,.highlight .kn{color:#ff7b72}.highlight .kp{color:#79c0ff}.highlight .kr,.highlight .kt{color:#ff7b72}.highlight .ld{color:#79c0ff}.highlight .m,.highlight .s{color:#a5d6ff}.highlight .na,.highlight .nb{color:#e6edf3}.highlight .nc{color:#f0883e;font-weight:700}.highlight .no{color:#79c0ff;font-weight:700}.highlight .nd{color:#d2a8ff;font-weight:700}.highlight .ni{color:#ffa657}.highlight .ne{color:#f0883e;font-weight:700}.highlight .nf{color:#d2a8ff;font-weight:700}.highlight .nl{color:#79c0ff;font-weight:700}.highlight .nn{color:#ff7b72}.highlight .nx{color:#e6edf3}.highlight .py{color:#79c0ff}.highlight .nt{color:#7ee787}.highlight .nv{color:#79c0ff}.highlight .ow{color:#ff7b72;font-weight:700}.highlight .pm{color:#e6edf3}.highlight .w{color:#6e7681}.highlight .mb,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#a5d6ff}.highlight .sa{color:#79c0ff}.highlight .sb,.highlight .sc{color:#a5d6ff}.highlight .dl{color:#79c0ff}.highlight .sd,.highlight .s2{color:#a5d6ff}.highlight .se,.highlight .sh{color:#79c0ff}.highlight .si,.highlight .sx{color:#a5d6ff}.highlight .sr{color:#79c0ff}.highlight .s1,.highlight .ss{color:#a5d6ff}.highlight .bp{color:#e6edf3}.highlight .fm{color:#d2a8ff;font-weight:700}.highlight .vc,.highlight .vg,.highlight .vi,.highlight .vm{color:#79c0ff}.highlight .il{color:#a5d6ff}.highlight-container{font-family:var(--font-family-mono);border:1px solid var(--color-border);border-radius:12px;margin:10px 0;font-size:14px}.highlight-content{padding:14px}.highlight-banner{border-bottom:1px solid var(--color-border);justify-content:space-between;align-items:center;padding:10px 10px 8px 16px;display:flex}.highlight-info{color:var(--color-text);overflow-wrap:anywhere}.copy-btn{color:var(--color-text);cursor:pointer;text-wrap:nowrap;background:0 0;border:none;border-radius:16px;padding:6px 12px;font-size:14px}.copy-btn:hover{background:var(--color-background-accent);color:var(--color-text-accent)}.typst-picture img{display:none}.typst-picture .typst-desktop{display:block}.post-main{container-type:inline-size}@container (width<=768px){.typst-picture .typst-desktop{display:none}.typst-picture .typst-mobile{display:block}}.math-block{text-align:center;margin:1.5rem 0;overflow-x:scroll}.math-inline{position:relative;top:5px}.tag-cloud{flex-wrap:wrap;gap:12px;display:flex}.tag-item{color:var(--color-text);border-radius:20px;align-items:center;gap:6px;padding:8px 16px;text-decoration:none;display:inline-flex}.tag-item:hover{background:var(--color-background-accent)}.tag-name{font-weight:var(--font-weight-bold);color:var(--color-text-accent)}.tag-count{color:var(--color-text-strong);font-weight:var(--font-weight-regular)}.post-container{grid-template-columns:1fr 280px;align-items:start;gap:3rem;display:grid}.post-main{min-width:0}.toc{background:var(--color-background);border:1px solid var(--color-border);border-radius:12px;flex-direction:column;max-height:calc(100vh - 5rem);padding:0;display:flex;position:sticky;top:4.5rem;overflow:hidden}.toc-title{font-size:16px;font-weight:var(--font-weight-bold);color:var(--color-text);border-bottom:1px solid var(--color-border);flex-shrink:0;padding:.75rem .75rem .75rem 1.15rem}.toc-list{scroll-behavior:smooth;flex:1;margin:0;padding:.5rem;list-style:none;overflow-y:auto}.toc-list::-webkit-scrollbar{width:6px}.toc-list::-webkit-scrollbar-track{background:0 0}.toc-list::-webkit-scrollbar-thumb{background:var(--color-border);border-radius:3px}.toc-list .toc-list{margin-top:.5rem;margin-left:1rem}.toc-item a,.toc-link{color:var(--color-text-secondary);border-radius:6px;padding:.5rem .75rem;font-size:14px;line-height:1.5;text-decoration:none;display:block}.toc-item a:hover,.toc-item a.active,.toc-link:hover,.toc-link.active{background:var(--color-background-accent);color:var(--color-text-accent)}.toc-item-2{margin-left:.75rem}.toc-item-3{margin-left:1.5rem}.post-layout{align-items:flex-start;gap:3rem;display:flex}.post-content{flex:1;min-width:0}.toc-sidebar{flex:0 0 250px;align-self:start;position:sticky;top:4.25rem}@media (width<=768px){.toc-sidebar{display:none}.post-container,.post-layout{flex-direction:column;grid-template-columns:1fr;gap:2rem}body{max-width:800px}}