body{margin:0;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Roboto","Oxygen","Ubuntu","Cantarell","Fira Sans","Droid Sans","Helvetica Neue",sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}code{font-family:source-code-pro,Menlo,Monaco,Consolas,"Courier New",monospace}.UL{padding:0}.LI{list-style:none;margin-bottom:20px}.cursor-pointer{cursor:pointer}body{overflow-x:hidden;spellcheck:false}#app.dark{background-color:#000}#bad-screen-message{display:none;background-color:#c3c3c3;height:100vh;width:100vw;position:fixed;text-align:center;font-size:2em;padding-top:40vh;z-index:99999}@media screen and (max-width:899px){#bad-screen-message{display:block}}.app{background-color:#f4f6f6}.boxContainer{position:relative;padding-left:10px;padding-top:5px;font-size:1.3em;background-color:#fff}.dark .boxContainer{background-color:#000;color:#fff}.helpSpace,.mainSpace,.settingsSpace{width:65%;margin:auto;padding-top:6em;min-height:100vh;padding-bottom:10px}.helpSpace{padding-top:5em;padding-bottom:5em}.notebook-tab{padding:10px 5px 10px 15px;white-space:nowrap;background-color:#0b83fb;margin-bottom:0}.edit-name{display:none;margin-left:10px}.notebook-tab:hover .edit-name{display:inline;color:#fff}.current{background-color:#4aa4ff}.notebook-tab:first-of-type{padding-top:15px}.notebook-tab:last-of-type{padding-bottom:15px}.notebook-tab:hover{cursor:pointer;background-color:#2592ff}.notebook-tab:hover.current{background-color:#4aa4ff}.removeNtb{top:-1.2em}.addNtb,.removeNtb{position:absolute;right:.5em;cursor:pointer;color:#fff}.addNtb{top:-1em}.notebook-tab:hover .addNtb{color:#59ff59}.notebookIconWrapper:hover .removeNtb{color:#ff0808}.boxList,.UL{margin-right:40px}.box{position:relative;margin-top:.5em;padding-top:10px}.notebookIcon{padding-top:.6em;padding-bottom:.6em;background-color:#016ad2;font-size:1.6em;border-radius:.25em;cursor:pointer}.notebooks.UL{margin-right:0}.notebooks .LI{width:80%;margin:auto auto 20px}.addNotebook{width:80%;font-size:1.6em;margin:auto;padding-top:.6em;padding-bottom:.6em;background-color:#016ad2;border-radius:.25em;cursor:pointer}.separator{width:85%;border-bottom:3px solid #fff;border-radius:.5em;margin:.5em auto}.top-bar{position:fixed;padding-top:10px;width:100%;height:2.5em;padding-bottom:20px;z-index:888;background-color:#fff}.dark .top-bar{background-color:#1f1f1f;color:#fff}.top-bar--notebook-name-container{width:65%;margin:auto}.top-bar--notebook-name{max-width:50%;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;margin-top:.4em;font-size:1.6em;float:left;border-bottom:2px solid #dfdfdf}.top-bar--item-container{position:absolute;right:18.5%;margin:auto;top:0}.top-icon{font-size:1.2em;color:#424242}.dark .top-icon{color:#fff}.top-bar--item{text-align:center;border-radius:.4em;float:left;margin-right:1em;padding:5px;margin-top:5px}.top-bar--item-hoverable--active{background-color:#e4e4e4}.top-bar--item-hoverable:hover{background-color:#dfdfdf;cursor:pointer}.dark .top-bar--item-hoverable:hover{background-color:#6d6d6d;cursor:pointer}.top-bar--icon-label{margin:0}.top-bar--item.current:before{content:"";position:absolute;left:0;margin-top:.6em;height:3.7em;width:3px;background-color:#fff;border-top-right-radius:5px;border-bottom-right-radius:5px}.export:link{color:#000}.dark .export:link{color:#fff}.export:active,.export:visited{color:#000}#menu-bar{position:fixed;top:0;left:0;width:5em;height:100%;background-color:#1976d2;color:#fff;text-align:center;z-index:999}.dark #menu-bar{background-color:#1561ad}.menu-bar--bottom-part,.menu-bar--middle-part{position:absolute;width:100%}.menu-bar--bottom-part{bottom:30px}.tab{padding-bottom:13px;border-radius:5px}.tab-hoverable:hover{background-color:#1561ad;cursor:pointer}.tab:first-of-type{margin-top:1em}.currentTab:before{content:"";position:absolute;left:0;margin-top:.6em;height:3.7em;width:3px;background-color:#fff;border-top-right-radius:5px;border-bottom-right-radius:5px}#input{width:.1px;height:.1px;opacity:0;overflow:hidden;position:absolute;z-index:-1}.icon{color:#fff;margin:15px 15px 0;cursor:pointer;font-size:1.5em}.iconLabel{font-size:.8em;margin-bottom:0}.notebookIconWrapper{position:relative}.lambdulusIcon{border:2.5px solid #fff;padding:4% 15%;border-radius:50%;font-size:2em;font-family:Comfortaa;cursor:pointer}.tab:hover>.lambdulusIcon{background-color:#1976d2}.create-box{width:60%;text-align:center;border-radius:2rem;background-color:#f3f3f3;margin:auto auto 10px}.create-box--container,.plusBtn{display:inline-block}.plusBtn{font-weight:500;border-radius:2rem}.top-level--create-box{position:fixed;top:180px;width:65%}.create-box-plus{position:fixed;top:200px;left:45vw;margin:auto;text-align:center;border-radius:50%;padding:1em 1.1em;font-size:2em;color:#a0a0a0;background-color:#ebebeb}.create-box-plus:hover{color:grey;background-color:#dbdbdb;cursor:pointer}.box-top-bar--modal--pick-box-type{margin-top:20px;background-color:#f0f0f0;border-radius:.5em}.dark .box-top-bar--modal--pick-box-type{background-color:#646464}.modal--create-box{margin:auto;box-sizing:border-box}.add-box--group{display:inline-block;width:50%;text-align:center;margin-right:0;margin-left:0;border-radius:10px;padding-top:10px;padding-bottom:10px}.add-box--group .plusBtn{padding:5px}.add-box--group:hover{background-color:#c4d7eb;cursor:pointer}.dark .add-box--group:hover{background-color:#5691d0;cursor:pointer}.create-box--big{font-size:3em;font-family:monospace;margin:0}.creat-box--label{margin:0}.boxContainer.inactive:hover .inactiveMessage{color:#3b3b3b}.inactiveStep{color:grey}.hiddenIcon,.hiddenMacroIcon{margin-left:.75em;display:none}li:hover>.step>.inlineblock>.hiddenIcon{display:inline;color:#000;cursor:pointer}li:hover .hiddenMacroIcon{color:#000;display:inline}.controlBtn{--mdc-theme-primary:#1976d2;font-size:.5em}.badge,.controlBtn{display:inline-block;margin-right:1em}.badge{padding:5px 10px;border:2px solid #000;border-radius:1rem;font-size:.6em}.makeBadge{cursor:pointer}.makeBadge:hover{background-color:#bdbdbd}.inactiveMessage{color:grey;font-size:.6em;margin-left:0}.emptyStep{margin-top:0}.boxExercise .activeStep .redex,.boxExercise .activeStep .substitutedArg,.boxExercise .churchnumeral.redex.argument.abstraction{border:none;background-color:#fff;padding:0}.step{word-wrap:anywhere}.left.redex{border-bottom:2px solid #81c784}.substitutedArg{background-color:#81c784;padding-left:1px;padding-right:1px;border-radius:2px}.argument.alpha.substitutedArg,.variable.alpha.substitutedArg{background-color:#c07ddf}.right.redex{border:2px solid #81c784;border-radius:5px}.argument.substitutedArg{background-color:#539b57}.argument.substitutedArg.breakpoint{border:2px solid #ff6090}.activeStep .argument,.activeStep .churchnumeral,.activeStep .macro{cursor:pointer}.macro.redex{background-color:#80d8ff;border-radius:5px}.macro.redex.abstraction{background-color:#1decff;border-radius:5px}.churchnumeral.redex{background-color:#82b1ff;border-radius:5px}.application.redex.abstraction.argument,.churchnumeral.redex.abstraction.argument,.macro.redex.abstraction.argument{background-color:#97fff1;border-radius:5px}.left.extended-redex{padding:1px 4px;background-color:#64ecf8;border-radius:5px}.right.extended-redex{padding:1px;border:2px solid #64ecf8;border-radius:5px}.breakpoint{background-color:#ff6090;border-radius:5px}.breakpoint.churchnumeral.redex,.breakpoint.macro.redex{border:2px solid #ff6090}.lastReduction{color:grey;font-size:.7em;margin:0 0 4px 1.5em}.stepNumber{color:grey;display:inline-block;font-size:.5em;margin:0 1em 0 0}.stepMessage{font-size:.8em;margin-left:1.5em;font-weight:600}.stepMessage.correct{color:#178317}.stepMessage.incorrect{color:#da0202}.incorrect .userInput{color:grey;font-size:1.3em}.inlineblock{display:inline-block}.boxExercise .activeStep .redex,.boxExercise .activeStep .substitutedArg,.boxExercise .churchnumeral.redex.argument.abstraction,.boxExercise .left.extended-redex,.boxExercise .right.extended-redex{border:none;background-color:#fff;padding:0}.dark .boxExercise .activeStep .redex,.dark .boxExercise .activeStep .substitutedArg,.dark .boxExercise .churchnumeral.redex.argument.abstraction,.dark .boxExercise .left.extended-redex,.dark .boxExercise .right.extended-redex{border:none;background-color:#000;padding:0}.box .editorError{font-size:.9em;margin:5px;color:#c24141}#editorSplitDropBtn{vertical-align:initial;font-size:2em;display:inline-block}#editorEnter:hover{color:#1976d2}#editorEnter:active{color:#164b80}.btn:not(:disabled):not(.disabled){cursor:pointer}.btn{display:inline-block;font-weight:400;color:#212529;text-align:center;vertical-align:middle;-webkit-user-select:none;user-select:none;background-color:initial;border:1px solid transparent;padding:.3rem .5rem;font-size:1rem;line-height:1.5;border-radius:.25rem;transition:color .15s ease-in-out,background-color .15s ease-in-out,border-color .15s ease-in-out,box-shadow .15s ease-in-out}.dark .btn{background-color:#c8c8c8;font-weight:500}.btn.disabled,.btn:disabled{opacity:.65}.btn:hover{color:#212529;text-decoration:none}[type=button]:not(:disabled),[type=reset]:not(:disabled),[type=submit]:not(:disabled),button:not(:disabled){cursor:pointer}[type=button],[type=reset],[type=submit],button{-webkit-appearance:button}button,select{text-transform:none}button,input,optgroup,select,textarea{margin:0;font-family:inherit;font-size:inherit;line-height:inherit}.debug-controls--run{color:#28a745;border-color:#28a745;margin-right:5px}.debug-controls--run:hover{background-color:#4ece6c}.debug-controls--step{color:#283ba7;border-color:#283fa7}.debug-controls--step:hover{background-color:#6daeeb}.debug-controls--step.disabled,.debug-controls--step:disabled{color:#b6b6b6;background-color:#61758a;border-color:#415972}.debug-controls--btn-label{margin-right:10px}.debug-controls{padding-left:15px;margin-top:10px}.boxContainer.untypedLambdaBox.active{border-left:5px solid #6495ed}.boxContainer.untypedLambdaBox.inactive{border-left:3px solid #a0baee}.boxContainer.untypedLambdaBox.inactive:hover{border-left-color:#7ca6fa}.untyped-lambda--debug-ctrl{float:left}.untyped-lambda--pick-strategy{margin-left:20px}.untyped-lambda-settings--strategy-radio-wrapper{font-size:.9em}.untyped-lambda-box--macrolist{padding:5px;border-bottom:2px solid grey}.macro-definition{padding:10px;border-bottom:1px solid grey}.macro-name{color:#00f;padding-right:5px}.dark .macro-name{color:#9696ff;padding-right:5px;font-weight:700}.dense-LI{display:inline-block;margin:10px 10px 15px}.untyped-lambda-box--settings{margin-top:20px}.untyped-lambda-settings-label{margin-left:7px}.stratsLabel{margin:10px 0 0}.untyped-lambda-settings--strategy-radio-wrapper{margin-left:10px}.untyped-lambda-settings--strategy-radio-wrapper:first-of-type{padding-right:10px;border-right:2px solid grey}.untyped-lambda-settings--strategy-radio-wrapper input{position:relative;top:2px}.box-settings{margin:10px auto auto;padding:5px 5px 20px;border-bottom:2px solid #000}.untyped-lambda-settings-SLI{margin-top:10px;margin-bottom:10px;display:block}.untyped-lambda-settings-expand{margin-top:20px;display:block}.untyped-lambda-settings-strategies{margin-top:5px;margin-right:50px}.untyped-lambda-settings-SDE{margin-top:10px;margin-bottom:10px;display:block}.untyped-lambda-settings-SDE-{margin-right:50px}.open-as-debug.btn{color:#2771e9;border-color:#1d6be9;margin-right:5px}.open-as-debug:hover{background-color:#89b7ff}.open-as-exercise.btn{color:#00158b;border-color:#010e55}.open-as-exercise:hover{background-color:#8fa0ff}.boxContainer.active.markDownBox{min-height:5em;border-left:5px solid #8c8c8c}.boxContainer.inactive.markDownBox{min-height:5em;border-left:3px solid #b4b4b4}.boxContainer.markDownBox:hover{border-left-color:#8c8c8c}.untyped-lambda--top-bar-custom--button{text-align:center;cursor:pointer;float:left;padding:5px 8.5px}.untyped-lambda--top-bar-custom--button:hover{background-color:#ddd;border-radius:5px}.dark .untyped-lambda--top-bar-custom--button:hover{background-color:#646464;border-radius:5px}.untyped-lambda--top-bar-custom--button.menu-pressed-open{background-color:#f1f1f1;border-radius:5px}.dark .untyped-lambda--top-bar-custom--button.menu-pressed-open{background-color:#646464;border-radius:5px}.markdown-write{margin-right:15px}.markdown-preview,.markdown-write{padding:5px;cursor:pointer;margin:auto}.markdown-selected{background-color:#1976d2;border-radius:5px;color:#fff}.markdown-editing{margin-right:30px;padding-top:3px;padding-bottom:3px;border:2px solid #1976d2;border-radius:5px}.boxNote{margin-top:10px;padding-top:0}.boxTopBar{width:100%;min-height:1em}.topBarTitle{width:40%}.box-top-bar--title-text{max-width:100%;display:inline-block;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;padding:7px;border-bottom:2px solid #dfdfdf}.box-top-bar--title-text:focus{display:inline}.box-top-bar-custom{position:absolute;top:0;right:10em;padding-right:20px;border-right:2px solid grey}.box-top-bar-controls{position:absolute;right:0;top:0;width:10em}.box-top-bar--controls-item{padding-top:5px;padding-bottom:5px;text-align:center;margin-left:10px;cursor:pointer;float:left;width:15%}.box-top-bar--controls-item:hover{background-color:#ddd;border-radius:5px}.dark .box-top-bar--controls-item:hover{background-color:#646464;border-radius:5px}.box-top-bar--controls--settings:hover{background-color:#ddd;border-radius:5px}.box-top-bar-controls .icon{color:#000;font-size:1em}.mini-icon{cursor:pointer;font-size:1em}.box-top-bar--menu{position:absolute;top:40px;right:5px;border-radius:.25rem;z-index:777;background-color:#fff;padding-top:5px;padding-bottom:5px;box-shadow:0 0 15px -1px hsla(0,0%,40%,.5)}.box-top-bar--menu-item{font-size:.9em;padding:8px 2em 8px 1em;cursor:pointer}.box-top-bar--menu-item:hover{background-color:#e6e6e6}.box-top-bar--menu-item--notif{color:#fff;font-size:.8em;text-align:center;font-weight:500;position:absolute;right:-6em;margin:-5px 20px 0;padding:5px 2em 5px 1em;background-color:#4093e0;border-radius:.25rem;float:left;z-index:9999}.box-top-bar--menu-item--share-link{position:absolute;top:0;left:45%;font-size:1.1em;padding:5px;max-width:100%;display:inline-block;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;border-radius:.1rem;box-shadow:0 0 15px -1px hsla(0,0%,40%,.5)}.add_box_after{font-size:1.5em;width:100%;color:#d3d3d3;padding-top:5px;padding-bottom:5px;background-color:#fafafa;text-align:center;cursor:pointer;border-radius:10px;margin:20px auto auto}.dark .add_box_after{background-color:#323232}.add_box_after:hover{color:#a7a7a7;background-color:#f0f0f0}.dark .add_box_after:hover{color:#a7a7a7;background-color:#646464}
/*# sourceMappingURL=main.75977b20.chunk.css.map */