:root{color-scheme:light;--background:#fff;--text:#444;--heading:#222;--muted:#595959;--link:#3273dc;--visited:#8e32dc;--soft:#f2f2f2;--border:#999;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Monaco,
    Consolas, "Liberation Mono", monospace}*{box-sizing:border-box}html{background:var(--background);-webkit-text-size-adjust:100%}body{max-width:65ch;margin:auto;padding:20px;background:var(--background);color:var(--text);font-family:Verdana,pingfang sc,microsoft yahei,sans-serif;font-size:16px;line-height:1.55;overflow-wrap:break-word;text-align:left}h1,h2,h3,h4,h5,h6,strong,b{color:var(--heading)}h1{font-size:2rem;line-height:1.2}h2{margin-top:1.6em;font-size:1.5rem;line-height:1.3}h3{font-size:1.17rem}a{color:var(--link)}main a:visited{color:var(--visited)}a:hover{text-decoration-thickness:2px}.site-header{margin:0 0 2.25em}.site-header h2{margin:.5em 0;font-size:1.5rem}.site-title,.site-title:visited{color:var(--heading);text-decoration:none}.site-header nav{display:flex;flex-wrap:wrap;gap:.35rem .75rem}.site-header nav a{display:inline-block;text-decoration:none}.site-header nav a.active{font-weight:700;text-decoration:underline}.home-content>h1:first-child,.article-header h1,.list-header h1{margin-top:0}.post-list{padding:0;list-style:none}.post-list li{display:flex;align-items:baseline;margin:.35em 0}.post-list time{flex:0 0 130px;color:var(--muted);font-style:italic;font-variant-numeric:tabular-nums}.article-meta,.article-tags{color:var(--muted);font-size:.92rem}.article-header{margin-bottom:1.5rem}.article-header h1{margin-bottom:.25rem}.article-meta{margin-top:0}.article-content img{display:block;max-width:100%;height:auto;margin:1.25rem auto}.article-content table{display:block;width:100%;overflow-x:auto;border-collapse:collapse}.article-content th,.article-content td{padding:.35rem .75rem;border:1px solid #ddd;text-align:left}code{padding:2px 5px;border-radius:2px;background:var(--soft);font-family:var(--font-mono);font-feature-settings:"liga" 1,"calt" 1;font-variant-ligatures:common-ligatures contextual;font-size:.92em}pre{padding:1rem;overflow-x:auto;border:1px solid #eee;border-radius:5px;background:#f6f8fa;font-family:var(--font-mono);font-feature-settings:"liga" 1,"calt" 1;font-variant-ligatures:common-ligatures contextual;line-height:1.45;tab-size:4;-moz-tab-size:4}pre>code{display:block;padding:0;border:0;border-radius:0;background:0 0;color:inherit;font:inherit;white-space:pre}.highlight{margin:1.25rem 0}.highlight pre{margin:0}.chroma{background:#f6f8fa;color:#24292f}.chroma .line{display:block;min-height:1.45em}.chroma .err{color:#82071e;background:#ffebe9}.chroma .hl{display:block;background:#fff8c5}.chroma .k,.chroma .kc,.chroma .kd,.chroma .kn,.chroma .kp,.chroma .kr,.chroma .kt,.chroma .ow{color:#cf222e;font-weight:600}.chroma .nb,.chroma .bp,.chroma .nc,.chroma .nd,.chroma .ne,.chroma .nf,.chroma .fm,.chroma .nl{color:#8250df}.chroma .na,.chroma .no,.chroma .nv,.chroma .vc,.chroma .vg,.chroma .vi,.chroma .vm{color:#953800}.chroma .nn,.chroma .nt{color:#116329}.chroma .s,.chroma .sa,.chroma .sb,.chroma .sc,.chroma .dl,.chroma .sd,.chroma .s1,.chroma .s2,.chroma .se,.chroma .sh,.chroma .si,.chroma .sr,.chroma .ss,.chroma .sx{color:#0a3069}.chroma .m,.chroma .mb,.chroma .mf,.chroma .mh,.chroma .mi,.chroma .il,.chroma .mo{color:#0550ae}.chroma .o{color:#cf222e}.chroma .c,.chroma .c1,.chroma .ch,.chroma .cm,.chroma .cs{color:#6e7781;font-style:italic}.chroma .cp,.chroma .cpf{color:#116329;font-weight:600}.chroma .gd{color:#82071e;background:#ffebe9}.chroma .gi{color:#116329;background:#dafbe1}.chroma .ge{font-style:italic}.chroma .gs{font-weight:700}.chroma .lnt,.chroma .ln{margin-right:.75rem;color:#8c959f;-webkit-user-select:none;user-select:none}.chroma .lntable{width:100%;border:0;border-spacing:0}.chroma .lntd{padding:0;border:0}mjx-container[display=true]{max-width:100%;margin:1.25rem 0!important;padding:.25rem 0;overflow-x:auto;overflow-y:hidden}mjx-container:not([display=true]){margin:0 .08em}blockquote{margin:1em 0;padding:.25rem 1rem;border:1px solid var(--border);color:var(--heading);font-style:italic}blockquote>:first-child{margin-top:0}blockquote>:last-child{margin-bottom:0}.table-of-contents{margin:1rem 0 2rem;padding:.65rem .85rem;border:1px solid #ddd;border-radius:5px}.table-of-contents summary{color:var(--heading);cursor:pointer;font-weight:700}.table-of-contents nav ul{margin-bottom:0}.site-footer{padding:3rem 1rem 1.5rem;color:var(--muted);font-size:.9rem;text-align:center}@media(max-width:560px){body{padding:16px;font-size:15.5px}.site-header{margin-bottom:1.75em}.post-list li{display:block;margin-bottom:.7em}.post-list time{display:block;font-size:.88rem}}