@font-face{font-family:Noto Sans Mono;src:url(/fonts/NotoSansMono-Regular.woff2)format("woff2"),url(/fonts/NotoSansMono-Regular.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Latin Modern Math;src:url(/fonts/LatinModernMath-Regular.woff2)format("woff2"),url(/fonts/LatinModernMath-Regular.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}:root{--header-height:4lh;--footer-height:2lh}.dark-theme{--foreground-color:#e0e0e0;--background-color:#202020;--highlight-color:hsl(from var(--background-color) h s calc(l * 1.2));--success-color:lightgreen;--warning-color:yellow;--failure-color:red;--primary-accent-color:cyan;--secondary-accent-color:magenta}.light-theme{--background-color:#e0e0e0;--foreground-color:#202020;--highlight-color:hsl(from var(--background-color) h s calc(l * .8));--success-color:green;--warning-color:goldenrod;--failure-color:darkred;--primary-accent-color:blue;--secondary-accent-color:purple}*{border-width:1px;border-color:var(--foreground-color)}a{color:var(--primary-accent-color);text-decoration:none}a:visited{color:var(--secondary-accent-color)}a:active,a:hover{text-decoration:underline}blockquote{font-style:italic}blockquote i,blockquote em,blockquote pre,blockquote code{font-style:normal}body{background-color:var(--background-color);color:var(--foreground-color);font-family:Noto Sans Mono,monospace}code{font-weight:700}details{padding:1rem}details:open{border:solid 1px var(--foreground-color)}details>:not(summary){margin-left:1rem}input{accent-color:var(--primary-accent-color)}math{font-family:Latin Modern Math}summary{cursor:pointer;font-weight:700}svg{fill:var(--foreground-color)}svg line{stroke:var(--foreground-color);stroke-width:4px}svg text{font-family:Latin Modern Math;font-size:1rem}td,th{padding:.25rem}thead tr,tbody tr:nth-child(2n){background-color:var(--highlight-color)}svg[data-v-a34bb0ba]{display:inline-block}path[data-v-a34bb0ba]{fill:currentColor;stroke:rgb(from currentColor r g b / 50%)}.container[data-v-8a260514]{flex-flow:row;justify-content:start;align-items:center;display:flex}.separator[data-v-8a260514]{margin:0 .25rem}.label[data-v-8a260514]{font-weight:bolder}.container[data-v-36a5b5fa]{display:inline-block}.small[data-v-36a5b5fa]{width:28px}.medium[data-v-36a5b5fa]{width:56px}.large[data-v-36a5b5fa]{width:112px}.x-large[data-v-36a5b5fa]{width:224px}details[data-v-c548f607]{border-style:none}details[data-v-c548f607]:open{background-color:var(--highlight-color)}summary[data-v-c548f607]{display:inline}#breadcrumbs-wrapper[data-v-8cc3d64b]{margin-left:1rem}footer[data-v-8cc3d64b]{height:var(--footer-height);background-color:var(--highlight-color);justify-content:space-around;align-items:center;padding-left:1rem;padding-right:1rem;display:flex;position:fixed;bottom:0;left:0;right:0}header[data-v-8cc3d64b]{height:var(--header-height);background-color:var(--highlight-color);align-items:center;padding-left:1rem;padding-right:1rem;display:flex;position:fixed;top:0;left:0;right:0}main[data-v-8cc3d64b]{width:100%;height:100%;margin-top:1ex;padding-left:1rem;padding-right:1rem;overflow:auto}@media (width>=1200px){main[data-v-8cc3d64b]{margin-top:0}}#menu-wrapper[data-v-8cc3d64b]{left:0;top:var(--header-height);right:0;bottom:var(--footer-height);flex-flow:column;padding:1rem;display:flex;position:fixed}@media (width>=1200px){#menu-wrapper[data-v-8cc3d64b]{flex-flow:row}}#theme-button[data-v-8cc3d64b]{margin-left:auto}.title[data-v-8cc3d64b]{font-size:large;font-weight:700}pre code.hljs{padding:1em;display:block;overflow-x:auto}code.hljs{padding:3px 5px}.hljs{color:#fff;background:#1c1b1b}.hljs-subst{color:#fff}.hljs-comment{color:#999}.hljs-keyword,.hljs-selector-tag,.hljs-meta .hljs-keyword,.hljs-doctag,.hljs-section,.hljs-attr{color:#88aece}.hljs-attribute{color:#c59bc1}.hljs-name,.hljs-type,.hljs-number,.hljs-selector-id,.hljs-quote,.hljs-template-tag{color:#f08d49}.hljs-selector-class{color:#88aece}.hljs-string,.hljs-regexp,.hljs-symbol,.hljs-variable,.hljs-template-variable,.hljs-link,.hljs-selector-attr{color:#b5bd68}.hljs-meta,.hljs-selector-pseudo{color:#88aece}.hljs-built_in,.hljs-title,.hljs-literal{color:#f08d49}.hljs-bullet,.hljs-code{color:#ccc}.hljs-meta .hljs-string{color:#b5bd68}.hljs-deletion{color:#de7176}.hljs-addition{color:#76c490}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}