:root{--code-block-font-size:0.78em;--code-padding:1rem 1.25rem}pre code{font-size:var(--code-block-font-size)}pre{line-height:1.45;tab-size:4;-moz-tab-size:4}.chroma span{font-weight:inherit!important;font-style:inherit!important;text-decoration:none!important}.chroma .hl{background-color:#dedede}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .or{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .w{color:#fff}.dark .chroma .hl{background-color:#6e7681}.dark .chroma .k{color:#ff7b72}.dark .chroma .kc{color:#79c0ff}.dark .chroma .kd{color:#ff7b72}.dark .chroma .kn{color:#ff7b72}.dark .chroma .kp{color:#79c0ff}.dark .chroma .kr{color:#ff7b72}.dark .chroma .kt{color:#ff7b72}.dark .chroma .nc{color:#f0883e}.dark .chroma .no{color:#79c0ff}.dark .chroma .nd{color:#d2a8ff}.dark .chroma .ni{color:#ffa657}.dark .chroma .ne{color:#f0883e}.dark .chroma .nl{color:#79c0ff}.dark .chroma .nn{color:#ff7b72}.dark .chroma .nx{color:#e6edf3}.dark .chroma .py{color:#79c0ff}.dark .chroma .nt{color:#7ee787}.dark .chroma .nv{color:#79c0ff}.dark .chroma .vc{color:#79c0ff}.dark .chroma .vg{color:#79c0ff}.dark .chroma .vi{color:#79c0ff}.dark .chroma .vm{color:#79c0ff}.dark .chroma .nf{color:#d2a8ff}.dark .chroma .fm{color:#d2a8ff}.dark .chroma .l{color:#a5d6ff}.dark .chroma .ld{color:#79c0ff}.dark .chroma .s{color:#a5d6ff}.dark .chroma .sa{color:#79c0ff}.dark .chroma .sb{color:#a5d6ff}.dark .chroma .sc{color:#a5d6ff}.dark .chroma .dl{color:#79c0ff}.dark .chroma .sd{color:#a5d6ff}.dark .chroma .s2{color:#a5d6ff}.dark .chroma .se{color:#79c0ff}.dark .chroma .sh{color:#79c0ff}.dark .chroma .si{color:#a5d6ff}.dark .chroma .sx{color:#a5d6ff}.dark .chroma .sr{color:#79c0ff}.dark .chroma .s1{color:#a5d6ff}.dark .chroma .ss{color:#a5d6ff}.dark .chroma .m{color:#a5d6ff}.dark .chroma .mb{color:#a5d6ff}.dark .chroma .mf{color:#a5d6ff}.dark .chroma .mh{color:#a5d6ff}.dark .chroma .mi{color:#a5d6ff}.dark .chroma .il{color:#a5d6ff}.dark .chroma .mo{color:#a5d6ff}.dark .chroma .o{color:#ff7b72}.dark .chroma .ow{color:#ff7b72}.dark .chroma .or{color:#ff7b72}.dark .chroma .c{color:#8b949e}.dark .chroma .ch{color:#8b949e}.dark .chroma .cm{color:#8b949e}.dark .chroma .c1{color:#8b949e}.dark .chroma .cs{color:#8b949e}.dark .chroma .cp{color:#8b949e}.dark .chroma .cpf{color:#8b949e}.dark .chroma .gd{color:#ffa198;background-color:#490202}.dark .chroma .gr{color:#ffa198}.dark .chroma .gh{color:#79c0ff}.dark .chroma .gi{color:#56d364;background-color:#0f5323}.dark .chroma .go{color:#8b949e}.dark .chroma .gp{color:#8b949e}.dark .chroma .gu{color:#79c0ff}.dark .chroma .gt{color:#ff7b72}.dark .chroma .w{color:#6e7681}@media(prefers-color-scheme:dark){body:not(.light) .chroma .hl{background-color:#6e7681}body:not(.light) .chroma .k{color:#ff7b72}body:not(.light) .chroma .kc{color:#79c0ff}body:not(.light) .chroma .kd{color:#ff7b72}body:not(.light) .chroma .kn{color:#ff7b72}body:not(.light) .chroma .kp{color:#79c0ff}body:not(.light) .chroma .kr{color:#ff7b72}body:not(.light) .chroma .kt{color:#ff7b72}body:not(.light) .chroma .nc{color:#f0883e}body:not(.light) .chroma .no{color:#79c0ff}body:not(.light) .chroma .nd{color:#d2a8ff}body:not(.light) .chroma .ni{color:#ffa657}body:not(.light) .chroma .ne{color:#f0883e}body:not(.light) .chroma .nl{color:#79c0ff}body:not(.light) .chroma .nn{color:#ff7b72}body:not(.light) .chroma .nx{color:#e6edf3}body:not(.light) .chroma .py{color:#79c0ff}body:not(.light) .chroma .nt{color:#7ee787}body:not(.light) .chroma .nv{color:#79c0ff}body:not(.light) .chroma .vc{color:#79c0ff}body:not(.light) .chroma .vg{color:#79c0ff}body:not(.light) .chroma .vi{color:#79c0ff}body:not(.light) .chroma .vm{color:#79c0ff}body:not(.light) .chroma .nf{color:#d2a8ff}body:not(.light) .chroma .fm{color:#d2a8ff}body:not(.light) .chroma .l{color:#a5d6ff}body:not(.light) .chroma .ld{color:#79c0ff}body:not(.light) .chroma .s{color:#a5d6ff}body:not(.light) .chroma .sa{color:#79c0ff}body:not(.light) .chroma .sb{color:#a5d6ff}body:not(.light) .chroma .sc{color:#a5d6ff}body:not(.light) .chroma .dl{color:#79c0ff}body:not(.light) .chroma .sd{color:#a5d6ff}body:not(.light) .chroma .s2{color:#a5d6ff}body:not(.light) .chroma .se{color:#79c0ff}body:not(.light) .chroma .sh{color:#79c0ff}body:not(.light) .chroma .si{color:#a5d6ff}body:not(.light) .chroma .sx{color:#a5d6ff}body:not(.light) .chroma .sr{color:#79c0ff}body:not(.light) .chroma .s1{color:#a5d6ff}body:not(.light) .chroma .ss{color:#a5d6ff}body:not(.light) .chroma .m{color:#a5d6ff}body:not(.light) .chroma .mb{color:#a5d6ff}body:not(.light) .chroma .mf{color:#a5d6ff}body:not(.light) .chroma .mh{color:#a5d6ff}body:not(.light) .chroma .mi{color:#a5d6ff}body:not(.light) .chroma .il{color:#a5d6ff}body:not(.light) .chroma .mo{color:#a5d6ff}body:not(.light) .chroma .o{color:#ff7b72}body:not(.light) .chroma .ow{color:#ff7b72}body:not(.light) .chroma .or{color:#ff7b72}body:not(.light) .chroma .c{color:#8b949e}body:not(.light) .chroma .ch{color:#8b949e}body:not(.light) .chroma .cm{color:#8b949e}body:not(.light) .chroma .c1{color:#8b949e}body:not(.light) .chroma .cs{color:#8b949e}body:not(.light) .chroma .cp{color:#8b949e}body:not(.light) .chroma .cpf{color:#8b949e}body:not(.light) .chroma .gd{color:#ffa198;background-color:#490202}body:not(.light) .chroma .gr{color:#ffa198}body:not(.light) .chroma .gh{color:#79c0ff}body:not(.light) .chroma .gi{color:#56d364;background-color:#0f5323}body:not(.light) .chroma .go{color:#8b949e}body:not(.light) .chroma .gp{color:#8b949e}body:not(.light) .chroma .gu{color:#79c0ff}body:not(.light) .chroma .gt{color:#ff7b72}body:not(.light) .chroma .w{color:#6e7681}}.sidetoc{position:fixed;top:5rem;right:1.25rem;z-index:10;max-width:16rem;font-size:.85em;text-align:left}.sidetoc>summary{list-style:none;cursor:pointer;user-select:none;text-align:right;color:var(--content-secondary)}.sidetoc>summary::-webkit-details-marker{display:none}.sidetoc>summary::before{content:"☰ "}.sidetoc>summary:hover,.sidetoc[open]>summary{color:var(--content-primary)}.sidetoc-panel{margin-top:.5rem;max-height:calc(100vh - 9rem);overflow-y:auto;padding:.75rem 1rem;background:var(--background);border:1px solid var(--code-border);border-radius:8px}.sidetoc-panel ul{list-style:none;margin:0;padding-left:0}.sidetoc-panel ul ul{padding-left:.9rem}.sidetoc-panel li{margin:.25rem 0;line-height:1.3}.sidetoc-panel a{color:var(--content-secondary);text-decoration:none}.sidetoc-panel a:hover{color:var(--content-primary)}@media(max-width:600px){.sidetoc{top:auto;bottom:1rem;right:1rem;max-width:calc(100vw - 2rem)}.sidetoc-panel{max-height:60vh}}@media print{.sidetoc{display:none}}.theme-switch-item{margin-left:1rem}.theme-switch{font:inherit;color:inherit;background:0 0;border:none;padding:0;cursor:pointer;display:inline-flex;align-items:center;gap:.35em}.theme-switch[hidden]{display:none}.theme-icon{width:1.1em;height:1.1em;display:none}.theme-switch[data-mode=auto] .theme-icon-auto,.theme-switch[data-mode=light] .theme-icon-light,.theme-switch[data-mode=dark] .theme-icon-dark{display:inline-block}.section-label{margin-left:.5em;padding:0 .4em;font-family:var(--font-mono);font-size:.75em;vertical-align:.1em;color:var(--content-secondary);border:1px solid var(--code-border);border-radius:4px;text-decoration:none;white-space:nowrap}.section-label:hover{color:var(--accent);border-color:var(--accent)}.publications .pub-year{margin-top:2.5rem}.publications .pub-title{font-size:var(--p-font-size);margin-bottom:.25rem}.publications .pub p{margin-top:.25rem}.search-item{margin-left:auto;align-self:center}.site-search{position:relative;margin:0}.site-search input[type=search]{font:inherit;color:inherit;width:11em;padding:.15em .5em;background:var(--background);border:1px solid var(--code-border);border-radius:6px}.site-search input[type=search]:focus{outline:none;border-color:var(--accent)}.search-results{position:absolute;right:0;top:calc(100% + .4rem);z-index:20;width:min(30rem,90vw);max-height:70vh;overflow-y:auto;margin:0;padding:.3rem;list-style:none;background:var(--background);border:1px solid var(--code-border);border-radius:8px;box-shadow:0 6px 24px rgb(0 0 0/.15)}.search-results li{margin:0}.search-results a{display:block;padding:.4rem .6rem;border-radius:6px;color:inherit;text-decoration:none}.search-results a.selected,.search-results a:hover{background:var(--code-background)}.search-results a:hover .search-title,.search-results a.selected .search-title{color:var(--accent)}.search-title{font-weight:700}.search-snippet{display:block;margin-top:.15rem;font-size:.9em;color:var(--content-secondary)}.search-empty{padding:.4rem .6rem;color:var(--content-secondary)}@media(max-width:600px){.search-item{margin-left:0;flex-basis:100%;order:99}.site-search input[type=search]{width:100%;box-sizing:border-box}.search-results{left:0;width:auto}}:root{--accent-light:#c2410c;--accent-dark:#ff922b;--accent:light-dark(var(--accent-light), var(--accent-dark))}a{text-decoration-color:var(--accent);text-decoration-thickness:.1em;text-underline-offset:.2em}a:hover,.theme-switch:hover,.sidetoc>summary:hover,.sidetoc-panel a:hover{color:var(--accent)}