html:not(.dark) .bg{background-color:#f7f7f7}html:not(.dark) .chroma{background-color:#f7f7f7;-webkit-text-size-adjust:none}html:not(.dark) .chroma .err{color:#f6f8fa;background-color:#82071e}html:not(.dark) .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}html:not(.dark) .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}html:not(.dark) .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}html:not(.dark) .chroma .hl{background-color:#dedede}html:not(.dark) .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html:not(.dark) .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html:not(.dark) .chroma .line{display:flex}html:not(.dark) .chroma .k{color:#cf222e}html:not(.dark) .chroma .kc{color:#cf222e}html:not(.dark) .chroma .kd{color:#cf222e}html:not(.dark) .chroma .kn{color:#cf222e}html:not(.dark) .chroma .kp{color:#cf222e}html:not(.dark) .chroma .kr{color:#cf222e}html:not(.dark) .chroma .kt{color:#cf222e}html:not(.dark) .chroma .na{color:#1f2328}html:not(.dark) .chroma .nc{color:#1f2328}html:not(.dark) .chroma .no{color:#0550ae}html:not(.dark) .chroma .nd{color:#0550ae}html:not(.dark) .chroma .ni{color:#6639ba}html:not(.dark) .chroma .nl{color:#900;font-weight:700}html:not(.dark) .chroma .nn{color:#24292e}html:not(.dark) .chroma .nx{color:#1f2328}html:not(.dark) .chroma .nt{color:#0550ae}html:not(.dark) .chroma .nb{color:#6639ba}html:not(.dark) .chroma .bp{color:#6a737d}html:not(.dark) .chroma .nv{color:#953800}html:not(.dark) .chroma .vc{color:#953800}html:not(.dark) .chroma .vg{color:#953800}html:not(.dark) .chroma .vi{color:#953800}html:not(.dark) .chroma .vm{color:#953800}html:not(.dark) .chroma .nf{color:#6639ba}html:not(.dark) .chroma .fm{color:#6639ba}html:not(.dark) .chroma .s{color:#0a3069}html:not(.dark) .chroma .sa{color:#0a3069}html:not(.dark) .chroma .sb{color:#0a3069}html:not(.dark) .chroma .sc{color:#0a3069}html:not(.dark) .chroma .dl{color:#0a3069}html:not(.dark) .chroma .sd{color:#0a3069}html:not(.dark) .chroma .s2{color:#0a3069}html:not(.dark) .chroma .se{color:#0a3069}html:not(.dark) .chroma .sh{color:#0a3069}html:not(.dark) .chroma .si{color:#0a3069}html:not(.dark) .chroma .sx{color:#0a3069}html:not(.dark) .chroma .sr{color:#0a3069}html:not(.dark) .chroma .s1{color:#0a3069}html:not(.dark) .chroma .ss{color:#032f62}html:not(.dark) .chroma .m{color:#0550ae}html:not(.dark) .chroma .mb{color:#0550ae}html:not(.dark) .chroma .mf{color:#0550ae}html:not(.dark) .chroma .mh{color:#0550ae}html:not(.dark) .chroma .mi{color:#0550ae}html:not(.dark) .chroma .il{color:#0550ae}html:not(.dark) .chroma .mo{color:#0550ae}html:not(.dark) .chroma .o{color:#0550ae}html:not(.dark) .chroma .ow{color:#0550ae}html:not(.dark) .chroma .or{color:#0550ae}html:not(.dark) .chroma .p{color:#1f2328}html:not(.dark) .chroma .c{color:#57606a}html:not(.dark) .chroma .ch{color:#57606a}html:not(.dark) .chroma .cm{color:#57606a}html:not(.dark) .chroma .c1{color:#57606a}html:not(.dark) .chroma .cs{color:#57606a}html:not(.dark) .chroma .cp{color:#57606a}html:not(.dark) .chroma .cpf{color:#57606a}html:not(.dark) .chroma .gd{color:#82071e;background-color:#ffebe9}html:not(.dark) .chroma .ge{color:#1f2328}html:not(.dark) .chroma .gi{color:#116329;background-color:#dafbe1}html:not(.dark) .chroma .go{color:#1f2328}html:not(.dark) .chroma .gl{text-decoration:underline}html:not(.dark) .chroma .w{color:#fff}html.dark .bg{color:#e6edf3;background-color:#0d1117}html.dark .chroma{color:#e6edf3;background-color:#0d1117;-webkit-text-size-adjust:none}html.dark .chroma .err{color:#f85149}html.dark .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}html.dark .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}html.dark .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}html.dark .chroma .hl{background-color:#6e7681}html.dark .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#737679}html.dark .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6e7681}html.dark .chroma .line{display:flex}html.dark .chroma .k{color:#ff7b72}html.dark .chroma .kc{color:#79c0ff}html.dark .chroma .kd{color:#ff7b72}html.dark .chroma .kn{color:#ff7b72}html.dark .chroma .kp{color:#79c0ff}html.dark .chroma .kr{color:#ff7b72}html.dark .chroma .kt{color:#ff7b72}html.dark .chroma .nc{color:#f0883e;font-weight:700}html.dark .chroma .no{color:#79c0ff;font-weight:700}html.dark .chroma .nd{color:#d2a8ff;font-weight:700}html.dark .chroma .ni{color:#ffa657}html.dark .chroma .ne{color:#f0883e;font-weight:700}html.dark .chroma .nl{color:#79c0ff;font-weight:700}html.dark .chroma .nn{color:#ff7b72}html.dark .chroma .nx{color:#e6edf3}html.dark .chroma .py{color:#79c0ff}html.dark .chroma .nt{color:#7ee787}html.dark .chroma .nv{color:#79c0ff}html.dark .chroma .vc{color:#79c0ff}html.dark .chroma .vg{color:#79c0ff}html.dark .chroma .vi{color:#79c0ff}html.dark .chroma .vm{color:#79c0ff}html.dark .chroma .nf{color:#d2a8ff;font-weight:700}html.dark .chroma .fm{color:#d2a8ff;font-weight:700}html.dark .chroma .l{color:#a5d6ff}html.dark .chroma .ld{color:#79c0ff}html.dark .chroma .s{color:#a5d6ff}html.dark .chroma .sa{color:#79c0ff}html.dark .chroma .sb{color:#a5d6ff}html.dark .chroma .sc{color:#a5d6ff}html.dark .chroma .dl{color:#79c0ff}html.dark .chroma .sd{color:#a5d6ff}html.dark .chroma .s2{color:#a5d6ff}html.dark .chroma .se{color:#79c0ff}html.dark .chroma .sh{color:#79c0ff}html.dark .chroma .si{color:#a5d6ff}html.dark .chroma .sx{color:#a5d6ff}html.dark .chroma .sr{color:#79c0ff}html.dark .chroma .s1{color:#a5d6ff}html.dark .chroma .ss{color:#a5d6ff}html.dark .chroma .m{color:#a5d6ff}html.dark .chroma .mb{color:#a5d6ff}html.dark .chroma .mf{color:#a5d6ff}html.dark .chroma .mh{color:#a5d6ff}html.dark .chroma .mi{color:#a5d6ff}html.dark .chroma .il{color:#a5d6ff}html.dark .chroma .mo{color:#a5d6ff}html.dark .chroma .o{color:#ff7b72;font-weight:700}html.dark .chroma .ow{color:#ff7b72;font-weight:700}html.dark .chroma .or{color:#ff7b72;font-weight:700}html.dark .chroma .c{color:#8b949e;font-style:italic}html.dark .chroma .ch{color:#8b949e;font-style:italic}html.dark .chroma .cm{color:#8b949e;font-style:italic}html.dark .chroma .c1{color:#8b949e;font-style:italic}html.dark .chroma .cs{color:#8b949e;font-weight:700;font-style:italic}html.dark .chroma .cp{color:#8b949e;font-weight:700;font-style:italic}html.dark .chroma .cpf{color:#8b949e;font-weight:700;font-style:italic}html.dark .chroma .gd{color:#ffa198;background-color:#490202}html.dark .chroma .ge{font-style:italic}html.dark .chroma .gr{color:#ffa198}html.dark .chroma .gh{color:#79c0ff;font-weight:700}html.dark .chroma .gi{color:#56d364;background-color:#0f5323}html.dark .chroma .go{color:#8b949e}html.dark .chroma .gp{color:#8b949e}html.dark .chroma .gs{font-weight:700}html.dark .chroma .gu{color:#79c0ff}html.dark .chroma .gt{color:#ff7b72}html.dark .chroma .gl{text-decoration:underline}html.dark .chroma .w{color:#6e7681}html:not(.dark) .bg,html.dark .bg,html:not(.dark) .chroma,html.dark .chroma{background-color:initial}html:not(.dark) .chroma .err,html.dark .chroma .err{color:inherit;background-color:initial}@font-face{font-family:ibm plex mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-mono-latin-400.woff2)format("woff2")}@font-face{font-family:ibm plex mono;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/ibm-plex-mono-latin-500.woff2)format("woff2")}@font-face{font-family:ibm plex mono;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/ibm-plex-mono-latin-600.woff2)format("woff2")}@font-face{font-family:ibm plex sans;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-400.woff2)format("woff2")}@font-face{font-family:ibm plex sans;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-600.woff2)format("woff2")}:root{--bg:hsl(40 14% 98%);--fg:hsl(220 12% 10%);--soft:hsl(220 12% 10% / 0.8);--muted:hsl(220 6% 45%);--border:hsl(220 10% 90%);--code-bg:hsl(220 12% 10% / 0.05);--font-mono:"IBM Plex Mono", ui-monospace, "SF Mono", SFMono-Regular, Menlo,
    Consolas, "Liberation Mono", monospace;--font-sans:"IBM Plex Sans", -apple-system, system-ui, "Segoe UI", Roboto,
    "Helvetica Neue", Arial, "PingFang TC", "Hiragino Sans",
    "Microsoft JhengHei", sans-serif}html.dark{--bg:hsl(220 14% 5%);--fg:hsl(220 8% 91%);--soft:hsl(220 8% 91% / 0.8);--muted:hsl(220 6% 55%);--border:hsl(220 10% 15%);--code-bg:hsl(220 8% 91% / 0.06)}@media(prefers-color-scheme:dark){html:not(.light):not(.dark){--bg:hsl(220 14% 5%);--fg:hsl(220 8% 91%);--soft:hsl(220 8% 91% / 0.8);--muted:hsl(220 6% 55%);--border:hsl(220 10% 15%);--code-bg:hsl(220 8% 91% / 0.06);color-scheme:dark}}*{margin:0;padding:0;box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--bg);color:var(--fg);font-family:var(--font-mono);font-size:.875rem;line-height:1.6;min-height:100vh;-webkit-font-smoothing:antialiased}.container{max-width:42rem;margin:0 auto;padding:0 1.5rem}a{color:inherit;text-decoration:none}.site-header{position:sticky;top:0;z-index:40;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--bg) 80%,transparent);backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px)}.site-header .container{display:flex;align-items:center;justify-content:space-between;height:3.5rem}.site-header .logo{font-size:.875rem;font-weight:500;letter-spacing:-.025em;transition:color .15s}.site-header .logo:hover{color:var(--muted)}.site-header nav{display:flex;align-items:center;gap:1.25rem;font-size:.875rem}.site-header nav a{color:var(--muted);transition:color .15s}.site-header nav a:hover{color:var(--fg)}#theme-toggle{display:flex;align-items:center;background:0 0;border:none;padding:0;color:var(--muted);cursor:pointer;transition:color .15s}#theme-toggle:hover{color:var(--fg)}.intro{padding:4rem 0 5rem}.intro h1{font-size:1.875rem;line-height:2.25rem;font-weight:500;letter-spacing:-.025em}.intro .tagline{margin-top:.75rem;font-size:.875rem;line-height:1.25rem;color:var(--muted)}.intro a{text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:4px}.year-group{margin-bottom:3rem}.year-group .label{font-size:.6875rem;font-weight:500;text-transform:uppercase;letter-spacing:.2em;color:var(--muted);margin-bottom:.5rem}.post-list{list-style:none}.post-list li{border-top:1px solid var(--border)}.post-list a{display:flex;align-items:baseline;justify-content:space-between;gap:1.5rem;padding:.875rem 0}.post-list .post-title{font-size:.9375rem;font-weight:500;transition:color .15s}.post-list a:hover .post-title{color:var(--muted)}.post-list time{flex-shrink:0;font-size:.75rem;color:var(--muted);font-variant-numeric:tabular-nums}.projects{margin-bottom:3rem}.projects ul{list-style:none}.projects li{border-top:1px solid var(--border)}.projects a{display:block;padding:.875rem 0}.project-name{display:block;font-size:.9375rem;font-weight:500;transition:color .15s}.projects a:hover .project-name{color:var(--muted)}.project-name .ext{color:var(--muted);font-size:.75rem}.project-desc{display:block;margin-top:.25rem;font-family:var(--font-sans);font-size:.8125rem;line-height:1.6;color:var(--muted)}.post-header{padding:4rem 0 0}.post-header h1{font-size:1.625rem;font-weight:500;letter-spacing:-.025em;line-height:1.3}.post-header time{display:block;margin-top:.875rem;font-size:.75rem;color:var(--muted);font-variant-numeric:tabular-nums}.prose{margin-top:2.5rem;padding-top:2.5rem;border-top:1px solid var(--border);font-family:var(--font-sans);font-size:.9375rem;line-height:1.85;color:var(--soft)}.prose>*+*{margin-top:1em}.prose h2,.prose h3,.prose h4{font-family:var(--font-mono);color:var(--fg);font-weight:600;letter-spacing:-.01em;line-height:1.4;margin-top:2.25em}.prose h2{font-size:1.125rem}.prose h3{font-size:1rem}.prose h4{font-size:.9375rem}.prose a{text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:4px;transition:text-decoration-color .15s}.prose a:hover{text-decoration-color:var(--fg)}.prose strong{color:var(--fg);font-weight:600}.prose ul,.prose ol{padding-left:1.25rem}.prose li+li{margin-top:.375em}.prose li::marker{color:var(--muted)}.prose blockquote{border-left:2px solid var(--border);padding-left:1rem;color:var(--muted)}.prose hr{border:none;border-top:1px solid var(--border);margin:2.5rem 0}.prose img{max-width:100%;height:auto;border-radius:6px}.prose table{width:100%;border-collapse:collapse;font-size:.8125rem;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--border);padding:.5rem .75rem;text-align:left}.prose th{font-weight:600;color:var(--fg)}.prose code{font-family:var(--font-mono);font-size:.8125rem;background:var(--code-bg);border-radius:4px;padding:.15em .35em}.prose pre,html.dark .prose pre{overflow-x:auto;font-family:var(--font-mono);background:var(--code-bg);border:1px solid var(--border);border-radius:8px;padding:1rem;line-height:1.6}.prose pre code{background:0 0;border-radius:0;padding:0;font-size:.8125rem}.prose .highlight{margin-top:1.25em;margin-bottom:1.25em}.prose .katex-display{overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.mermaid-loading pre.mermaid{visibility:hidden}.prose pre.mermaid{background:0 0;border:0;border-radius:0;padding:0;margin:1.75em 0;line-height:normal}.prose pre.mermaid svg{display:block;margin:0 auto;max-width:100%;height:auto}.prose .mermaid .node rect,.prose .mermaid .node circle,.prose .mermaid .node ellipse,.prose .mermaid .node polygon,.prose .mermaid .node path{fill:var(--code-bg)!important;stroke:var(--border)!important;stroke-width:1px!important}.prose .mermaid .flowchart-link{stroke:var(--muted)!important}.prose .mermaid .marker{fill:var(--muted)!important;stroke:var(--muted)!important}.prose .mermaid .label,.prose .mermaid .nodeLabel,.prose .mermaid .nodeLabel p,.prose .mermaid svg text{color:var(--fg)!important;fill:var(--fg)!important}.prose .mermaid .edgeLabel,.prose .mermaid .edgeLabel p,.prose .mermaid .labelBkg{color:var(--muted)!important;background:var(--bg)!important}.prose .mermaid .edgeLabel rect{fill:var(--bg)!important;opacity:1!important}.site-footer{margin-top:6rem;border-top:1px solid var(--border)}.site-footer .container{display:flex;flex-direction:column;gap:1rem;padding-top:2rem;padding-bottom:2rem;font-size:.75rem;line-height:1rem;color:var(--muted)}.site-footer nav{display:flex;align-items:center;flex-wrap:wrap;gap:1.25rem}.site-footer nav svg{display:block}.site-footer a{display:flex;transition:color .15s}.site-footer a:hover{color:var(--fg)}@media(min-width:640px){.intro h1{font-size:2.25rem;line-height:2.5rem}.post-header{padding-top:5rem}.post-header h1{font-size:1.875rem}.site-footer .container{flex-direction:row;align-items:center;justify-content:space-between}}@media(min-width:768px){.intro{padding:6rem 0 7rem}}