/*!normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css*/html{line-height:1.15;-webkit-text-size-adjust:100%}body{margin:0}main{display:block}h1{font-size:2em;margin:.67em 0}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace,monospace;font-size:1em}a{background-color:transparent}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}button::-moz-focus-inner,[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring{outline:1px dotted ButtonText}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}details{display:block}summary{display:list-item}template{display:none}[hidden]{display:none}/*!end of normalize.css v8.0.1*/body{max-width:800px;margin:auto;padding:1em;line-height:1.55;color:#123;background-color:#fff;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}@media only screen and (min-width:1920px){body{max-width:1000px}}.menu li{display:inline-block}.article-meta,.menu a{text-decoration:none;background:#eee;padding:5px;border-radius:5px}#header-title{margin-top:0;margin-bottom:-3px}.nav-item{padding:0 0 0 2px}@media only screen and (min-width:620px){#header-title{display:inline;padding-right:10px}.nav-item{padding:0 4px}}@media only screen and (max-width:500px){.article-meta>h1{font-size:1.55rem}}.article-meta>.toc{text-align:left;padding-left:30px;background-color:transparent}@media only screen and (max-width:500px){.article-meta>.toc{padding-left:10px}}.article-meta>.toc>.toc-header{background-color:transparent;margin-top:1px}.article-meta>.toc-hr{margin:0}.article-meta>details[open] summary{padding-bottom:0;margin-bottom:-10px;border:none}.article-meta>details[open]{padding-bottom:0}@media only screen and (max-width:340px){.article-meta>.toc,.toc-hr{display:none}}.menu,.article-meta,footer{text-align:center}.title{font-size:1.1em;padding:0 5px}footer{font-size:.85rem}hr{border-style:dashed;color:#ddd}pre{border:1px solid #eee;border-radius:5px;padding:1rem;overflow-x:auto}code{filter:brightness(85%)contrast(170%);background:#f8f8f8}pre code{background:0 0}.highlight{padding:0}details>div.highlight>pre{background:0 0!important}img,iframe,video{max-width:100%;display:block;margin-left:auto;margin-right:auto}main{hyphens:auto}#post-content>p,#post-content>li{text-align:justify}blockquote{background:#f8f8f8;border-left:5px solid #757575;padding:3px 1em;border-radius:5px}@media only screen and (max-width:800px){blockquote{margin:0}}table{margin:auto;border-top:1px solid #757575;border-bottom:1px solid #757575}th{white-space:nowrap}@media only screen and (max-width:650px){table{width:100%}}.overflow-container{overflow:scroll;overflow-x:auto;overflow-y:hidden}table thead th{border-bottom:1px solid #ddd}th,td{padding:7px}thead,tfoot,tr:nth-child(even){background:#f8f8f8}ul{padding-inline-start:30px;padding-inline-end:30px}a{color:#234}a:visited{color:#234}.zoomable{cursor:-moz-zoom-in;cursor:-webkit-zoom-in;cursor:zoom-in}.goat{width:100%;margin-left:auto;margin-right:auto}.goat>svg{font-family:monospace;font-size:medium}.goat-scale,.goat-inner{margin-left:auto;margin-right:auto}@media only screen and (max-width:650px){.goat-scale{width:100%!important}}@media only screen and (min-width:650px){.goat-inner{width:100%!important}}figure{display:flex;flex-direction:column;align-items:center;margin:1rem;gap:5px}.figure-content{margin:auto;width:max-content}figcaption>h4{margin:0}figcaption{font-size:.8rem}@media only screen and (min-width:360px){figcaption{font-size:.95rem}}@media only screen and (min-width:540px){figcaption>h4{font-size:1rem}}.footnotes{overflow-wrap:break-word}.highlight>div{background-color:transparent!important}.admonition{padding:15px;border-left:10px solid #757575;border-right:10px solid transparent;background:#f8f8f8;border-radius:5px}.admonition .title{margin:0;text-transform:uppercase;padding-left:3px;margin-bottom:6px;border:1px solid;border-style:hidden hidden solid}.admonition>p{margin:0;padding-left:3px;padding-right:3px}.red{border-left:10px solid #962020;background:#ffe3e3;color:#962020}.green{border-left:10px solid #1b5727;background:#d3f9d8;color:#1b5727}.blue{border-left:10px solid #114678;background:#d0ebff;color:#114678}.yellow{border-left:10px solid #804200;background:#fff3bf;color:#804200}details{background-color:#f8f8f8;border:1px solid #eee;border-radius:5px;padding:1rem}summary{background-color:transparent;font-weight:700}details[open] summary{border-bottom:1px dashed #eee;padding-bottom:1rem}details>.highlight>pre{border:0!important;padding:0!important;padding-left:3px!important;margin:0!important;margin-top:1rem!important}.spoiler{background-color:#123;color:#123}.spoiler:hover{background-color:transparent}.postdesc{opacity:60%;font-style:italic}@media(prefers-color-scheme:dark){.article-meta,.menu a{background:#343739}.article-meta>details{border:none}details{background-color:#09111a;border:1px solid #eee;border-radius:5px;padding:1rem}summary{font-weight:700}body{color:#fff;background-color:#09111a}a{color:#fff}a:visited{color:#fff}blockquote{background:#343739}thead,tfoot,tr:nth-child(even){background:#343739}.admonition{background:#343739}code{background:#293847}.highlight>pre{background:#e6e6e6!important}.highlight>pre{color:#123;filter:invert(1)hue-rotate(180deg)brightness(1.5)}.goat{color:#000;filter:invert(1)}.red{border-left-color:#ffe3e3;background:#962020;color:#ffe3e3}.green{border-left-color:#d3f9d8;background:#1b5727;color:#d3f9d8}.blue{border-left-color:#d0ebff;background:#114678;color:#d0ebff}.yellow{border-left-color:#fff3bf;background:#804200;color:#fff3bf}.spoiler{background-color:#fff;color:#fff}}@font-face{font-family:ibmplexserif;src:url(/font/ibm_plex_serif/IBMPlexSerif-Regular.ttf)format("truetype");font-display:swap}@font-face{font-family:ibmplexserif;src:url(/font/ibm_plex_serif/IBMPlexSerif-Bold.ttf)format("truetype");font-weight:700;font-display:swap}@font-face{font-family:ibmplexserif;src:url(/font/ibm_plex_serif/IBMPlexSerif-Italic.ttf)format("truetype");font-style:italic;font-display:swap}@font-face{font-family:ibmplexserif;src:url(/font/ibm_plex_serif/IBMPlexSerif-BoldItalic.ttf)format("truetype");font-style:italic;font-weight:700;font-display:swap}@font-face{font-family:robotomono;src:url(/font/roboto_mono/RobotoMono-Regular.ttf)format("truetype");font-display:swap}@font-face{font-family:robotomono;src:url(/font/roboto_mono/RobotoMono-Bold.ttf)format("truetype");font-weight:700;font-display:swap}@font-face{font-family:robotomono;src:url(/font/roboto_mono/RobotoMono-Italic.ttf)format("truetype");font-style:italic;font-display:swap}body{font-family:ibmplexserif,serif}code{font-family:robotomono,monospace,monospace;font-size:90%}@media only screen and (min-width:660px){body{font-size:1.21rem}}@media only screen and (max-width:660px){body{font-size:1.08rem}.highlight{font-size:1rem}}@media only screen and (max-width:440px){#header-title{font-size:1.5rem}}@media only screen and (max-width:340px){body{font-size:1rem}}@media only screen and (max-width:300px){body{font-size:.85rem}}@media only screen and (max-width:250px){body{font-size:.8rem}}