@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/0-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+20-7F}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/1-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+20-7F}@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/2-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+80-FF}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/3-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+80-FF}@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/6-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+2000-206F}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/7-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+2000-206F}@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/14-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+2190-21FF}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/15-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+2190-21FF}@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/16-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+20A0-20CF}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/17-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+20A0-20CF}@font-face{font-family:MonoLisaText;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/18-MonoLisaText-normal.woff2)format("woff2");unicode-range:U+22??}@font-face{font-family:MonoLisaText;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/19-MonoLisaText-italic.woff2)format("woff2");unicode-range:U+22??}@font-face{font-family:MonoLisaCode;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/0-MonoLisaCode-normal.woff2)format("woff2");unicode-range:U+20-7F}@font-face{font-family:MonoLisaCode;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/1-MonoLisaCode-italic.woff2)format("woff2");unicode-range:U+20-7F}@font-face{font-family:MonoLisaCode;font-style:normal;font-weight:1 900;font-display:swap;src:url(/fonts/6-MonoLisaCode-normal.woff2)format("woff2");unicode-range:U+22??}@font-face{font-family:MonoLisaCode;font-style:italic;font-weight:1 900;font-display:swap;src:url(/fonts/7-MonoLisaCode-italic.woff2)format("woff2");unicode-range:U+22??}body{font:16px/1.9 monolisatext,system-ui,-apple-system,sans-serif;font-weight:400;line-height:1.7rem;color:#000;background:#fff;padding:3em 4em 5em;word-wrap:break-word}.container{max-width:648px;min-width:320px;margin:4em 4em 2em 222px}h1,h2,h3,h4,h5,h6{font-size:inherit}h2,h3{margin-top:2em}h1{font-size:21px;line-height:1.4}strong,b{font-weight:600}p{margin-bottom:1.8rem}ul,ol{margin-bottom:1.8rem}a,a:visited{color:#000;text-decoration:none;border-bottom:4px solid rgba(180,231,248,.5);box-shadow:inset 0 -4px rgba(180,231,248,.5);transition:background .15s cubic-bezier(.33,.66,.66,1)}a:hover{background:rgba(180,231,248,.75)}pre,code{font:16px/1.7 MonoLisaCode,monospace!important}code{font-family:MonoLisaCode,monospace;font-weight:700!important;font-size:14px!important;border:1px solid #e4e4e4;background-color:#fafafa!important;padding:0 6px}pre{margin-bottom:1.8rem}pre code{font-weight:400!important;font-size:16px!important;background:0 0!important;border:none!important}.logo{float:left;border-bottom:none;box-shadow:none}.nav{float:right}.nav a{margin:0 0 0 2em}.small,.light{color:#ababab}.small{font-size:12px}hr{width:200px;margin:1.5em auto;border:none;border-top:1px solid #ababab;display:block}.caption,blockquote{color:#696969}blockquote{font-style:italic;margin:0;padding:0 0 0 1em;border-left:1px solid #ababab}table{word-break:normal;word-break:keep-all;border-collapse:collapse;border-spacing:0;box-sizing:border-box;font-size:15px;line-height:24px}tr{box-sizing:border-box;border-top:1px solid #ababab;padding:0}th,td{box-sizing:border-box;border:1px solid #ababab;padding:5px 12px 6px}h1+.light{margin-top:-.75em;margin-bottom:1.5em}.container p:not(.light),.container li,.container blockquote{text-align:justify}[data-justif]{overflow-wrap:normal}.footnote-ref{font-size:12px;line-height:.5em;vertical-align:baseline;position:relative;top:-.4em}.katex{font-size:1.2em}.caption{display:block}img{max-width:100%;height:auto}pre{padding:.7em 1em;background:rgba(236,236,236,.37);margin:0 -1em;overflow-x:auto}pre,code{font:inherit}.container{position:relative}.margin{position:absolute;box-sizing:border-box;width:29.3333%;overflow:auto}.margin p{font-style:italic}.left.margin{left:-29.3333%;padding-right:30px;text-align:right}.right.margin{right:-29.3333%;padding-left:30px}.wide{width:158.6666667%;margin-left:-29.3333333%;overflow:auto}.wide.left,.wide.right{width:129.3333333%;float:none}.wide.left{margin:0 0 0 -29.3333333%}.wide.right{margin:0 -29.3333333% 0 0}.margin p{margin-top:2px}.margin h1,.margin h2,.margin h3{margin-top:0}.column{box-sizing:border-box;float:left}.column.two{width:50%;padding-right:12px}.column.three{width:33%;padding-right:24px}.column.two+.column.two{padding:0 0 0 12px}.clear{width:100%;clear:both}.archive h2.margin,.archive h3.margin{margin:0}.archive h2.margin.left{left:-45%}@media screen and (max-width:1200px){.container{margin-left:140px}}@media screen and (max-width:1060px){.container{margin:2em 16px 16px}.archive h2.margin.left{left:auto}.margin,.margin.right,.margin.left{position:relative;display:block;top:auto;left:auto;right:auto;bottom:auto}.margin.right{float:right}.margin.left{text-align:left;float:left}.wide,.wide.left,.wide.right{width:100%;margin:0}.archive .margin{display:block;width:100%}}@media screen and (max-width:800px){.index .margin{display:block;width:100%}}@media screen and (max-width:600px){body{padding:.4em}.container{margin:1em 0 2em;padding-top:.5em;border-top:1px solid rgba(0,0,0,.1);min-width:auto}.nav{float:none;display:block;margin:0;width:100%}.nav a{margin:0 1em 0 0;color:#ababab}.margin{width:40%}.margin.right{padding-left:16px}.margin.left{padding-right:16px}}.chroma{-webkit-text-size-adjust:none}.chroma .err{color:#f6f8fa;background-color:#82071e}.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:#dedede}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.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;font-weight:700}.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 .gl{text-decoration:underline}.chroma .w{color:#fff}