:root{--bg:#131211;--ink:#e8e5de;--muted:#9c988f;--rule:#2a2825;--accent:#d9776b;--surface:#1c1b19;--serif:"Newsreader", "Iowan Old Style", "Palatino Linotype", Charter, Georgia, serif;--display:"Fraunces", "Iowan Old Style", Georgia, serif;--mono:"JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--measure:40rem;--s1:.25rem;--s2:.5rem;--s3:1rem;--s4:1.5rem;--s5:2.5rem;--s6:4rem;color-scheme:light dark}@media(prefers-color-scheme:light){:root:not([data-theme=dark]){--bg:#f7f5f0;--ink:#1a1917;--muted:#6b6862;--rule:#e4e1da;--accent:#a8453a;--surface:#efece5}}:root[data-theme=light]{--bg:#f7f5f0;--ink:#1a1917;--muted:#6b6862;--rule:#e4e1da;--accent:#a8453a;--surface:#efece5}*{box-sizing:border-box}html{background:var(--bg);color:var(--ink);font:1.125rem/1.6 var(--serif);font-optical-sizing:auto;-webkit-text-size-adjust:100%}body{margin:0;padding:var(--s4)var(--s3)var(--s6)}main{max-width:var(--measure);margin:0 auto}h1,h2,h3,p,ul,ol,dl,figure,pre,table,blockquote{margin:0 0 var(--s3)}a{color:inherit;text-decoration:underline;text-decoration-color:var(--rule);text-underline-offset:.15em;text-decoration-thickness:1px}a:hover{text-decoration-color:var(--accent)}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}img{max-width:100%;height:auto}.mono{font-family:var(--mono);font-size:.8125rem;letter-spacing:0;font-variant-numeric:tabular-nums}html{font-variant-numeric:oldstyle-nums}td,.date,.meta,.post-head{font-variant-numeric:tabular-nums lining-nums}.skip{position:absolute;left:-999px}.skip:focus{left:var(--s3);top:var(--s3);background:var(--bg);padding:var(--s2)}.display{font-family:var(--display);font-weight:500;font-variation-settings:"SOFT" 60,"WONK" 1;letter-spacing:-.01em;line-height:1.15;font-size:2.25rem;margin-bottom:var(--s3)}h2.label,.label{font:500 .75rem/1 var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--muted);padding-bottom:var(--s2);border-bottom:1px solid var(--rule);margin:0 0 var(--s4)}.label-inline{text-transform:uppercase;letter-spacing:.08em;color:var(--accent);font-size:.7rem;margin-right:var(--s1)}.meta{color:var(--muted);margin:0 0 var(--s2)}h3{font:600 1.125rem/1.3 var(--serif);margin:0 0 var(--s1)}.prose h2{font:500 1.5rem/1.25 var(--display);font-variation-settings:"SOFT" 40;margin:var(--s5)0 var(--s3)}.prose h3{font:600 1.125rem/1.3 var(--serif);margin:var(--s4)0 var(--s2)}.site-header{max-width:var(--measure);margin:0 auto var(--s6);display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:var(--s2)var(--s3)}.brand{font-family:var(--display);font-weight:500;text-decoration:none}.site-header nav{display:flex;align-items:center;gap:var(--s3);font-family:var(--mono);font-size:.8125rem}.site-header nav a{text-decoration:none;color:var(--muted)}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--ink)}.site-header nav a[aria-current]{text-decoration:underline;text-decoration-color:var(--accent);text-underline-offset:.35em}.site-footer{max-width:var(--measure);margin:var(--s6)auto 0;padding-top:var(--s3);border-top:1px solid var(--rule);color:var(--muted);font-size:.75rem}.foot-row{display:flex;justify-content:space-between;flex-wrap:wrap;gap:var(--s2)}.legal{margin:var(--s2)0 0;font-size:.7rem;opacity:.8}.site-footer a{text-decoration:none}.site-footer a:hover{text-decoration:underline}section{margin-bottom:var(--s6)}.identity::after{content:"";display:block;clear:both}.identity{margin-bottom:var(--s4)}.identity .side{float:left;width:10rem;margin:.35rem var(--s4)var(--s3)0;text-align:center}.identity .display{margin-top:0}.news,.rows{list-style:none;padding:0}.news li,.rows li{display:grid;grid-template-columns:5.5rem 1fr;gap:var(--s3);margin-bottom:var(--s2)}.date{color:var(--muted);padding-top:.3em}.tag{display:inline-block;border:1px solid var(--rule);border-radius:4px;padding:0 .5em;text-decoration:none;color:var(--muted);font-size:.75rem;margin-right:var(--s1)}.tag:hover{border-color:var(--accent);color:var(--ink)}.rows li{margin-bottom:var(--s2)}.rows .tag{vertical-align:.1em}.meta.inline{display:inline;margin:0 .25em 0 .35em}figure{margin:var(--s4)0}figcaption{color:var(--muted);margin-top:var(--s2)}pre{background:var(--surface);padding:var(--s3);border-radius:6px;overflow-x:auto;font:.8125rem/1.5 var(--mono)}code{font-family:var(--mono);font-size:.875em}table{border-collapse:collapse;width:100%;font-size:.95rem}th,td{padding:.35em .6em;border-bottom:1px solid var(--rule);text-align:left}th{font:500 .75rem var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.6rem 0}.footnotes{font-size:.95rem;color:var(--muted);margin-top:var(--s5)}.footnotes hr{border:0;border-top:1px solid var(--rule)}blockquote{border-left:2px solid var(--rule);padding-left:var(--s3);color:var(--muted)}.post-head{margin-bottom:var(--s5)}.toc ul{list-style:none;padding:0;margin:0;font:.8125rem/1.5 var(--mono)}.toc ul ul{padding-left:var(--s3)}.toc a{text-decoration:none;color:var(--muted);display:block;padding:.15em 0}.toc a:hover,.toc a[aria-current]{color:var(--ink)}.toc a[aria-current]{color:var(--accent)}.sn-check{display:none}.sn-toggle{counter-increment:sidenote;cursor:pointer}.sn-toggle::after{content:counter(sidenote);vertical-align:super;font:.7rem var(--mono);color:var(--accent);margin-left:1px}.sidenote{font:.875rem/1.45 var(--serif);color:var(--muted)}.sidenote::before{content:counter(sidenote)" ";font:.7rem var(--mono);color:var(--accent)}main.post{counter-reset:sidenote}@media(max-width:1099px){.toc{margin-bottom:var(--s5)}.sidenote{display:none;margin:var(--s2)0;padding-left:var(--s3);border-left:2px solid var(--rule)}.sn-check:checked+.sidenote{display:block}}@media(min-width:1100px){main.post{--side:min(12rem, calc((100vw - var(--measure) - 2 * var(--s5) - 2 * var(--s3)) / 2));max-width:none;display:grid;grid-template-columns:var(--side)var(--measure)var(--side);gap:var(--s5);justify-content:center}main.post .toc{grid-column:1;width:var(--side);position:sticky;top:var(--s4);align-self:start}main.post .prose{grid-column:2;min-width:0}.sidenote{float:right;clear:right;width:var(--side);margin-right:calc(-1 * var(--side) - var(--s5));margin-bottom:var(--s2)}}.post-foot{margin-top:var(--s6);padding-top:var(--s3);border-top:1px solid var(--rule)}.cite summary{cursor:pointer;color:var(--muted)}.cite pre{margin-top:var(--s2)}.pager{display:flex;justify-content:space-between;gap:var(--s3);margin-top:var(--s3)}.pager a{text-decoration:none;color:var(--muted)}@media(max-width:640px){.identity .side{float:none;margin:0 auto var(--s3)}.display{font-size:1.85rem}.cv li{grid-template-columns:1fr;gap:0}.news li,.rows li{grid-template-columns:1fr;gap:0}}.footnote-ref{font:.7rem var(--mono)}.footnote-ref::before{content:"["}.footnote-ref::after{content:"]"}.brand .logo{display:block;height:28px;width:auto}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .brand .logo{filter:invert(1)}}:root[data-theme=dark] .brand .logo{filter:invert(1)}.portrait{display:block;width:10rem;height:12.5rem;border-radius:8px;overflow:hidden;background:var(--surface)}.portrait img{display:block;width:100%;height:100%;object-fit:cover}.flags{margin:var(--s2)0 0;display:flex;justify-content:center;gap:.5rem}.flags img{width:20px;height:20px;border-radius:3px}.social{margin:var(--s2)0 0;display:flex;justify-content:center;gap:.85rem}.social a{opacity:.6}.social a:hover{opacity:1}.social img{width:22px;height:22px;display:block}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .social img{filter:invert(1)}}:root[data-theme=dark] .social img{filter:invert(1)}.cv{list-style:none;padding:0}.cv li{display:grid;grid-template-columns:9.5rem 1fr;gap:var(--s3);margin-bottom:var(--s3)}.cv strong{font-weight:600}.prose{counter-reset:eq}.katex-display{position:relative;counter-increment:eq}.katex-display .katex{font-size:1.1em}.katex-display::after{content:"(" counter(eq)")";position:absolute;right:.25rem;top:50%;transform:translateY(-50%);font:.75rem var(--mono);color:var(--muted);font-variant-numeric:tabular-nums}.btn{list-style:none;cursor:pointer;color:var(--muted);display:inline-block;border:1px solid var(--rule);border-radius:4px;padding:.15em .7em;margin-top:var(--s2);text-decoration:none}.btn::-webkit-details-marker{display:none}.btn:hover{border-color:var(--accent);color:var(--ink)}.more .more-close,.more[open] .more-open{display:none}.more[open] .more-close{display:inline}.more[open]{display:flex;flex-direction:column;align-items:flex-start}.more[open] summary{order:2}.more .news{margin:var(--s2)0 0;align-self:stretch}.muted{color:var(--muted)}h3.sub{font:500 .9375rem/1.3 var(--mono);color:var(--muted);margin:var(--s4)0 var(--s3)}.katex-display{padding:.6rem 2.5rem;margin:var(--s4)0}.katex-display>.katex{text-align:center}.prose table{display:block;overflow-x:auto}@media(max-width:640px){.katex-display{padding:0 2rem 0 0}.katex-display .katex{font-size:1em}.prose h2{font-size:1.3rem}.display{font-size:1.85rem}pre{font-size:.75rem}}.prose+section{margin-top:var(--s5)}@media(max-width:640px){.katex-display{padding:.6rem 0}.katex-display::after{position:static;transform:none;display:block;text-align:right;margin-top:var(--s1)}}.katex{line-height:1.2}.prose p{line-height:1.65}.toc{position:relative;padding-left:.75rem}.progress{position:absolute;left:0;top:0;bottom:0;width:2px;background:var(--rule);border-radius:1px}.progress i{display:block;width:100%;height:0;background:var(--accent);border-radius:1px;transition:height .1s linear}.plot-wrap{margin:var(--s4)0}.plot{width:100%}.plot-wrap figcaption{color:var(--muted);margin-top:var(--s2)}.highlight,.chroma{background:var(--surface)!important}.highlight pre{margin:0}.flag{display:inline-block;font-size:.65rem;letter-spacing:.08em;text-transform:uppercase;color:var(--accent);border:1px solid var(--accent);border-radius:3px;padding:0 .4em;margin-left:.35em;vertical-align:.15em}.gallery .pair{display:grid;grid-template-columns:1fr 1fr;gap:var(--s2)}.gallery img{width:100%;aspect-ratio:4/3;object-fit:cover;border-radius:8px;display:block}.gallery .caption{color:var(--muted);margin:var(--s2)0 0;font-size:.75rem;text-align:center}.theme{background:0 0;border:0;color:var(--muted);cursor:pointer;padding:0;margin-left:.25rem;display:inline-flex;align-items:center;line-height:1}.theme svg{display:block}.theme:hover{color:var(--ink)}.bg{color:#cdd6f4;background-color:#1e1e2e}.chroma{color:#cdd6f4;background-color:#1e1e2e;-webkit-text-size-adjust:none}.chroma .x{color:#cdd6f4}.chroma .err{color:#f38ba8}.chroma .cl{color:#cdd6f4}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#45475a}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f849c}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f849c}.chroma .line{display:flex}.chroma .k{color:#cba6f7}.chroma .kc{color:#fab387}.chroma .kd{color:#f38ba8}.chroma .kn{color:#94e2d5}.chroma .kp{color:#cba6f7}.chroma .kr{color:#cba6f7}.chroma .kt{color:#f38ba8}.chroma .na{color:#89b4fa}.chroma .nc{color:#f9e2af}.chroma .no{color:#f9e2af}.chroma .nd{color:#89b4fa;font-weight:700}.chroma .ni{color:#94e2d5}.chroma .ne{color:#fab387}.chroma .nl{color:#89dceb}.chroma .nn{color:#fab387}.chroma .nx{color:#cdd6f4}.chroma .py{color:#fab387}.chroma .nt{color:#cba6f7}.chroma .nb{color:#89dceb}.chroma .bp{color:#89dceb}.chroma .nv{color:#f5e0dc}.chroma .vc{color:#f5e0dc}.chroma .vg{color:#f5e0dc}.chroma .vi{color:#f5e0dc}.chroma .vm{color:#f5e0dc}.chroma .nf{color:#89b4fa}.chroma .fm{color:#89b4fa}.chroma .ld{color:#cdd6f4}.chroma .s{color:#a6e3a1}.chroma .sa{color:#f38ba8}.chroma .sb{color:#a6e3a1}.chroma .sc{color:#a6e3a1}.chroma .dl{color:#89b4fa}.chroma .sd{color:#6c7086}.chroma .s2{color:#a6e3a1}.chroma .se{color:#89b4fa}.chroma .sh{color:#6c7086}.chroma .si{color:#a6e3a1}.chroma .sx{color:#a6e3a1}.chroma .sr{color:#94e2d5}.chroma .s1{color:#a6e3a1}.chroma .ss{color:#a6e3a1}.chroma .m{color:#fab387}.chroma .mb{color:#fab387}.chroma .mf{color:#fab387}.chroma .mh{color:#fab387}.chroma .mi{color:#fab387}.chroma .il{color:#fab387}.chroma .mo{color:#fab387}.chroma .o{color:#89dceb;font-weight:700}.chroma .ow{color:#89dceb;font-weight:700}.chroma .or{color:#89dceb;font-weight:700}.chroma .c{color:#6c7086;font-style:italic}.chroma .ch{color:#585b70;font-style:italic}.chroma .cm{color:#6c7086;font-style:italic}.chroma .c1{color:#6c7086;font-style:italic}.chroma .cs{color:#6c7086;font-style:italic}.chroma .cp{color:#6c7086;font-style:italic}.chroma .cpf{color:#6c7086;font-weight:700;font-style:italic}.chroma .gd{color:#f38ba8;background-color:#313244}.chroma .ge{font-style:italic}.chroma .gr{color:#f38ba8}.chroma .gh{color:#fab387;font-weight:700}.chroma .gi{color:#a6e3a1;background-color:#313244}.chroma .go{color:#cdd6f4}.chroma .gp{color:#cdd6f4}.chroma .gs{font-weight:700}.chroma .gu{color:#fab387;font-weight:700}.chroma .gt{color:#f38ba8}.chroma .gl{text-decoration:underline}@media(prefers-color-scheme:light){:root:not([data-theme=dark]) .bg{color:#4c4f69;background-color:#eff1f5}:root:not([data-theme=dark]) .chroma{color:#4c4f69;background-color:#eff1f5;-webkit-text-size-adjust:none}:root:not([data-theme=dark]) .chroma .x{color:#4c4f69}:root:not([data-theme=dark]) .chroma .err{color:#d20f39}:root:not([data-theme=dark]) .chroma .cl{color:#4c4f69}:root:not([data-theme=dark]) .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}:root:not([data-theme=dark]) .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}:root:not([data-theme=dark]) .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}:root:not([data-theme=dark]) .chroma .hl{background-color:#bcc0cc}:root:not([data-theme=dark]) .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8c8fa1}:root:not([data-theme=dark]) .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8c8fa1}:root:not([data-theme=dark]) .chroma .line{display:flex}:root:not([data-theme=dark]) .chroma .k{color:#8839ef}:root:not([data-theme=dark]) .chroma .kc{color:#fe640b}:root:not([data-theme=dark]) .chroma .kd{color:#d20f39}:root:not([data-theme=dark]) .chroma .kn{color:#179299}:root:not([data-theme=dark]) .chroma .kp{color:#8839ef}:root:not([data-theme=dark]) .chroma .kr{color:#8839ef}:root:not([data-theme=dark]) .chroma .kt{color:#d20f39}:root:not([data-theme=dark]) .chroma .na{color:#1e66f5}:root:not([data-theme=dark]) .chroma .nc{color:#df8e1d}:root:not([data-theme=dark]) .chroma .no{color:#df8e1d}:root:not([data-theme=dark]) .chroma .nd{color:#1e66f5;font-weight:700}:root:not([data-theme=dark]) .chroma .ni{color:#179299}:root:not([data-theme=dark]) .chroma .ne{color:#fe640b}:root:not([data-theme=dark]) .chroma .nl{color:#04a5e5}:root:not([data-theme=dark]) .chroma .nn{color:#fe640b}:root:not([data-theme=dark]) .chroma .nx{color:#4c4f69}:root:not([data-theme=dark]) .chroma .py{color:#fe640b}:root:not([data-theme=dark]) .chroma .nt{color:#8839ef}:root:not([data-theme=dark]) .chroma .nb{color:#04a5e5}:root:not([data-theme=dark]) .chroma .bp{color:#04a5e5}:root:not([data-theme=dark]) .chroma .nv{color:#dc8a78}:root:not([data-theme=dark]) .chroma .vc{color:#dc8a78}:root:not([data-theme=dark]) .chroma .vg{color:#dc8a78}:root:not([data-theme=dark]) .chroma .vi{color:#dc8a78}:root:not([data-theme=dark]) .chroma .vm{color:#dc8a78}:root:not([data-theme=dark]) .chroma .nf{color:#1e66f5}:root:not([data-theme=dark]) .chroma .fm{color:#1e66f5}:root:not([data-theme=dark]) .chroma .ld{color:#4c4f69}:root:not([data-theme=dark]) .chroma .s{color:#40a02b}:root:not([data-theme=dark]) .chroma .sa{color:#d20f39}:root:not([data-theme=dark]) .chroma .sb{color:#40a02b}:root:not([data-theme=dark]) .chroma .sc{color:#40a02b}:root:not([data-theme=dark]) .chroma .dl{color:#1e66f5}:root:not([data-theme=dark]) .chroma .sd{color:#9ca0b0}:root:not([data-theme=dark]) .chroma .s2{color:#40a02b}:root:not([data-theme=dark]) .chroma .se{color:#1e66f5}:root:not([data-theme=dark]) .chroma .sh{color:#9ca0b0}:root:not([data-theme=dark]) .chroma .si{color:#40a02b}:root:not([data-theme=dark]) .chroma .sx{color:#40a02b}:root:not([data-theme=dark]) .chroma .sr{color:#179299}:root:not([data-theme=dark]) .chroma .s1{color:#40a02b}:root:not([data-theme=dark]) .chroma .ss{color:#40a02b}:root:not([data-theme=dark]) .chroma .m{color:#fe640b}:root:not([data-theme=dark]) .chroma .mb{color:#fe640b}:root:not([data-theme=dark]) .chroma .mf{color:#fe640b}:root:not([data-theme=dark]) .chroma .mh{color:#fe640b}:root:not([data-theme=dark]) .chroma .mi{color:#fe640b}:root:not([data-theme=dark]) .chroma .il{color:#fe640b}:root:not([data-theme=dark]) .chroma .mo{color:#fe640b}:root:not([data-theme=dark]) .chroma .o{color:#04a5e5;font-weight:700}:root:not([data-theme=dark]) .chroma .ow{color:#04a5e5;font-weight:700}:root:not([data-theme=dark]) .chroma .or{color:#04a5e5;font-weight:700}:root:not([data-theme=dark]) .chroma .c{color:#9ca0b0;font-style:italic}:root:not([data-theme=dark]) .chroma .ch{color:#acb0be;font-style:italic}:root:not([data-theme=dark]) .chroma .cm{color:#9ca0b0;font-style:italic}:root:not([data-theme=dark]) .chroma .c1{color:#9ca0b0;font-style:italic}:root:not([data-theme=dark]) .chroma .cs{color:#9ca0b0;font-style:italic}:root:not([data-theme=dark]) .chroma .cp{color:#9ca0b0;font-style:italic}:root:not([data-theme=dark]) .chroma .cpf{color:#9ca0b0;font-weight:700;font-style:italic}:root:not([data-theme=dark]) .chroma .gd{color:#d20f39;background-color:#ccd0da}:root:not([data-theme=dark]) .chroma .ge{font-style:italic}:root:not([data-theme=dark]) .chroma .gr{color:#d20f39}:root:not([data-theme=dark]) .chroma .gh{color:#fe640b;font-weight:700}:root:not([data-theme=dark]) .chroma .gi{color:#40a02b;background-color:#ccd0da}:root:not([data-theme=dark]) .chroma .go{color:#4c4f69}:root:not([data-theme=dark]) .chroma .gp{color:#4c4f69}:root:not([data-theme=dark]) .chroma .gs{font-weight:700}:root:not([data-theme=dark]) .chroma .gu{color:#fe640b;font-weight:700}:root:not([data-theme=dark]) .chroma .gt{color:#d20f39}:root:not([data-theme=dark]) .chroma .gl{text-decoration:underline}}:root[data-theme=light] .bg{color:#4c4f69;background-color:#eff1f5}:root[data-theme=light] .chroma{color:#4c4f69;background-color:#eff1f5;-webkit-text-size-adjust:none}:root[data-theme=light] .chroma .x{color:#4c4f69}:root[data-theme=light] .chroma .err{color:#d20f39}:root[data-theme=light] .chroma .cl{color:#4c4f69}:root[data-theme=light] .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}:root[data-theme=light] .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}:root[data-theme=light] .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}:root[data-theme=light] .chroma .hl{background-color:#bcc0cc}:root[data-theme=light] .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8c8fa1}:root[data-theme=light] .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#8c8fa1}:root[data-theme=light] .chroma .line{display:flex}:root[data-theme=light] .chroma .k{color:#8839ef}:root[data-theme=light] .chroma .kc{color:#fe640b}:root[data-theme=light] .chroma .kd{color:#d20f39}:root[data-theme=light] .chroma .kn{color:#179299}:root[data-theme=light] .chroma .kp{color:#8839ef}:root[data-theme=light] .chroma .kr{color:#8839ef}:root[data-theme=light] .chroma .kt{color:#d20f39}:root[data-theme=light] .chroma .na{color:#1e66f5}:root[data-theme=light] .chroma .nc{color:#df8e1d}:root[data-theme=light] .chroma .no{color:#df8e1d}:root[data-theme=light] .chroma .nd{color:#1e66f5;font-weight:700}:root[data-theme=light] .chroma .ni{color:#179299}:root[data-theme=light] .chroma .ne{color:#fe640b}:root[data-theme=light] .chroma .nl{color:#04a5e5}:root[data-theme=light] .chroma .nn{color:#fe640b}:root[data-theme=light] .chroma .nx{color:#4c4f69}:root[data-theme=light] .chroma .py{color:#fe640b}:root[data-theme=light] .chroma .nt{color:#8839ef}:root[data-theme=light] .chroma .nb{color:#04a5e5}:root[data-theme=light] .chroma .bp{color:#04a5e5}:root[data-theme=light] .chroma .nv{color:#dc8a78}:root[data-theme=light] .chroma .vc{color:#dc8a78}:root[data-theme=light] .chroma .vg{color:#dc8a78}:root[data-theme=light] .chroma .vi{color:#dc8a78}:root[data-theme=light] .chroma .vm{color:#dc8a78}:root[data-theme=light] .chroma .nf{color:#1e66f5}:root[data-theme=light] .chroma .fm{color:#1e66f5}:root[data-theme=light] .chroma .ld{color:#4c4f69}:root[data-theme=light] .chroma .s{color:#40a02b}:root[data-theme=light] .chroma .sa{color:#d20f39}:root[data-theme=light] .chroma .sb{color:#40a02b}:root[data-theme=light] .chroma .sc{color:#40a02b}:root[data-theme=light] .chroma .dl{color:#1e66f5}:root[data-theme=light] .chroma .sd{color:#9ca0b0}:root[data-theme=light] .chroma .s2{color:#40a02b}:root[data-theme=light] .chroma .se{color:#1e66f5}:root[data-theme=light] .chroma .sh{color:#9ca0b0}:root[data-theme=light] .chroma .si{color:#40a02b}:root[data-theme=light] .chroma .sx{color:#40a02b}:root[data-theme=light] .chroma .sr{color:#179299}:root[data-theme=light] .chroma .s1{color:#40a02b}:root[data-theme=light] .chroma .ss{color:#40a02b}:root[data-theme=light] .chroma .m{color:#fe640b}:root[data-theme=light] .chroma .mb{color:#fe640b}:root[data-theme=light] .chroma .mf{color:#fe640b}:root[data-theme=light] .chroma .mh{color:#fe640b}:root[data-theme=light] .chroma .mi{color:#fe640b}:root[data-theme=light] .chroma .il{color:#fe640b}:root[data-theme=light] .chroma .mo{color:#fe640b}:root[data-theme=light] .chroma .o{color:#04a5e5;font-weight:700}:root[data-theme=light] .chroma .ow{color:#04a5e5;font-weight:700}:root[data-theme=light] .chroma .or{color:#04a5e5;font-weight:700}:root[data-theme=light] .chroma .c{color:#9ca0b0;font-style:italic}:root[data-theme=light] .chroma .ch{color:#acb0be;font-style:italic}:root[data-theme=light] .chroma .cm{color:#9ca0b0;font-style:italic}:root[data-theme=light] .chroma .c1{color:#9ca0b0;font-style:italic}:root[data-theme=light] .chroma .cs{color:#9ca0b0;font-style:italic}:root[data-theme=light] .chroma .cp{color:#9ca0b0;font-style:italic}:root[data-theme=light] .chroma .cpf{color:#9ca0b0;font-weight:700;font-style:italic}:root[data-theme=light] .chroma .gd{color:#d20f39;background-color:#ccd0da}:root[data-theme=light] .chroma .ge{font-style:italic}:root[data-theme=light] .chroma .gr{color:#d20f39}:root[data-theme=light] .chroma .gh{color:#fe640b;font-weight:700}:root[data-theme=light] .chroma .gi{color:#40a02b;background-color:#ccd0da}:root[data-theme=light] .chroma .go{color:#4c4f69}:root[data-theme=light] .chroma .gp{color:#4c4f69}:root[data-theme=light] .chroma .gs{font-weight:700}:root[data-theme=light] .chroma .gu{color:#fe640b;font-weight:700}:root[data-theme=light] .chroma .gt{color:#d20f39}:root[data-theme=light] .chroma .gl{text-decoration:underline}