html,body{color:#fff;background-color:#000}.tokenizer,.parser,.bounds-checker{width:fit-content;min-height:10ex;margin-right:auto;position:relative}.overlay{z-index:10;background-color:#0000009e;width:100%;height:100%;display:flex;position:absolute;top:0;left:0}.overlay>*{min-width:61.8%;min-height:61.8%;margin:auto;padding:1ex 1em;display:table}.overlay_content{text-align:center;vertical-align:middle;display:table-cell}.lexer_error{color:#f33;text-shadow:-1px -1px #000,-1px 1px #000,1px -1px #000,1px 1px #000;background-color:#033;font-size:1.618rem}.lexemes_display{flex-wrap:wrap;display:flex}.lexeme_display{border:1px solid;margin:0 1em 1ex 0;padding:.5ex .5em;display:inline-block}.expr_application,.expr_abstraction{flex-direction:column;align-items:center;display:flex}.expr_variable,.expr_application_root,.expr_abstraction_root{text-align:center;border:1px solid;padding:.5ex .5em}.expr_variable{margin:0 .5em}.expr_application_root,.expr_abstraction_root{min-width:61.8%;margin:0 1.5em 1ex}.expr_application_leaves,.expr_abstraction_leaves{justify-content:space-around;align-items:flex-start;display:flex}.cek-component-working,.cek-component-review,.cek-component-final,.cek-component-uninitialized{flex-direction:column;justify-content:center;align-items:center;width:80em;max-width:100%;display:flex}.cek-component-controls{justify-content:space-between;align-self:stretch;align-items:center;display:flex}.machine-state tr,.environment-entry{vertical-align:top}.environment-closure{justify-content:center;align-items:flex-start;display:flex}.kontinuation li div{width:fit-content}.bounded-abstraction{flex-direction:column;align-items:stretch;margin:auto;display:flex}.bounded-scope-label,.bounded-function,.bounded-argument{text-align:center;border:1px solid;margin:0 .2em}.bounded-variable,.unbound-variable{padding:0 .3em}.bounded-application,.bounded-scope{justify-content:space-around;align-items:flex-start;margin:.3ex 0;display:flex}.unbound-variable{color:#fff;background-color:#600}
/*# sourceMappingURL=dev.aa03c95e.css.map */