@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{font-style:italic}blockquote i,blockquote em{font-style:normal}body{background-color:var(--background);color:var(--foreground);font-family:Noto Sans Mono,monospace}.clickable{cursor:pointer}.copyable{cursor:copy}code{font-family:Courier New,Courier,monospace;font-weight:700}dialog{color:var(--foreground);background-color:var(--background);border-style:solid}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}summary{cursor:pointer}svg{fill:var(--foreground)}svg line{stroke:var(--foreground);stroke-width:4px}svg text{font-family:Latin Modern Math;font-size:1rem}textarea{background-color:var(--highlight);color:var(--foreground)}td,th{padding:.25rem}thead tr,tbody tr:nth-child(2n){background-color:var(--highlight)}.undecidable[data-v-4616d1e2]{display:none}@media (width>=1200px){.undecidable[data-v-4616d1e2]{display:inline}}svg path[data-v-6ee2d6e6]{stroke:rgb(from currentColor r g b / .5)}.container[data-v-66bc3c12]{flex-flow:row;justify-content:start;align-items:center;display:flex}.separator[data-v-66bc3c12]{margin:0 .25rem}.label[data-v-66bc3c12]{font-weight:bolder}.button[data-v-9cdd3979]{cursor:pointer}.qr[data-v-c18ec65e]{flex-flow:column;justify-content:center;align-items:center;padding:1rem;display:flex}.small[data-v-c18ec65e]{width:32px;height:32px}.medium[data-v-c18ec65e]{width:64px;height:64px}.large[data-v-c18ec65e]{width:128px;height:128px}.theme-button[data-v-25d113fb]{margin-left:auto}.title[data-v-25d113fb]{font-size:large;font-weight:700}@media (width>=1200px){.title[data-v-25d113fb]{font-size:x-large}}.image[data-v-739b69e6]{display:none}@media (width>=1200px){.image[data-v-739b69e6]{margin-left:auto;display:inline}}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}