@import "https://unpkg.com/@lqv/codebooth@0.1.0/dist/style.min.css";
.fat-fingers{fill:transparent}@media (any-hover:hover){.fat-fingers{display:none !important}}@media (any-hover:none){.rp-controls-help{display:none}}.rp-controls-help{cursor:pointer;height:100%}.rp-help-dialog{background-color:rgba(0,0,0,0.85);color:#fff;font-size:1.5rem;height:100vh;padding:5vh 10vh;width:160vh;position:fixed;left:calc(50vw - 80vh);top:0;z-index:1001}.rp-help-dialog > button{background:none;border:none;color:#f00;cursor:pointer;font-family:sans-serif;font-size:5em;position:absolute;right:2%;top:-1%}.rp-help-tables{display:flex;justify-content:space-around}.rp-help-tables > table{border-collapse:separate;border-spacing:1em 1.5em;font-family:sans-serif;vertical-align:top}.rp-help-tables > table > caption{color:#1a69b5;font-family:sans-serif;font-size:1.2em;font-weight:bold}.rp-help-tables > table th{font-weight:normal;text-align:right}.rp-help-tables kbd{color:#ff0}.rp-loading-screen,.lv-loading-screen{background-color:rgba(0,0,0,0.7);display:block;height:100%;position:absolute;width:100%;z-index:10000}.rp-loading-spinner,.lv-loading-spinner{border:2rem solid #f3f3f3;border-top:2rem solid #1a69b5;border-radius:50%;margin:40vmin auto 0 auto;width:20vmin;height:20vmin;animation:spin 1s linear infinite}@-moz-keyframes spin{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}@-webkit-keyframes spin{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}@-o-keyframes spin{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}@keyframes spin{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}.draggable{cursor:grab;cursor:-webkit-grab}body.dragging .lv-canvas,body.dragging .draggable,.dragging{cursor:grabbing;cursor:-webkit-grabbing}body{font-family:"Alegreya"}*{-webkit-tap-highlight-color:transparent !important}.lv-canvas{background:#121212;color:#fff}.lv-player.editor{background-color:#134e86}.lv-thumbnail-title,.lv-thumbnail-time{font-family:"Droid Sans Mono",sans-serif}.lv-settings-dialog > table > tbody > tr{font-family:"Roboto Slab",sans-serif}.lv-controls-time{font-family:"Droid Sans Mono",sans-serif}.lv-pausescreen{height:100%;width:100%;z-index:10000;position:absolute;left:0;top:0;background-color:rgba(0,0,0,0.75)}.explore-node{background:#fff;border-radius:4px;box-shadow:4px 4px 8px rgba(0,0,0,0.4);cursor:pointer;display:inline-block;height:calc((27.5rem - 1.5em) * 15/64 + 1em);width:27.5rem;overflow:hidden;text-overflow:ellipsis;vertical-align:top}.explore-node > a{color:#000;font-weight:normal;display:grid;grid-template:"img info";grid-template-columns:3fr 5fr;grid-column-gap:.5em;height:100%;width:100%;padding:.5em;text-overflow:ellipsis}.explore-node-content{grid-area:info}.explore-node .preview{grid-area:img;height:100%;width:100%}.explore-node-name{color:#138684;font-family:"Alegreya",serif;font-size:1.2em;font-weight:bold;display:block;padding:0}.explore-node-description{font-family:"Alegreya Sans",sans-serif;margin:0;vertical-align:top;width:auto;text-align:left}.rp-prompt{display:none}.rp-prompt{z-index:999999}section > h1{color:#138684;font-size:13em;top:5rem;position:absolute;text-align:center;width:100%}section > h2{color:#1a69b5;font-size:6em;top:25rem;position:absolute;text-align:center;width:100%}section > h3{color:#af1866;font-size:3rem;top:2%;position:absolute;text-align:center;width:100%}#exp1-link{position:absolute;left:5%;top:10%}#intro-eqn{color:#1a69b5;font-size:5em;position:absolute;text-align:center;width:100%;top:10%}#intro-prev{color:#ff7000;font-size:2em;position:absolute;left:60%;top:10%}#intro-today{color:#1bbb68;font-size:2em;position:absolute;left:64.6%;top:20%}#intro-define,#intro-compute{color:#ae81ff;font-size:3.5em;border-bottom:1px solid #ae81ff}#intro-define{position:absolute;left:5%;top:35%}#intro-compute{position:absolute;top:35%;right:5%}#intro-define-steps{font-size:2em;position:absolute;left:5%;top:48%;list-style-position:inside}#intro-define-steps > li{margin-bottom:1em}#intro-define-steps > li > em{color:#ff0}#intro-sqrt{font-size:2.5em;position:absolute;left:68.5%;top:48%}#sqrt-link{position:absolute;left:calc((100% - 27.5rem) / 2);top:70%}#formal-prev{font-size:5em;color:#1a69b5;top:15%;position:absolute;text-align:center;width:100%}#formal-today{font-size:5em;color:#1a69b5;top:15%;position:absolute;text-align:center;width:100%}#formal-64{font-size:4em;color:#1bbb68;position:absolute;left:37%;top:40%}#formal-64 .vlist-test > span ~ span{top:0 !important}#formal-row{color:#ae81ff;font-size:4em;position:absolute;left:42.3%;top:35%}#formal-grid{color:#ae81ff;font-size:4em;position:absolute;left:35.2%;top:32%}#formal-qed{color:#138684;font-size:3em;position:absolute;text-align:center;width:100%;top:82%}.mjx-adjust{position:relative !important;top:.5em}#rational-identity{font-size:5em;color:#1a69b5;top:15%;position:absolute;text-align:center;width:100%}#rational-y{font-size:4em;color:#1bbb68;top:35%;position:absolute;text-align:center;width:100%}#rational-ab{position:absolute;text-align:center;width:100%;font-size:4em;color:#ae81ff;top:50%}#rational-mult{position:absolute;text-align:center;width:100%;font-size:4em;color:#ae81ff;top:50%}#rational-defn,#rational-defn-amend{position:absolute;text-align:center;width:100%;color:#138684;font-size:2.8em;top:15%}#rational-defn .katex,#rational-defn-amend .katex{font-family:"Alegreya"}#rational-qs{color:#ae81ff;font-size:4em;list-style-position:inside;position:absolute;left:5%;top:30%}#rational-qs > li{text-align:left}#rational-prev-exist,#rational-prev-unique{color:#e6db74;font-size:.75em;margin-left:1em}#rational-not-unique{color:#1bbb68;font-size:3.5em;position:absolute;text-align:center;width:100%;top:60%}#rational-sqrt-1{color:#1bbb68;font-size:3.5em;position:absolute;left:10%;top:60%}#rational-fail{color:#a52117;font-size:3.5em;position:absolute;left:35%;top:60%}#real .katex-display{margin:.5em 0}#real em{color:#e6db74}#real-graph{position:absolute;left:22.5%;top:12.5%;border-radius:2px;height:calc(60% - var(--rp-controls-height));width:55%;background:#333}#real-graph > svg{position:absolute;left:2%;top:2%;width:98%;height:96%}.rules line,.rules path{shape-rendering:crispEdges}.domain{stroke:#aaa}.rules .minor{stroke:#eee}.tick > line{stroke:rgba(255,255,255,0.067)}.x_grid > .tick > text{fill:#fff}.y_grid > .tick > text{fill:#fff}.x_axis{stroke:#000;stroke-width:2}#real-graph circle{fill:#ae81ff}#real-graph-eqn{color:#ae81ff;font-size:3em;position:absolute;text-align:center;width:100%;top:calc(75% - var(--rp-controls-height))}#real-form{font-size:2em;position:absolute;left:25%;top:calc(85% - var(--rp-controls-height));width:50%}#real-form > table{border-collapse:separate;border-spacing:.5em 0;margin:0 auto}#real-form > table > tbody > tr > td:last-child{font-family:monospace;font-size:1.5em;text-align:right;width:4ch}#real-form input[type="number"]{font-size:1em;width:6ch}#real-form input[type="range"]{background:transparent;-webkit-appearance:none}#real-form input[type="range"]:focus,#real-form input[type="range"]:active{outline:0 none transparent}#real-form input[type="range"]::-webkit-slider-thumb{-webkit-appearance:none;height:1.1em;width:1.1em;background:#af1866;border:1px solid #000;border-radius:1em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d;cursor:pointer;margin-top:-.5em;line-height:1.5em;vertical-align:middle;-webkit-tap-highlight-color:transparent;-webkit-touch-callout:none}#real-form input[type="range"]::-moz-range-thumb{-webkit-appearance:none;height:1.1em;width:1.1em;background:#af1866;border:1px solid #000;border-radius:1em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d;cursor:pointer;margin-top:-.5em;line-height:1.5em;vertical-align:middle;-webkit-tap-highlight-color:transparent;-webkit-touch-callout:none}#real-form input[type="range"]::-ms-thumb{-webkit-appearance:none;height:1.1em;width:1.1em;background:#af1866;border:1px solid #000;border-radius:1em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d;cursor:pointer;margin-top:-.5em;line-height:1.5em;vertical-align:middle;-webkit-tap-highlight-color:transparent;-webkit-touch-callout:none}#real-form input[type="range"]::-webkit-slider-runnable-track{height:2px;cursor:pointer;background:#fff;border-radius:1.3px;margin:auto 4px;vertical-align:middle;line-height:1.5em;-webkit-tap-highlight-color:transparent}#real-form input[type="range"]::-moz-range-track{height:2px;cursor:pointer;background:#fff;border-radius:1.3px;margin:auto 4px;vertical-align:middle;line-height:1.5em;-webkit-tap-highlight-color:transparent}#real-form input[type="range"]::-ms-track{height:2px;cursor:pointer;background:#fff;border-radius:1.3px;margin:auto 4px;vertical-align:middle;line-height:1.5em;-webkit-tap-highlight-color:transparent}#real-form > span{font-size:2em}#real > ul{position:absolute;left:5%;top:20%;color:#1a69b5;font-size:3em}#real > ul > .defn{color:#1bbb68}#real > ul .katex-display{color:#ff0080}#algo > p{font-size:2.2em;position:absolute;left:2.5%;top:15%}#algo ol{color:#e6db74;font-size:2.2em;position:absolute;left:10%;top:24%;width:95%}#algo ol > li{margin:.5em 0;width:100%}#algo ol > li > .algo-ex{display:block;margin-top:.15em;margin-left:1em}.algo-ex{color:#1bbb68}.reason{color:#1a69b5;position:absolute;left:65%;text-align:left}.lqv-codebooth{--v-split:50%}.lqv-console{left:var(--split);height:var(--v-split);grid-area:none;width:calc(100% - var(--split));position:absolute;bottom:0}body.dark .lqv-console > output > pre{color:#fff}#visual-aids{position:absolute;color:#0f0;left:var(--split);width:calc(100% - var(--split));height:calc(100% - var(--v-split));font-size:2em}#visual-aids > .katex-display{position:absolute;width:100%}