html{font-family:hoefler text,Georgia,serif;font-size:large;line-height:1.5}html,body{margin:0;padding:0;border:0}body{padding-top:5px;padding-bottom:5px;border-top:solid 5px var(--y);border-bottom:solid 5px var(--y);box-sizing:border-box;min-height:100vh}*{block-sizing:border-box}#toc,#TOC{text-align:left}.main{min-height:calc(100vh - 1em)}h1,h2,h3,h4,h5,h6,.abstract{font-family:pt sans narrow,sans-serif;line-height:calc(1ex/.42);margin:1rem 0}header>.content>h1{margin:0 0 1rem}p{text-align:justify;hyphens:auto}pre{overflow-x:scroll;padding:1em;border-left:dotted 1px}pre>code{background:0 0;font-size:.875em;padding:0}code,pre{font-family:pt mono,monospace;font-size:.825em}code{padding:1px 3px}figure{margin:1rem 0;padding:0}hr{opacity:.3}.meta{font-size:small}.details{display:inline-block;min-width:13em;font-size:small}.abstract,.notes{margin:1rem 10% 0;font-size:.875em}.notes{border:dotted 1px;padding:1em 2em}.abstract{font-style:italic}.post-title{display:inline-block;min-width:18em}.post-title>a{display:inline-block;min-width:100%}@media only screen and (max-width:640px){.post-title>a{padding:.5em}}#logo{display:block;vertical-align:middle;text-align:center;float:left}#logo svg{width:5em}.vis-hidden{border:0;clip:rect(0 0 0 0);height:auto;margin:0;overflow:hidden;padding:0;position:absolute;width:1px;white-space:nowrap}header,footer{text-align:center}main#content{clear:both}#content,.content,footer{padding:1rem;max-width:65ch;overflow:hidden;margin:0 auto}header{padding-top:5px;max-width:80ch;margin:0 auto}header>.content{padding-top:0;text-align:left}header>.content>h1{padding:0;margin:0;text-align:left}figure img{width:100%}#logo svg:hover .e{fill:rgba(255,255,255,.5)}#logo svg:hover .i0{fill:var(--r);stroke:var(--r)}#logo svg:hover .i1{fill:var(--r);stroke:var(--o)}img{max-width:100%;border:solid}li p{margin:0;padding:0}li>img,p>img{max-height:1.5em;vertical-align:middle;border:none;padding:none;margin:none}abbr{border-bottom:dotted 1px}sup,sub{vertical-align:baseline;position:relative;top:-.4em;padding:.1em .5em;border-radius:3px}sub{top:.4em}.footdef>sup{vertical-align:top;font-size:medium}.footdef>sup>a{padding:.5em}.footpara{display:inline}footer{padding:0;border-top:solid 1px;border-bottom:solid 1px;line-height:1em}footer>.content{margin:0;padding:0}table{margin:1rem 0;line-height:1em;max-width:100%;overflow:scroll;display:block;border:solid 1px}table th{padding:.1em 1em}table td{padding:.1em 1em}nav{text-align:center;padding:1em 0}pre{line-height:1em}figcaption{text-align:right;font-style:italic;font-size:.875em}#table-of-contents{text-align:left}#toc{font-size:.875em}#toc ul{padding-left:2rem}#toc,blockquote,pre.example,.line-block{margin:0 1rem;padding:0 1rem;border-left:solid var(--gr)}.pubDate{display:inline-block;width:7em;font-family:pt mono,monospace;font-size:.825em;opacity:.7}.sans{font-family:-apple-system,BlinkMacSystemFont,avenir next,avenir,segoe ui,helvetica neue,helvetica,Cantarell,Ubuntu,roboto,noto,arial,sans-serif}.serif{font-family:Iowan Old Style,Apple Garamond,Baskerville,Times New Roman,Droid Serif,Times,Source Serif Pro,serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol}.mono{font-family:Menlo,Consolas,Monaco,Liberation Mono,Lucida Console,monospace}:root{--y:#c18600;--o:#d84100;--r:#e62729;--m:#ec0085;--v:#6c71c4;--b:#0095ff;--c:#00b0a3;--g:#879a00;--bg:#fff;--fg:hsl(218,20%,15%);--hl:#000;--soft:hsl(218,20%,85%);--gr:hsl(218,20%,95%)}img{filter:brightness(.8)sepia(100%)hue-rotate(185deg)saturate(.5)}img:hover,svg:hover{filter:none}@media(prefers-color-scheme:dark){:root{--y:#ae8c51;--o:#a9654a;--r:#af6255;--m:#ae5e7d;--v:#6774b2;--b:#3f8cc3;--c:#15a198;--g:#939452;--bg:hsl(218,20%,12%);--fg:hsl(218,20%,70%);--hl:hsl(218,10%,93%);--soft:hsl(218,20%,35%);--gr:hsl(218,20%,20%)}img{filter:brightness(.6)sepia(100%)hue-rotate(185deg)saturate(.5)}img:hover{filter:brightness(.7)}strong,b,i,emph,a:hover{color:}}strong,b,i,emph,a:hover,h1,h2,h3,h4,h5,h6{color:var(--hl)}pre,code,sup,sub{background:var(--gr)}a>sup:hover,a>sub:hover{background:var(--o);color:#fff}body,body>div{background:var(--bg);color:var(--fg)}a{text-decoration:underline;text-decoration-thickness:2px;text-decoration-color:var(--soft)}a{color:var(--hl)}a:visited{color:var(--fg)}a:hover{color:var(--o);text-decoration-color:var(--o)}.ex{color:var(--v)}.op,.fu,.ot{color:var(--b)}.bu{color:var(--m)}.dt{color:var(--o)}.kw{color:var(--y)}.st{color:var(--g)}.co{opacity:.4}.todo,.done{background:var(--r);color:#fff;font-weight:700;font-size:.66em;padding:.2em}.done{background:var(--g)}.inlineblockimg{display:inline-block}.inlineblockimg>img{display:inline-block;vertical-align:middle;width:3em}