@font-face{font-family:JuliaMono-Light;src:url(https://cdn.jsdelivr.net/gh/cormullion/juliamono/webfonts/JuliaMono-Light.woff2)}:root{font-family:JuliaMono-Light;font-size:1rem;font-style:normal;line-height:1.6}*{box-sizing:border-box;margin:0;padding:0}#container{flex-direction:column;justify-content:center;align-items:center;width:100vw;height:100vh;padding:1rem;display:flex;overflow:hidden}#panes{width:100%;height:100%;overflow:hidden}.vertical-split,.horizontal-split{width:100%;height:100%;display:flex;overflow:hidden}.vertical-split{flex-direction:row}.horizontal-split{flex-direction:column}#editor-and-bars-wrapper,#out-container{flex-direction:column;flex:auto;min-width:80px;height:100%;display:flex;overflow-x:hidden}.v-gutter{background:var(--dark-bg);cursor:ew-resize;-webkit-user-select:none;user-select:none;height:100%;padding:0 .25rem}.h-gutter{background:var(--dark-bg);cursor:ns-resize;-webkit-user-select:none;user-select:none;width:100%;padding:0 .25rem}#out-container{border-right:40px solid var(--dark-bg)}.error-display{pointer-events:none;z-index:100;background-color:var(--bg);color:red;padding:0 16px .25lh;position:absolute}#editor-and-line-gutter-wrapper{height:100%;display:flex;position:relative;overflow-y:scroll}#out-main{width:100%;height:100%;white-space:preserve nowrap;box-sizing:border-box;flex-direction:column;gap:1rem;display:flex;position:relative;overflow-x:scroll}#out-controls{border-top:2px solid var(--dark-bg);-webkit-user-select:none;user-select:none;flex-shrink:0;justify-content:center;align-items:center;gap:2rem;display:flex}.out-control-button{color:var(--bg);background:var(--text);cursor:pointer;border-radius:4px;height:24px;padding:.25rem .75rem;display:inline}.out-cell{display:inline-block;position:relative}.out-cell-hold{opacity:1;max-width:100px}.out-cell-shrinking{opacity:0;max-width:0;transition:max-width 1s,opacity 1s}.lambda-block-inf-warner{color:#8b0000;cursor:pointer;border:2px solid #8b0000;border-radius:1rem;flex-shrink:0;justify-content:center;align-items:center;min-height:100px;margin:1rem;display:flex}.lambda-block{border:2px solid var(--dark-bg);border-radius:1rem;flex-shrink:0;min-height:100px;margin:1rem;display:flex;overflow:scroll}.alpha-conversion-block{flex-shrink:0;justify-content:center;display:flex}.lambda-block-span{height:min-content}.lambda-block-highlight{background:red}#line-gutter{text-align:right;-webkit-user-select:none;user-select:none;background:var(--dark-bg);flex-shrink:0;width:40px;height:100%;padding:0 8px;overflow:hidden}.gutter-line:first-child{padding:12px 0 .25lh}.gutter-line{color:var(--text);tab-size:4;white-space:pre;overflow-wrap:normal;overscroll-behavior:none;border:none;outline:none;width:max-content;min-width:100%;height:max-content;padding-bottom:.25lh;font-family:JuliaMono-Light;display:block;overflow:auto}#editor-root{width:100%;height:100%;overflow-x:scroll}.editor-line:first-child{padding:12px 16px .25lh}.editor-line{color:var(--text);tab-size:4;white-space:pre;overflow-wrap:normal;overscroll-behavior:none;border:none;outline:none;width:max-content;min-width:100%;height:max-content;padding:0 16px .25lh;font-family:JuliaMono-Light;display:block;overflow:auto}.focused-line{background:var(--dark-bg)}#editor{resize:none;background:var(--bg);color:var(--text);tab-size:4;white-space:pre;overflow-wrap:normal;overscroll-behavior:none;border:none;outline:none;flex:1;height:100%;padding:12px 16px;font-family:JuliaMono-Light;overflow:auto}.top-bar{width:100%;color:var(--text);background:var(--dark-bg);flex-shrink:0;flex-basis:1px;justify-content:space-between;align-items:center;gap:16px;padding:4px 40px;display:flex}.bottom-bar{width:100%;color:var(--text);background:var(--dark-bg);flex-shrink:0;flex-basis:1px;gap:16px;padding:4px 40px;display:flex}#hanoi{border:5px solid var(--dark-bg);flex-direction:column;flex:auto;height:100%;min-height:20px;display:flex;overflow:hidden}#hanoi-easel{width:100%;height:100%;position:relative}.hanoi-peg{-webkit-user-select:none;user-select:none;pointer-events:none;background:#000;position:absolute;bottom:0}.hanoi-controls-container{-webkit-user-select:none;user-select:none;border-radius:2rem;display:flex;position:absolute;top:0;left:0}.hanoi-controls-solve-non-lambda{border:2px solid var(--dark-bg);margin:.25rem;padding:.25rem}.hanoi-controls-button{border:2px solid var(--dark-bg);cursor:pointer;margin:.25rem;padding:.25rem}.hanoi-disk{-webkit-user-select:none;user-select:none;pointer-events:none;color:#fff;z-index:1;background:#000;border-radius:2rem;justify-content:center;align-items:center;height:24px;transition:transform .1s,background .1s,left .1s,bottom .1s;display:flex;position:absolute}.hanoi-disk-dragging{background:#00f}