@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{--headerheight:4lh;--footerheight:2lh}.dark-theme{--foreground:#e0e0e0;--background:#202020;--highlight:hsl(from var(--background) h s calc(l + 10));--success:lightgreen;--warning:yellow;--failure:red;--primary:cyan;--secondary:magenta}.light-theme{--background:#e0e0e0;--foreground:#202020;--highlight:hsl(from var(--background) h s calc(l - 10));--success:green;--warning:goldenrod;--failure:darkred;--primary:blue;--secondary:purple}*{border-width:1px;border-color:var(--foreground)}a{color:var(--primary);text-decoration:none}a:visited{color:var(--secondary)}a:active,a:hover{text-decoration:underline}blockquote i,blockquote em{font-style:normal}blockquote{font-style:italic}body{background-color:var(--background);color:var(--foreground);font-family:Noto Sans Mono,monospace}code{color:#fff;font-family:Courier New,Courier,monospace;font-weight:700}footer{height:var(--footerheight);border-top-style:solid;flex-flow:row;justify-content:space-around;align-items:center;display:flex;position:fixed;bottom:0;left:0;right:0}header{height:var(--headerheight);border-bottom-style:solid;flex-flow:row;justify-content:start;align-items:center;padding-left:1rem;padding-right:1rem;display:flex;position:fixed;top:0;left:0;right:0}input{accent-color:var(--primary)}main{top:var(--headerheight);left:0;right:0;bottom:var(--footerheight);flex-flow:column;padding:1rem;display:flex;position:fixed;overflow:auto}@media (width>=1200px){main{flex-flow:row}}math{font-family:Latin Modern Math}td,th{padding:.25rem}thead tr,tbody tr:nth-child(2n){background-color:var(--highlight)}svg text{fill:currentColor;font-family:Latin Modern Math;font-size:1rem}svg line{stroke:currentColor;stroke-width:4px}svg circle{fill:currentColor}#omega[data-v-a068f399]{display:none}@media (width>=1200px){#omega[data-v-a068f399]{display:inline-block}}.container[data-v-5c85adcc]{width:max-content;margin-right:1rem}summary[data-v-5c85adcc]{cursor:pointer}svg[data-v-374907aa]{display:inline-block}path[data-v-374907aa]{fill:currentColor;stroke:rgb(from currentColor r g b / 50%)}.container[data-v-607289b2]{flex-flow:row;justify-content:start;align-items:center;display:flex}.separator[data-v-607289b2]{margin:0 .25rem}.label[data-v-607289b2]{font-weight:bolder}.container[data-v-472734c7]{display:inline-block}.dark-theme .container[data-v-472734c7]{background-color:#fff}.small[data-v-472734c7]{width:28px}.medium[data-v-472734c7]{width:56px}.large[data-v-472734c7]{width:112px}.x-large[data-v-472734c7]{width:224px}.button[data-v-e5c0105a]{cursor:pointer}#qr[data-v-e5c0105a]{margin:0 1rem}.right[data-v-e5c0105a]{margin-left:auto}.title[data-v-e5c0105a]{font-size:xx-large}#current-page[data-v-f78cd06c]{margin-left:0}#table-of-contents[data-v-f78cd06c]{border-right:none}@media (width>=1200px){#current-page[data-v-f78cd06c]{margin-left:1rem}#table-of-contents[data-v-f78cd06c]{border-right:solid}}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}