:root{--complimentary:#815205;--text:black;--code:black;--text-dim:#444;--link:#3366cc;--link-visited:#795cb2;--code-background:#f5f7fa;--code-border:#e2e7ef;--code-hl:#e6e6e6;--border-general:#cccfd4;--table-th:#e1e5ea;--table-tr:#edeff2;--toc-background:#f9f9f9;--toc-border:#aaa;--output-background:#d5dbe3;--output-foreground:#805105}@media(prefers-color-scheme:dark){:root{--complimentary:#815205;--text:#d8d8d8;--code:#cbcbcb;--text-dim:#a7a7a7;--link:#88a9e9;--link-visited:#a390ca;--code-background:#1e2430;--code-border:#2d3548;--code-hl:#5a5a5a;--border-general:#495057;--table-th:#414141;--table-tr:#343434;--toc-background:#343434;--toc-border:#495057;--output-background:#020202;--output-foreground:#815205}}#gitinfo-date{color:var(--text-dim);filter:opacity(40%);font-style:italic;font-size:.9em;white-space:nowrap}@media screen and (min-width:760px){#gitinfo-date{margin-left:30px}}html{color:var(--text);scroll-behavior:smooth}body{margin:auto;padding:0 1em 2em;font-family:inter,-apple-system,BlinkMacSystemFont,roboto,Helvetica,sans-serif;line-height:1.54;text-align:left}@media screen and (min-width:760px){body{margin:auto;max-width:68vw}}@media screen and (min-width:1150px){body{margin:auto;max-width:62vw}}main{hyphens:none}p{margin:.7em 0}h1{font-weight:400;margin-bottom:0;font-size:2em;margin-top:0}h2{border-bottom:1px solid;border-color:var(--text-dim);margin-bottom:.5em;margin-top:1.2em;font-weight:400;font-size:1.65em}h3{font-size:1.3em;font-weight:700;margin-bottom:.5em;margin-top:1.2em;padding-bottom:0}h4{font-size:1.1em;margin-bottom:0;padding-bottom:0;font-style:oblique;font-weight:400}a{text-decoration:none;color:var(--link)}a:hover{text-decoration:underline}a:visited{color:var(--link-visited)}hr{border-style:dashed;color:var(--text-dim)}blockquote{border-left:.3rem solid var(--complimentary);font-style:oblique;margin:1.6rem 0;padding:0 1.4rem 0 1rem;line-height:1.6}blockquote p{margin:0}details{padding:0 0 0 14px;border-left:2px dashed var(--border-general)}mark{padding:0 2px}ul{padding-left:2rem}strong{font-weight:600}th{font-weight:500}.section-title{border:0}.post-list{color:var(--complimentary);padding-left:1em}@media screen and (min-width:760px){.post-list{max-width:60vw}}.bold-post-in-list{font-weight:600}@media screen and (max-width:760px){.katex{font-size:1.05em!important}}.footnotes{margin-top:60px}.terms{padding-left:16px}.menu{padding:0 4px 0 0;z-index:9999;text-align:left;margin-bottom:10px}.menu li{display:inline-block}.menu a{margin-right:1.1em;text-decoration:none;border-radius:5px}.menu a:visited{color:var(--link)}.menu a:hover{text-decoration:underline}.toc a{color:var(--text-dim)}.toc a:visited{color:var(--text-dim)}@media screen and (min-width:1150px){#tableOfContentContainer{position:fixed;left:20px;top:46px;max-width:15vw;width:15vw}#TableOfContents{opacity:.6;transition-duration:1s}#TableOfContents:hover{opacity:1}}.toc{animation-duration:1s;background:var(--toc-background)repeat;border:1px solid var(--toc-border);display:table;font-size:95%;margin-bottom:1em;padding:.4em 1.5em .4em .2em;width:auto;margin-top:auto}@media screen and (min-width:1150px){.toc{padding:0;background-color:initial;font-size:80%;line-height:1.3;border-right:0;border-top:0;border-bottom:0;border-left:0}#TableOfContents{max-height:85vh;overflow-y:auto}#TableOfContents li{max-width:13vw;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}}.toc li,.toc ul,.toc ul li{list-style:outside none none}.toc ul li a{transition-duration:50ms}.active-toc{font-weight:700;transition-duration:50ms}@media screen and (min-width:1150px){#TableOfContents{margin-left:-32px}}#TableOfContents ul{padding-left:20px}.toc h3{margin-left:20px;margin-top:.5em;margin-bottom:.5em;font-weight:400}@keyframes images{from{opacity:0}to{opacity:1}}img{max-height:70vh;margin:.8em 0;animation-duration:1s;animation-name:images}.imgp{margin:auto;text-align:center}figure{margin:auto;text-align:center}.imgp img,figure img{border-radius:4px}figcaption{color:var(--text-dim);font-size:.96rem;text-align:center}figcaption h4{margin-top:0;font-weight:400}img,iframe,video{max-width:100%}.image-gallery,.image-gallery-img{list-style-type:none;display:flex;flex-wrap:wrap;justify-content:center;gap:10px;padding-left:0}.image-gallery{margin:0 0 1.2rem}.image-gallery-img{margin:0 0 2.6rem}.image-gallery>li,.image-gallery-img>li{flex-basis:440px}.image-gallery li img,.image-gallery-img li img{object-fit:cover;width:100%;height:100%;border-radius:4px;vertical-align:middle}.three-image-gallery>li{flex-basis:290px}#single-header{padding:0 8px 4px 0;margin-bottom:20px;margin-top:10px}.date{color:var(--text-dim);padding-top:.1em;font-size:90%}#single-meta{margin-top:0;margin-bottom:0;padding-top:0;font-size:.9em}#single-meta a:visited{color:var(--link)}#subtitle{font-family:linux libertine,georgia,times,serif;margin-top:-8px;margin-bottom:.3em;font-size:1.4em;color:var(--text-dim)}.datesub{font-weight:400;color:var(--text-dim)}#tags{font-weight:400;color:var(--text-dim)}#tags a{filter:brightness(80%)}#tags a:visited{filter:brightness(80%)}#search-input{padding:6px;width:72%}@media screen and (min-width:900px){#search-input{width:42%}}@media screen and (min-width:1150px){#search-input{width:33%}}input{background-color:var(--background);color:var(--text);border-color:var(--border-general);border-radius:4px}#results{padding-left:16px}@keyframes code-fade-in{from{opacity:0}to{opacity:1}}.highlight div,pre{background-color:var(--code-background);padding:.7em;overflow-x:auto;margin:0;border:1px solid var(--code-border);border-radius:6px;line-height:1.3}.highlight{margin:.8em 0;position:relative}.highlight div pre{border:0;padding:0 5px;margin:0;box-shadow:0 0}code{font-family:source code pro,monospace;color:var(--code);font-stretch:normal;background:var(--code-background);border-radius:4px;padding:2px 6px;border:1px solid var(--code-border);font-size:.9em}pre code{font-size:.9em;font-stretch:normal;border:none;background:0 0;padding:0;margin:0;tab-size:4}@media screen and (max-width:760px){pre code{font-size:80%}}.fs95{font-size:90%}.fs90{font-size:90%}.fs85{font-size:85%}.fs80{font-size:80%}.fs75{font-size:75%}.fs70{font-size:75%}.fs50{font-size:50%}.output{margin-top:-.8em}.output pre{border-radius:0;background-color:var(--output-background)}.output code{color:var(--output-foreground);line-height:1}.ln{user-select:none;margin-right:14px;color:#969696}.hl{background-color:var(--code-hl);outline-style:solid;outline-color:var(--code-hl);outline-width:.5px}.copy-code-button{display:none}@media screen and (min-width:760px){.copy-code-button{animation-duration:1s;animation-name:code-fade-in;display:block;position:absolute;top:6px;right:6px;background-color:initial;border:none;border-radius:4px;color:var(--text-dim);font-size:.75em;padding:2px 8px;cursor:pointer;opacity:.5;z-index:1}.copy-code-button:hover{opacity:1;color:var(--text)}}html[data-theme=light] .bg{background-color:var(--code-background)}html[data-theme=light] .chroma{background-color:var(--code-background);-webkit-text-size-adjust:none}html[data-theme=light] .chroma .err{color:#f6f8fa;background-color:#82071e}html[data-theme=light] .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}html[data-theme=light] .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}html[data-theme=light] .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}html[data-theme=light] .chroma .hl{background-color:#dedede}html[data-theme=light] .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html[data-theme=light] .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html[data-theme=light] .chroma .line{display:flex}html[data-theme=light] .chroma .k{color:#cf222e}html[data-theme=light] .chroma .kc{color:#cf222e}html[data-theme=light] .chroma .kd{color:#cf222e}html[data-theme=light] .chroma .kn{color:#cf222e}html[data-theme=light] .chroma .kp{color:#cf222e}html[data-theme=light] .chroma .kr{color:#cf222e}html[data-theme=light] .chroma .kt{color:#cf222e}html[data-theme=light] .chroma .na{color:#1f2328}html[data-theme=light] .chroma .nc{color:#1f2328}html[data-theme=light] .chroma .no{color:#0550ae}html[data-theme=light] .chroma .nd{color:#0550ae}html[data-theme=light] .chroma .ni{color:#6639ba}html[data-theme=light] .chroma .nl{color:#900;font-weight:700}html[data-theme=light] .chroma .nn{color:#24292e}html[data-theme=light] .chroma .nx{color:#1f2328}html[data-theme=light] .chroma .nt{color:#0550ae}html[data-theme=light] .chroma .nb{color:#6639ba}html[data-theme=light] .chroma .bp{color:#6a737d}html[data-theme=light] .chroma .nv{color:#953800}html[data-theme=light] .chroma .vc{color:#953800}html[data-theme=light] .chroma .vg{color:#953800}html[data-theme=light] .chroma .vi{color:#953800}html[data-theme=light] .chroma .vm{color:#953800}html[data-theme=light] .chroma .nf{color:#6639ba}html[data-theme=light] .chroma .fm{color:#6639ba}html[data-theme=light] .chroma .s{color:#0a3069}html[data-theme=light] .chroma .sa{color:#0a3069}html[data-theme=light] .chroma .sb{color:#0a3069}html[data-theme=light] .chroma .sc{color:#0a3069}html[data-theme=light] .chroma .dl{color:#0a3069}html[data-theme=light] .chroma .sd{color:#0a3069}html[data-theme=light] .chroma .s2{color:#0a3069}html[data-theme=light] .chroma .se{color:#0a3069}html[data-theme=light] .chroma .sh{color:#0a3069}html[data-theme=light] .chroma .si{color:#0a3069}html[data-theme=light] .chroma .sx{color:#0a3069}html[data-theme=light] .chroma .sr{color:#0a3069}html[data-theme=light] .chroma .s1{color:#0a3069}html[data-theme=light] .chroma .ss{color:#032f62}html[data-theme=light] .chroma .m{color:#0550ae}html[data-theme=light] .chroma .mb{color:#0550ae}html[data-theme=light] .chroma .mf{color:#0550ae}html[data-theme=light] .chroma .mh{color:#0550ae}html[data-theme=light] .chroma .mi{color:#0550ae}html[data-theme=light] .chroma .il{color:#0550ae}html[data-theme=light] .chroma .mo{color:#0550ae}html[data-theme=light] .chroma .o{color:#0550ae}html[data-theme=light] .chroma .ow{color:#0550ae}html[data-theme=light] .chroma .p{color:#1f2328}html[data-theme=light] .chroma .c{color:#57606a}html[data-theme=light] .chroma .ch{color:#57606a}html[data-theme=light] .chroma .cm{color:#57606a}html[data-theme=light] .chroma .c1{color:#57606a}html[data-theme=light] .chroma .cs{color:#57606a}html[data-theme=light] .chroma .cp{color:#57606a}html[data-theme=light] .chroma .cpf{color:#57606a}html[data-theme=light] .chroma .gd{color:#82071e;background-color:#ffebe9}html[data-theme=light] .chroma .ge{color:#1f2328}html[data-theme=light] .chroma .gi{color:#116329;background-color:#dafbe1}html[data-theme=light] .chroma .go{color:#1f2328}html[data-theme=light] .chroma .gl{text-decoration:underline}html[data-theme=light] .chroma .w{color:#fff}html[data-theme=dark] .bg{color:#f8f8f2;background-color:var(--code-background)}html[data-theme=dark] .chroma{color:#f8f8f2;background-color:var(--code-background);-webkit-text-size-adjust:none}html[data-theme=dark] .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}html[data-theme=dark] .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}html[data-theme=dark] .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}html[data-theme=dark] .chroma .hl{background-color:#3d3f4a}html[data-theme=dark] .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html[data-theme=dark] .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}html[data-theme=dark] .chroma .line{display:flex}html[data-theme=dark] .chroma .k{color:#ff79c6}html[data-theme=dark] .chroma .kc{color:#ff79c6}html[data-theme=dark] .chroma .kd{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .kn{color:#ff79c6}html[data-theme=dark] .chroma .kp{color:#ff79c6}html[data-theme=dark] .chroma .kr{color:#ff79c6}html[data-theme=dark] .chroma .kt{color:#8be9fd}html[data-theme=dark] .chroma .na{color:#50fa7b}html[data-theme=dark] .chroma .nc{color:#50fa7b}html[data-theme=dark] .chroma .nl{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .nt{color:#ff79c6}html[data-theme=dark] .chroma .nb{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .bp{font-style:italic}html[data-theme=dark] .chroma .nv{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .vc{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .vg{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .vi{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .vm{color:#8be9fd;font-style:italic}html[data-theme=dark] .chroma .nf{color:#50fa7b}html[data-theme=dark] .chroma .fm{color:#50fa7b}html[data-theme=dark] .chroma .s{color:#f1fa8c}html[data-theme=dark] .chroma .sa{color:#f1fa8c}html[data-theme=dark] .chroma .sb{color:#f1fa8c}html[data-theme=dark] .chroma .sc{color:#f1fa8c}html[data-theme=dark] .chroma .dl{color:#f1fa8c}html[data-theme=dark] .chroma .sd{color:#f1fa8c}html[data-theme=dark] .chroma .s2{color:#f1fa8c}html[data-theme=dark] .chroma .se{color:#f1fa8c}html[data-theme=dark] .chroma .sh{color:#f1fa8c}html[data-theme=dark] .chroma .si{color:#f1fa8c}html[data-theme=dark] .chroma .sx{color:#f1fa8c}html[data-theme=dark] .chroma .sr{color:#f1fa8c}html[data-theme=dark] .chroma .s1{color:#f1fa8c}html[data-theme=dark] .chroma .ss{color:#f1fa8c}html[data-theme=dark] .chroma .m{color:#bd93f9}html[data-theme=dark] .chroma .mb{color:#bd93f9}html[data-theme=dark] .chroma .mf{color:#bd93f9}html[data-theme=dark] .chroma .mh{color:#bd93f9}html[data-theme=dark] .chroma .mi{color:#bd93f9}html[data-theme=dark] .chroma .il{color:#bd93f9}html[data-theme=dark] .chroma .mo{color:#bd93f9}html[data-theme=dark] .chroma .o{color:#ff79c6}html[data-theme=dark] .chroma .ow{color:#ff79c6}html[data-theme=dark] .chroma .c{color:#6272a4}html[data-theme=dark] .chroma .ch{color:#6272a4}html[data-theme=dark] .chroma .cm{color:#6272a4}html[data-theme=dark] .chroma .c1{color:#6272a4}html[data-theme=dark] .chroma .cs{color:#6272a4}html[data-theme=dark] .chroma .cp{color:#ff79c6}html[data-theme=dark] .chroma .cpf{color:#ff79c6}html[data-theme=dark] .chroma .gd{color:#f55}html[data-theme=dark] .chroma .ge{text-decoration:underline}html[data-theme=dark] .chroma .gh{font-weight:700}html[data-theme=dark] .chroma .gi{color:#50fa7b;font-weight:700}html[data-theme=dark] .chroma .go{color:#44475a}html[data-theme=dark] .chroma .gu{font-weight:700}html[data-theme=dark] .chroma .gl{text-decoration:underline}table{border-collapse:collapse;display:block;overflow:auto}@media screen and (min-width:760px){table{display:table!important}}table thead th{border:1px solid var(--border-general)}th,td{padding:4px 8px;border:1px solid #c8c8c8;border:1px solid var(--border-general)}th{background-color:var(--table-th)}tr{background-color:var(--table-tr)}.attachments-files{display:block;font-size:1rem;margin:0}.attachment-size{display:inline-block;color:var(--text-dim)}.attachments ul{margin-top:4px}.attachments label{font-weight:300;margin:0}.md-columns{display:flex;flex-wrap:wrap;margin-left:-1rem;margin-right:-1rem}.md-columns>div{flex:1 1;margin:1rem 0;min-width:100px;max-width:100%;padding:0 1rem}.md-columns .markdown-inner{margin-top:0;margin-bottom:0}.md-tabs{margin-top:1rem;margin-bottom:1rem;border:1px solid var(--border-general);border-radius:3px;overflow:hidden;display:flex;flex-wrap:wrap}.md-tabs label{display:inline-block;padding:.6rem .2rem .3rem;border-bottom:1px transparent;cursor:pointer}.md-tabs .md-tabs-content{order:999;width:100%;border-top:1px solid var(--border-general);padding:.5rem 1rem 1rem;display:none}.md-tabs input[type=radio]{margin-left:1.1rem}.md-tabs input[type=radio]:checked+label+.md-tabs-content{display:block}