:root{--box-radius:6px;--outer-box-radius:10px}:root{--content-bg:#fff;--gutter-bg:#eeeef3;--text-fg:#4d4d4c;--table-border-color:#ccc;--separator-color:#6d6d6c;--link:#07c;--link-visited:#751a9a;--blockquote-accent:var(--link);--footnote-accent:#ffd2a3;--subscribe-button-bg:#44e66c;--subscribe-button-fg:#11391b;--media-controls-on:#34b553;--media-controls-contrast:#fff;--inline-code-bg:#f3f3fa;--code-block-bg:#f3f3fa;--aside-bg:#f3f3fa;--aside-warning-bg:#fff5d1;--aside-warning-fg:#ac3233;--palette-red:#c82829;--palette-green:#718c00;--palette-yellow:#eab700;--palette-orange:#f5871f;--palette-blue:#4271ae;--palette-purple:#8959a8;--palette-magenta:rgb(208, 88, 208);--palette-teal:#3e999f;--palette-white:#fefefe;--palette-black:#000;--palette-text:var(--text-fg);--palette-dim:#8e908c;--highlight-bg:var(--palette-yellow);--highlight-fg:var(--text-fg)}#dmt::before{content:"🌖"}#dmt:hover::before{content:"🌗"}@media(prefers-color-scheme:dark){:root:not(.light-theme){--content-bg:#313233;--gutter-bg:#1d1f21;--text-fg:#d8d4cf;--table-border-color:#ccc;--separator-color:#6d6d6c;--link:rgb(82, 183, 255);--link-visited:rgb(193, 104, 229);--blockquote-accent:var(--link);--footnote-accent:#a8612f;--subscribe-button-bg:#44e66c;--subscribe-button-fg:#11391b;--media-controls-on:#44e66c;--media-controls-contrast:#11391b;--inline-code-bg:#3c4044;--code-block-bg:#1d1f21;--aside-bg:#3c4044;--aside-warning-bg:#fff5d1;--aside-warning-fg:var(--palette-red);--palette-red:#cc6666;--palette-green:#b5bd68;--palette-yellow:#f0c674;--palette-orange:#de935f;--palette-blue:#81a2be;--palette-purple:#b294bb;--palette-magenta:rgb(242, 140, 242);--palette-teal:#8abeb7;--palette-white:#fefefe;--palette-black:#000;--palette-text:var(--text-fg);--palette-dim:#969896;--highlight-bg:var(--palette-yellow);--highlight-fg:var(--palette-black)}:root:not(.light-theme) #dmt::before{content:"🌒"}:root:not(.light-theme) #dmt:hover::before{content:"🌓"}:root:not(.light-theme) .image-with-light-background{filter:invert(100%)}}:root.dark-theme{--content-bg:#313233;--gutter-bg:#1d1f21;--text-fg:#d8d4cf;--table-border-color:#ccc;--separator-color:#6d6d6c;--link:rgb(82, 183, 255);--link-visited:rgb(193, 104, 229);--blockquote-accent:var(--link);--footnote-accent:#a8612f;--subscribe-button-bg:#44e66c;--subscribe-button-fg:#11391b;--media-controls-on:#44e66c;--media-controls-contrast:#11391b;--inline-code-bg:#3c4044;--code-block-bg:#1d1f21;--aside-bg:#3c4044;--aside-warning-bg:#fff5d1;--aside-warning-fg:var(--palette-red);--palette-red:#cc6666;--palette-green:#b5bd68;--palette-yellow:#f0c674;--palette-orange:#de935f;--palette-blue:#81a2be;--palette-purple:#b294bb;--palette-magenta:rgb(242, 140, 242);--palette-teal:#8abeb7;--palette-white:#fefefe;--palette-black:#000;--palette-text:var(--text-fg);--palette-dim:#969896;--highlight-bg:var(--palette-yellow);--highlight-fg:var(--palette-black)}:root.dark-theme #dmt::before{content:"🌒"}:root.dark-theme #dmt:hover::before{content:"🌓"}:root.dark-theme .image-with-light-background{filter:invert(100%)}#dmt{width:30px;text-align:right;padding-right:4px;position:absolute;top:0;bottom:0;right:0;border:none;background-color:inherit;cursor:pointer}*{margin:0;padding:0;font:inherit;box-sizing:border-box}html{background-color:var(--gutter-bg);color:var(--text-fg)}table,td,th{border:solid 1px var(--table-border-color)}td,th{padding:.25em .5em}textarea,input[type=text]{padding:.25em;border:solid 1px var(--text-fg);border-radius:2px;color:var(--text-fg);background-color:var(--content-bg)}body{font-family:system-ui,sans-serif;font-size:12pt;line-height:1.8;word-wrap:break-word}body:not(.content-page) main>aside{padding:0 var(--content-padding)}body.content-page main,body:not(.content-page) article,body:not(.content-page) div.project{background-color:var(--content-bg);border-radius:var(--outer-box-radius);padding:var(--content-padding)}body:not(.content-page) div.project .image-container,body:not(.content-page) div.project iframe{margin-left:calc(-1 * var(--content-padding));margin-right:calc(-1 * var(--content-padding));display:block}body:not(.content-page) div.project iframe{max-width:calc(100% + 2 * var(--content-padding))}pre.terminal{white-space:pre-wrap}pre{word-wrap:normal}em,i{font-style:italic}sub,sup{font-size:75%}sup a::before{content:"["}sup a::after{content:"]"}h1>a:only-child,h2>a:only-child{display:block}h1 del{position:relative}h1 del::after{position:absolute;content:"";left:0;right:0;top:50%;border-bottom:2px solid var(--text-fg)}h2.subsection-header{font-size:100%}main .subsection-header+.post-list{margin-top:0}strong{font-weight:700}ol,ul{padding-left:3ch}.footnotes>ol{margin-top:1em}.footnotes li.highlight{background-color:var(--footnote-accent)}.footnotes li:not(.highlight){transition:background-color 1s}ul ul,ol ol{padding-left:2em}hr{border-style:solid;border-width:1.5px 0 0;border-radius:1px;border-color:var(--separator-color)}:not(pre)>code{white-space:pre;background-color:var(--inline-code-bg)}li{padding-left:0}blockquote,q{quotes:none}blockquote:before,blockquote:after,q:before,q:after{content:'';content:none}table{border-collapse:collapse;border-spacing:0}a,a:active,a:visited{text-decoration:none}a:hover{text-decoration:underline}blockquote{padding:0 0 0 var(--content-padding);border-left:solid 2px var(--blockquote-accent)}aside{--content-padding:0.5em;padding:.5em;border-radius:var(--box-radius);background-color:var(--aside-bg)}aside.warning{background-color:var(--aside-warning-bg);color:var(--aside-warning-fg)}a,a:active,a.continuation-link:visited,header a:visited,footer a:visited,h1 a:visited,h2 a:visited,h3 a:visited{color:var(--link)}a:visited{color:var(--link-visited)}a.footnote-ref:visited,a.footnote-backref:visited,.notation-help-link-container a:visited{color:var(--link)}h1{font-size:130%}h2{font-size:120%}h3{font-size:110%}main *+p,main *+pre,main *+aside,main *+section,main *+article,main *+blockquote,main *+table,main *+textarea,main *+div,main *+img,main *+video,main *+a.image-container,main *+figure,main *+ul,main *+ol,main *+dl,main *+hr,main *+h1,main *+h2,main *+h3,main *+h4,main *+h5,main *+h6,main *+iframe{margin-top:1em}main pre+div.highlight,main div.highlight+pre,main div.highlight+div.highlight,main pre+pre{margin-top:1px}main li>ul:last-child{margin-top:0}main .post-header *+h1{margin-top:0}code{font-family:Menlo,monospace;padding:0 3px;border-radius:2px}pre{background-color:var(--code-block-bg);font-size:11pt;padding:calc(.75 * var(--content-padding))var(--content-padding);line-height:1.3;border-radius:var(--box-radius);overflow-x:scroll;-webkit-overflow-scrolling:touch}pre code{padding:0;border-radius:0;display:inline-block;background-color:initial}p+p{margin-top:1em}body{margin:0 auto;--content-padding:10px;max-width:768px;-webkit-text-size-adjust:100%;position:relative}header{position:relative}header>*{height:48px;line-height:48px}.promo,.promo:visited,.promo:active{display:block;text-align:center;background-color:var(--link);color:var(--code-block-bg);border-radius:0 0 var(--outer-box-radius)var(--outer-box-radius)}header .site-title{font-size:130%}header nav{position:absolute;right:30px;top:0}@media all and (max-width:400px){:root{--outer-box-radius:0}header{text-align:center}header nav{position:static}:not(pre)>code{white-space:pre-wrap}body{--content-padding:10px}#dmt{padding:0;text-align:center;width:40px}}header ul{padding:0}header li{list-style:none;display:inline-block}header a{display:block;height:100%}header li+li{margin-left:1em}.pagination{width:300px;text-align:center;margin:0 auto}.pagination .previous{float:left;text-align:left}.pagination .next{float:right;text-align:right}.pagination .next,.pagination .previous{display:block;min-height:1px;width:100px}footer{padding:2em 0;font-size:.85em;text-align:center}.highlighted-posts{-moz-columns:2 300px;columns:2 300px;-moz-column-gap:1em;column-gap:1em}.highlighted-posts article+article{margin-top:1em}.highlighted-posts article{-moz-column-break-inside:avoid;break-inside:avoid}a.continuation-link{display:block;margin-top:1em}article.story{font-family:serif;font-size:14pt;line-height:2em;text-align:justify;-webkit-hyphens:auto;-ms-hyphens:auto;hyphens:auto}main article.story p+p{margin-top:0}article.story p{text-indent:2em}@media all and (max-width:400px){article.story p{text-indent:1em}article.story{line-height:1.75em}}article.story hr::after{content:"⁂";text-align:center;display:block}article.story hr{color:inherit;border:none}article.story hr+p,article.story p:first-child{text-indent:0}article h1.story-title{font-size:200%;font-weight:400;text-align:center}article h1.post-title{font-size:200%}article .post-title a{display:block}article .meta{font-size:90%;font-style:italic}.post-content>.image-container,.post-content>.video-container,.post-content>figure,.post-content>.canvas-container{margin-left:calc(-1 * var(--content-padding));margin-right:calc(-1 * var(--content-padding));display:block}.post-content>figure figcaption{margin:0 var(--content-padding)}figcaption{font-style:italic;font-size:75%;text-align:center}img,video{max-width:100%;height:auto;display:block;margin:0 auto;background-size:cover}.video-container video{max-width:100%;height:auto}img.pixel-art{-ms-interpolation-mode:nearest-neighbor;image-rendering:-moz-crisp-edges;image-rendering:pixelated}img.float-right{float:right;width:50%;margin-left:1em}.post-header h1{line-height:1.2em;margin-bottom:.5em}.post-footer{text-align:center}.post-footer a{display:block}main .post-header .section-indicator{font-size:150%;margin-top:0}.notation-help-link-container{position:absolute;right:26px;margin-top:1.4em;font-size:75%}ul.post-list{list-style:none;padding:0}ol.post-list{list-style-position:inside;padding:0}.post-list .date{margin-left:.25ch;opacity:.6;white-space:pre}.post-list .fav::after{content:"★ "}.series-rider .series-name{font-style:italic}.highlight{color:var(--palette-text)}.highlight .c{color:var(--palette-dim)}.highlight .err{color:var(--palette-red)}.highlight .k{color:var(--palette-purple)}.highlight .l{color:var(--palette-orange)}.highlight .n{color:var(--palette-text)}.highlight .o{color:var(--palette-teal)}.highlight .p{color:var(--palette-text)}.highlight .cm{color:var(--palette-dim)}.highlight .cp{color:var(--palette-dim)}.highlight .c1{color:var(--palette-dim)}.highlight .cs{color:var(--palette-dim)}.highlight .gd{color:var(--palette-red)}.highlight .ge{font-style:italic}.highlight .gh{color:var(--palette-text);font-weight:700}.highlight .gi{color:var(--palette-green)}.highlight .gp{color:var(--palette-dim);font-weight:700}.highlight .gs{font-weight:700}.highlight .gu{color:var(--palette-teal);font-weight:700}.highlight .kc{color:var(--palette-purple)}.highlight .kd{color:var(--palette-purple)}.highlight .kn{color:var(--palette-teal)}.highlight .kp{color:var(--palette-purple)}.highlight .kr{color:var(--palette-purple)}.highlight .kt{color:var(--palette-yellow)}.highlight .ld{color:var(--palette-green)}.highlight .m{color:var(--palette-orange)}.highlight .s{color:var(--palette-green)}.highlight .na{color:var(--palette-blue)}.highlight .nb{color:var(--palette-text)}.highlight .nc{color:var(--palette-yellow)}.highlight .no{color:var(--palette-red)}.highlight .nd{color:var(--palette-teal)}.highlight .ni{color:var(--palette-text)}.highlight .ne{color:var(--palette-red)}.highlight .nf{color:var(--palette-blue)}.highlight .nl{color:var(--palette-text)}.highlight .nn{color:var(--palette-yellow)}.highlight .nx{color:var(--palette-blue)}.highlight .py{color:var(--palette-text)}.highlight .nt{color:var(--palette-teal)}.highlight .nv{color:var(--palette-red)}.highlight .ow{color:var(--palette-teal)}.highlight .w{color:var(--palette-text)}.highlight .mf{color:var(--palette-orange)}.highlight .mh{color:var(--palette-orange)}.highlight .mi{color:var(--palette-orange)}.highlight .mo{color:var(--palette-orange)}.highlight .sb{color:var(--palette-green)}.highlight .sc{color:var(--palette-text)}.highlight .sd{color:var(--palette-dim)}.highlight .s2{color:var(--palette-green)}.highlight .se{color:var(--palette-orange)}.highlight .sh{color:var(--palette-green)}.highlight .si{color:var(--palette-orange)}.highlight .sx{color:var(--palette-green)}.highlight .sr{color:var(--palette-green)}.highlight .s1{color:var(--palette-green)}.highlight .ss{color:var(--palette-green)}.highlight .bp{color:var(--palette-text)}.highlight .vc{color:var(--palette-red)}.highlight .vg{color:var(--palette-red)}.highlight .vi{color:var(--palette-red)}.highlight .il{color:var(--palette-orange)}.asciinema-theme-tomorrow-adaptive .fg-bg{color:var(--code-block-bg)}.asciinema-theme-tomorrow-adaptive .bg-fg{background-color:var(--palette-text)}.asciinema-theme-tomorrow-adaptive .fg-0{color:var(--palette-black)}.asciinema-theme-tomorrow-adaptive .bg-0{background-color:var(--palette-black)}.asciinema-theme-tomorrow-adaptive .fg-1{color:var(--palette-red)}.asciinema-theme-tomorrow-adaptive .bg-1{background-color:var(--palette-red)}.asciinema-theme-tomorrow-adaptive .fg-2{color:var(--palette-green)}.asciinema-theme-tomorrow-adaptive .bg-2{background-color:var(--palette-green)}.asciinema-theme-tomorrow-adaptive .fg-3{color:var(--palette-yellow)}.asciinema-theme-tomorrow-adaptive .bg-3{background-color:var(--palette-yellow)}.asciinema-theme-tomorrow-adaptive .fg-4{color:var(--palette-blue)}.asciinema-theme-tomorrow-adaptive .bg-4{background-color:var(--palette-blue)}.asciinema-theme-tomorrow-adaptive .fg-5{color:var(--palette-purple)}.asciinema-theme-tomorrow-adaptive .bg-5{background-color:var(--palette-purple)}.asciinema-theme-tomorrow-adaptive .fg-6{color:var(--palette-teal)}.asciinema-theme-tomorrow-adaptive .bg-6{background-color:var(--palette-teal)}.asciinema-theme-tomorrow-adaptive .fg-7{color:var(--palette-white)}.asciinema-theme-tomorrow-adaptive .bg-7{background-color:var(--palette-white)}.asciinema-theme-tomorrow-adaptive .fg-8{color:var(--palette-black)}.asciinema-theme-tomorrow-adaptive .bg-8{background-color:var(--palette-black)}.asciinema-theme-tomorrow-adaptive .fg-9{color:var(--palette-red)}.asciinema-theme-tomorrow-adaptive .bg-9{background-color:var(--palette-red)}.asciinema-theme-tomorrow-adaptive .fg-10{color:var(--palette-green)}.asciinema-theme-tomorrow-adaptive .bg-10{background-color:var(--palette-green)}.asciinema-theme-tomorrow-adaptive .fg-11{color:var(--palette-text)}.asciinema-theme-tomorrow-adaptive .bg-11{background-color:var(--palette-text)}.asciinema-theme-tomorrow-adaptive .fg-12{color:var(--palette-blue)}.asciinema-theme-tomorrow-adaptive .bg-12{background-color:var(--palette-blue)}.asciinema-theme-tomorrow-adaptive .fg-13{color:var(--palette-purple)}.asciinema-theme-tomorrow-adaptive .bg-13{background-color:var(--palette-purple)}.asciinema-theme-tomorrow-adaptive .fg-14{color:var(--palette-dim)}.asciinema-theme-tomorrow-adaptive .bg-14{background-color:var(--palette-dim)}.asciinema-theme-tomorrow-adaptive .fg-15{color:var(--palette-white)}.asciinema-theme-tomorrow-adaptive .bg-15{background-color:var(--palette-white)}.asciinema-theme-tomorrow-adaptive .asciinema-terminal{color:var(--text-fg);background-color:var(--code-block-bg);border-color:var(--code-block-bg)}.asciinema-player .start-prompt .play-button polygon{fill:var(--text-fg)!important;stroke:var(--code-block-bg)!important}.asciinema-player .control-bar svg.icon path{fill:var(--code-block-bg)!important}.asciinema-player .control-bar{background:var(--text-fg)!important;color:var(--code-block-bg)!important}.asciinema-player .control-bar .progressbar .bar .gutter>span{background-color:rgba(var(--text-fg),.5)!important}.asciinema-player .control-bar .progressbar .bar .gutter{background-color:var(--code-block-bg)!important}.asciinema-terminal{font-size:initial!important}.asciinema-player-wrapper .asciinema-player{border-radius:var(--box-radius);padding-bottom:32px!important}.asciinema-player .start-prompt .play-button polygon{stroke-width:10px;stroke-linejoin:round}.asciinema-player .start-prompt .play-button polyline{visibility:hidden}.asciinema-player .control-bar .progressbar .bar .gutter{border-radius:3px}.asciinema-terminal .bright{font-weight:400!important}input.smashable{background-color:var(--subscribe-button-bg);color:var(--subscribe-button-fg);border:solid .5px var(--subscribe-button-fg);border:none;padding:10px 30px;cursor:pointer;display:block;flex:0;-webkit-appearance:none;touch-action:manipulation}input.smashable:hover{filter:brightness(105%)}input.smashable:active{filter:brightness(100%)}#mail-subscribe{margin-top:1em;display:flex;justify-content:center;height:40px}#mail-subscribe input[type=email]{box-sizing:border-box;width:300px;height:40px;padding:0 10px}#mail-subscribe input[type=submit].smashable{box-sizing:border-box;border:none;height:40px;flex:0;margin-left:4px;padding:0 20px;border-radius:2px}