*,*::before,*::after{box-sizing:border-box}html{background-color:#fbfbfb;color:#303030;font-family:"Alegreya",serif;font-size:1rem}@media screen and (min-width: 800px){html{font-size:1.125rem}}body{line-height:1.6;min-height:100vh}html,body{margin:0}h1,p,figure,pre,blockquote,aside{margin:0 0 1rem}hr{display:block;width:100%;height:0;margin:2rem 0;border:0;border-top:1px solid #686868}figcaption{padding:0 .5rem .5rem;font-size:.8125rem;text-align:right}figcaption .original::before{content:' ';display:block}img{max-width:100%}.dark-mode blockquote{border-left:5px solid #353535;color:#a38c31}blockquote{padding:1rem;border-left:5px solid #e5e5e5;color:#686868;font-style:italic}blockquote p{margin:0}blockquote cite{display:block;margin:1rem 0 0;font-size:.875rem;text-align:right}a{border-bottom:1px solid currentColor;color:currentColor;text-decoration:none}a:hover{border-bottom-color:currentColor;color:#686868}ol,ul{margin:0 0 1rem 1.25rem;list-style-position:outside}@media screen and (max-width: 800px){ol,ul{padding:0}}ol ol,ol ul,ul ol,ul ul{margin-bottom:0}.footnotes>:is(ol, ul){padding:0}li{margin:0}li:not(last-of-type){margin-bottom:.4rem}abbr{border-bottom:1px dashed currentColor;text-decoration:none;cursor:help}pre{padding:0.5rem;white-space:pre-wrap}article,section{display:block;margin-bottom:1rem}h1{font-size:2rem}h2,h3,h4,h5,h6{margin:0 0 .5rem}h2{font-size:1.875rem}h3{font-size:1.75rem}h4{font-size:1.5rem}h5{font-size:1.25rem}h6{font-size:1rem}code{font-family:'Source Code Pro'}.container{width:100%;max-width:38rem;margin:0 auto;padding:.5rem}@media screen and (min-width: 800px){.container{padding:1rem 0}}.site-header{margin-bottom:3rem}.site-header h1{margin-bottom:.5rem}.site-footer{margin:3rem 0 0;font-size:.8125rem}.site-footer [itemprop="sameAs"]+[itemprop="sameAs"]{margin-left:.4rem}@media screen and (min-width: 800px){.site-footer{margin-bottom:.5rem}}.posts ol{margin-left:0;list-style:none}.posts li{margin-bottom:.5rem}@media screen and (min-width: 800px){.posts li{display:flex;flex-direction:row}}.posts time{display:block}@media screen and (min-width: 800px){.posts time{flex:0 0 5rem}}.posts time+a{margin-left:1rem}@media screen and (min-width: 800px){.posts time+a{margin-left:2rem}}.chroma .x{color:#000000}.chroma .err{color:#a40000}.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:#ffffcc}.chroma .lnt{white-space:pre;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#7f7f7f}.chroma .ln{white-space:pre;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#672394;font-weight:bold}.chroma .kc{color:#672394;font-weight:bold}.chroma .kd{color:#672394;font-weight:bold}.chroma .kn{color:#672394;font-weight:bold}.chroma .kp{color:#672394;font-weight:bold}.chroma .kr{color:#672394;font-weight:bold}.chroma .kt{color:#672394;font-weight:bold}.chroma .n{color:#000000}.chroma .na{color:#c4a000}.chroma .nb{color:#204a87}.chroma .bp{color:#3465a4}.chroma .nc{color:#b10023}.chroma .no{color:#000000}.chroma .nd{color:#5c35cc;font-weight:bold}.chroma .ni{color:#ce5c00}.chroma .ne{color:#cc0000;font-weight:bold}.chroma .nf{color:#000000}.chroma .fm{color:#000000}.chroma .nl{color:#f57900}.chroma .nn{color:#000000}.chroma .nx{color:#000000}.chroma .py{color:#000000}.chroma .nt{color:#204a87;font-weight:bold}.chroma .nv{color:#000000}.chroma .vc{color:#000000}.chroma .vg{color:#000000}.chroma .vi{color:#000000}.chroma .vm{color:#000000}.chroma .l{color:#000000}.chroma .ld{color:#000000}.chroma .s{color:#386112}.chroma .sa{color:#386112}.chroma .sb{color:#386112}.chroma .sc{color:#386112}.chroma .dl{color:#386112}.chroma .sd{color:#8f5902;font-style:italic}.chroma .s2{color:#386112}.chroma .se{color:#386112}.chroma .sh{color:#386112}.chroma .si{color:#386112}.chroma .sx{color:#386112}.chroma .sr{color:#386112}.chroma .s1{color:#386112}.chroma .ss{color:#386112}.chroma .m{color:#0000cf;font-weight:bold}.chroma .mb{color:#0000cf;font-weight:bold}.chroma .mf{color:#0000cf;font-weight:bold}.chroma .mh{color:#0000cf;font-weight:bold}.chroma .mi{color:#0000cf;font-weight:bold}.chroma .il{color:#0000cf;font-weight:bold}.chroma .mo{color:#0000cf;font-weight:bold}.chroma .o{color:#2796c9;font-weight:bold}.chroma .ow{color:#204a87;font-weight:bold}.chroma .p{color:#000000;font-weight:bold}.chroma .c{color:#8f5902;font-style:italic}.chroma .ch{color:#8f5902;font-style:italic}.chroma .cm{color:#8f5902;font-style:italic}.chroma .c1{color:#8f5902;font-style:italic}.chroma .cs{color:#8f5902;font-style:italic}.chroma .cp{color:#8f5902;font-style:italic}.chroma .cpf{color:#8f5902;font-style:italic}.chroma .g{color:#000000}.chroma .gd{color:#a40000}.chroma .ge{color:#000000;font-style:italic}.chroma .gr{color:#ef2929}.chroma .gh{color:#000080;font-weight:bold}.chroma .gi{color:#00a000}.chroma .go{color:#000000;font-style:italic}.chroma .gp{color:#8f5902}.chroma .gs{color:#000000;font-weight:bold}.chroma .gu{color:#800080;font-weight:bold}.chroma .gt{color:#a40000;font-weight:bold}.chroma .gl{color:#000000;text-decoration:underline}.chroma .w{color:#f8f8f8;text-decoration:underline}.dark-mode .chroma .x{color:#a89042}.dark-mode .chroma .err{color:#a40000}.dark-mode .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.dark-mode .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.dark-mode .chroma .hl{background-color:#ffffcc}.dark-mode .chroma .lnt{white-space:pre;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#7f7f7f}.dark-mode .chroma .ln{white-space:pre;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#7f7f7f}.dark-mode .chroma .line{display:flex}.dark-mode .chroma .k{color:#a763d4;font-weight:bold}.dark-mode .chroma .kc{color:#a763d4;font-weight:bold}.dark-mode .chroma .kd{color:#a763d4;font-weight:bold}.dark-mode .chroma .kn{color:#a763d4;font-weight:bold}.dark-mode .chroma .kp{color:#a763d4;font-weight:bold}.dark-mode .chroma .kr{color:#a763d4;font-weight:bold}.dark-mode .chroma .kt{color:#a763d4;font-weight:bold}.dark-mode .chroma .n{color:#a89042}.dark-mode .chroma .na{color:#c4a000}.dark-mode .chroma .nb{color:#7e8b9e}.dark-mode .chroma .bp{color:#3465a4}.dark-mode .chroma .nc{color:#ff5376}.dark-mode .chroma .no{color:#a89042}.dark-mode .chroma .nd{color:#5c35cc;font-weight:bold}.dark-mode .chroma .ni{color:#ce5c00}.dark-mode .chroma .ne{color:#cc0000;font-weight:bold}.dark-mode .chroma .nf{color:#a89042}.dark-mode .chroma .fm{color:#a89042}.dark-mode .chroma .nl{color:#f57900}.dark-mode .chroma .nn{color:#a89042}.dark-mode .chroma .nx{color:#a89042}.dark-mode .chroma .py{color:#a89042}.dark-mode .chroma .nt{color:#7e8b9e;font-weight:bold}.dark-mode .chroma .nv{color:#a89042}.dark-mode .chroma .vc{color:#a89042}.dark-mode .chroma .vg{color:#a89042}.dark-mode .chroma .vi{color:#a89042}.dark-mode .chroma .vm{color:#a89042}.dark-mode .chroma .l{color:#a89042}.dark-mode .chroma .ld{color:#a89042}.dark-mode .chroma .s{color:#71a143}.dark-mode .chroma .sa{color:#71a143}.dark-mode .chroma .sb{color:#71a143}.dark-mode .chroma .sc{color:#71a143}.dark-mode .chroma .dl{color:#71a143}.dark-mode .chroma .sd{color:#b9832b;font-style:italic}.dark-mode .chroma .s2{color:#71a143}.dark-mode .chroma .se{color:#71a143}.dark-mode .chroma .sh{color:#71a143}.dark-mode .chroma .si{color:#71a143}.dark-mode .chroma .sx{color:#71a143}.dark-mode .chroma .sr{color:#71a143}.dark-mode .chroma .s1{color:#71a143}.dark-mode .chroma .ss{color:#71a143}.dark-mode .chroma .m{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .mb{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .mf{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .mh{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .mi{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .il{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .mo{color:#7cc1fa;font-weight:bold}.dark-mode .chroma .o{color:#2796c9;font-weight:bold}.dark-mode .chroma .ow{color:#7e8b9e;font-weight:bold}.dark-mode .chroma .p{color:#a89042;font-weight:bold}.dark-mode .chroma .c{color:#b9832b;font-style:italic}.dark-mode .chroma .ch{color:#b9832b;font-style:italic}.dark-mode .chroma .cm{color:#b9832b;font-style:italic}.dark-mode .chroma .c1{color:#b9832b;font-style:italic}.dark-mode .chroma .cs{color:#b9832b;font-style:italic}.dark-mode .chroma .cp{color:#b9832b;font-style:italic}.dark-mode .chroma .cpf{color:#b9832b;font-style:italic}.dark-mode .chroma .g{color:#a89042}.dark-mode .chroma .gd{color:#a40000}.dark-mode .chroma .ge{color:#a89042;font-style:italic}.dark-mode .chroma .gr{color:#ef2929}.dark-mode .chroma .gh{color:#000080;font-weight:bold}.dark-mode .chroma .gi{color:#00a000}.dark-mode .chroma .go{color:#a89042;font-style:italic}.dark-mode .chroma .gp{color:#b9832b}.dark-mode .chroma .gs{color:#a89042;font-weight:bold}.dark-mode .chroma .gu{color:#800080;font-weight:bold}.dark-mode .chroma .gt{color:#a40000;font-weight:bold}.dark-mode .chroma .gl{color:#a89042;text-decoration:underline}.dark-mode .chroma .w{color:#f8f8f8;text-decoration:underline}.dark-mode .epigraph{color:#a38c31}.dark-mode .dark-img-fill{background:#8d762c}.epigraph{color:#686868;width:80%;margin:auto;font-style:italic;text-align:center}.dark-mode .epigraph-author{color:#a38c31}.epigraph-author{color:#686868;width:80%;margin:auto;font-style:italic;text-align:right}h1,h2,h3,h4,h5,h6{text-align:center;font-family:'Essays1743';font-weight:normal}.dark-mode{background-color:#282c34;color:#ac870f}.dark-mode :is(p, a, li)>code{color:#c20a0a;font-family:"Source Code Pro"}.dark-mode .dark-diff{mix-blend-mode:difference}.dark-mode .dark-light{mix-blend-mode:lighten}.dark-mode .dark-filter{filter:invert(1) sepia(1) saturate(2000%) brightness(50%) hue-rotate(-6deg);mix-blend-mode:lighten}.page-header{display:flex;margin-bottom:1.5rem}.site-nav a::before{content:'\2190';margin-right:.25rem}.dark-mode .light-toggle{stroke:#ac870f}.light-toggle{height:1.6rem;margin-right:1rem;cursor:pointer;stroke:#303030;stroke-width:7}.light-arrow{margin-left:auto}.light-arrow::before{font-family:Symbola;font-size:1.2rem;content:"\27a5"}.post-header{margin-bottom:2rem}.post-title{margin:0}.post-header>.fleuron{margin:1rem 0 0}.fleuron::before{width:100%;clear:both;display:block;text-align:center;font-family:Symbola;font-size:1.5rem;margin:0 0 1rem;content:"\2767"}.post-subtitle{font-size:1.5rem}.dark-mode .godbolt{color:#c20a0a}.dark-mode .godbolt:hover{color:#686868}.godbolt{font-family:'Essays1743';color:#b10023;border-bottom:0;font-size:1.3rem;float:right;margin:0 1rem}article>h2::before{display:block;text-align:center;font-family:Symbola;font-size:1.5rem;margin:0 0 1rem;content:"\2767"}.dark-mode article>p:first-of-type::first-letter{background-color:#8d762c;color:#303030}article>p:first-of-type::first-letter{font-family:'Plate188';color:#000000;font-size:6.3rem;float:left;margin-right:0.5rem;line-height:1.0}.footnote-ref{border-bottom:none;color:#b10023}.dark-mode figcaption{color:#9b8a59}figcaption{color:#525252}pre{border-radius:1rem}:is(p, a, li)>code{color:#b10023;font-family:"Source Code Pro"}.collapse-button{border-style:none;background:none;outline:none;width:100%;display:flex;flex-direction:row}.collapse-close{border-style:none;background:none;outline:none;width:100%}.collapse-button:hover,.collapse-close:hover{cursor:pointer}.button-ornament{margin:0.1rem 0}.dark-mode .button-ornament::before{color:#a38e48}.button-ornament::before{color:#4d4d4d;font-size:1.75rem;font-family:Symbola;content:"\1F65C"}.dark-mode .button-label{color:#ac870f}.button-label{color:#303030;font-size:1.2rem;font-style:italic;margin:0.4rem 0;font-family:Essays1743}.collapse-left,.collapse-right{display:flex;width:20%}.collapse-right{justify-content:flex-end}.collapse-center{display:flex;width:60%;justify-content:center}.dark-mode .collapse-right::after{color:#a38e48}.collapse-right::after{font-family:Symbola;content:"\2BAF";font-weight:bold;font-size:1.3rem;margin:0.5rem 0.5rem 0;color:#4d4d4d}.dark-mode .collapse-close::after{color:#a38e48}.collapse-close::after{font-family:Essays1743;content:"X";font-size:1.3rem;color:#4d4d4d;margin:0.2rem 0 0.8rem;display:inline-block}.dark-mode .collapse-center span::after{background:#a38e48}.collapse-center span::after{content:"";width:0;display:block;height:2px;border-radius:10rem;position:relative;margin:0 auto;background:#686868;transition:width 0.3s}.collapse-button:hover .collapse-center span::after{width:100%}.dark-mode .collapsible{border:0.1em solid #4e4a3b}.collapsible{width:100%;text-align:center;border-radius:1rem;border:0.1em solid #b9b9b9;overflow:hidden}.collapse-div{height:0;overflow:hidden}.collapse-inner{font-family:"Averia Libre";text-align:left;font-size:0.9rem;margin:0 1rem}@media screen and (max-width: 800px){.collapse-inner .highlight{overflow-wrap:anywhere}}