.repl[data-v-0d110454]{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-align:start;font-family:Ricty Diminished Discord,monospace;font-size:1.17em;font-weight:700}.repl input[data-v-0d110454]{width:95%;font-size:100%;font-weight:inherit;border:none;outline:none;font-family:inherit}.stage[data-v-0d110454]{margin-top:1em;display:block}html{height:100vh}@media (prefers-color-scheme:dark){html,input,textarea{color:#06c;background-color:#000}}