@import"https://fonts.cdnfonts.com/css/jetbrains-mono-2";:root{font-weight:400;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}#themeContainer{width:100%;height:100%}#themeContainer.dark{color:#ffffffde;background-color:#242424}#themeContainer.light{color:#000000de;background-color:#d0d0d0}body{margin:0 0 20px;display:flex;width:100%;height:100%;font-family:JetBrains Mono,sans-serif;font-size:10pt;color:#fff}@media only screen and (max-width: 1000px){body{font-size:12pt}}#inputContainer{position:sticky;margin:0;display:grid;grid-template-columns:1fr 10ch;grid-template-rows:1fr;grid-column-gap:0;overflow-y:hidden;overflow-x:hidden}#inputContainer hr{display:none;position:absolute}#ProgramInput{position:relative;width:99%;overflow-x:auto;height:calc(100vh - 50px)}#inputContainer button,select#program_dropdown,div#prelude_dropdown button{background-color:#1a1a1a;cursor:pointer;transition:border-color .25s;border:1px solid rgba(255,255,255,.349);border-radius:10px;width:100%;padding:10px;color:inherit;height:100%}.light #Buttons button,.light select#program_dropdown,.light div#prelude_dropdown button{background-color:#e7e7e7}.light #Buttons button,.light select#program_dropdown{border:1px solid rgba(0,0,0,.349)}select#program_dropdown{text-align:left;word-break:break-all;width:100%}div#Buttons{display:grid;margin:0;height:100%;grid-template-columns:1fr;grid-template-rows:repeat(4,1fr);grid-row-gap:5px}.code-mirror-wrapper{border:2px solid rgba(255,255,255,.349);background-color:#272822;border-radius:10px;flex-grow:1;flex-basis:0;display:flex;flex-direction:column;height:calc(100% - 49px);transition:height .1s!important}.prelude-code-mirror-wrapper{flex-grow:1;flex-basis:0;display:flex;height:100%}.light .code-mirror-wrapper,.light .prelude-code-mirror-wrapper{background-color:#fff}.light .code-mirror-wrapper{border:2px solid rgba(0,0,0,.349)}.code-mirror-wrapper .CodeMirror{margin-top:5px;margin-bottom:5px;margin-left:3px;height:100%!important;width:calc(100% - 4px)}.prelude-code-mirror-wrapper .CodeMirror{height:100%!important;width:100%}div#prelude_dropdown{padding:0;display:block;overflow-y:auto;background-color:#1a1a1a;border-radius:10px;margin-bottom:10px;border:2px solid rgba(255,255,255,.349)}div#prelude_dropdown #prelude{transition:height .1s!important;padding:0;width:100%;height:0}.light div#prelude_dropdown{background-color:#fff;border:2px solid rgba(0,0,0,.349)}div#prelude_dropdown button{width:100%;padding:0;height:30px;border:none;border-radius:0}@media only screen and (max-width: 1000px){#inputContainer{display:block;width:calc(100% - 20px)}}.CodeMirror{font-family:monospace;height:300px;color:#000;direction:ltr}.CodeMirror-lines{padding:4px 0}.CodeMirror pre.CodeMirror-line,.CodeMirror pre.CodeMirror-line-like{padding:0 4px}.CodeMirror-scrollbar-filler,.CodeMirror-gutter-filler{background-color:#fff}.CodeMirror-gutters{border-right:1px solid #ddd;background-color:#f7f7f7;white-space:nowrap}.CodeMirror-linenumber{padding:0 3px 0 5px;min-width:20px;text-align:right;color:#999;white-space:nowrap}.CodeMirror-guttermarker{color:#000}.CodeMirror-guttermarker-subtle{color:#999}.CodeMirror-cursor{border-left:1px solid black;border-right:none;width:0}.CodeMirror div.CodeMirror-secondarycursor{border-left:1px solid silver}.cm-fat-cursor .CodeMirror-cursor{width:auto;border:0!important;background:#7e7}.cm-fat-cursor div.CodeMirror-cursors{z-index:1}.cm-fat-cursor .CodeMirror-line::selection,.cm-fat-cursor .CodeMirror-line>span::selection,.cm-fat-cursor .CodeMirror-line>span>span::selection{background:transparent}.cm-fat-cursor .CodeMirror-line::-moz-selection,.cm-fat-cursor .CodeMirror-line>span::-moz-selection,.cm-fat-cursor .CodeMirror-line>span>span::-moz-selection{background:transparent}.cm-fat-cursor{caret-color:transparent}@-moz-keyframes blink{50%{background-color:transparent}}@-webkit-keyframes blink{50%{background-color:transparent}}@keyframes blink{50%{background-color:transparent}}.cm-tab{display:inline-block;text-decoration:inherit}.CodeMirror-rulers{position:absolute;left:0;right:0;top:-50px;bottom:0;overflow:hidden}.CodeMirror-ruler{border-left:1px solid #ccc;top:0;bottom:0;position:absolute}.cm-s-default .cm-header{color:#00f}.cm-s-default .cm-quote{color:#090}.cm-negative{color:#d44}.cm-positive{color:#292}.cm-header,.cm-strong{font-weight:700}.cm-em{font-style:italic}.cm-link{text-decoration:underline}.cm-strikethrough{text-decoration:line-through}.cm-s-default .cm-keyword{color:#708}.cm-s-default .cm-atom{color:#219}.cm-s-default .cm-number{color:#164}.cm-s-default .cm-def{color:#00f}.cm-s-default .cm-variable-2{color:#05a}.cm-s-default .cm-variable-3,.cm-s-default .cm-type{color:#085}.cm-s-default .cm-comment{color:#a50}.cm-s-default .cm-string{color:#a11}.cm-s-default .cm-string-2{color:#f50}.cm-s-default .cm-meta,.cm-s-default .cm-qualifier{color:#555}.cm-s-default .cm-builtin{color:#30a}.cm-s-default .cm-bracket{color:#997}.cm-s-default .cm-tag{color:#170}.cm-s-default .cm-attribute{color:#00c}.cm-s-default .cm-hr{color:#999}.cm-s-default .cm-link{color:#00c}.cm-s-default .cm-error,.cm-invalidchar{color:red}.CodeMirror-composing{border-bottom:2px solid}div.CodeMirror span.CodeMirror-matchingbracket{color:#0b0}div.CodeMirror span.CodeMirror-nonmatchingbracket{color:#a22}.CodeMirror-matchingtag{background:#ff96004d}.CodeMirror-activeline-background{background:#e8f2ff}.CodeMirror{position:relative;overflow:hidden;background:#fff}.CodeMirror-scroll{overflow:scroll!important;margin-bottom:-50px;margin-right:-50px;padding-bottom:50px;height:100%;outline:none;position:relative;z-index:0}.CodeMirror-sizer{position:relative;border-right:50px solid transparent}.CodeMirror-vscrollbar,.CodeMirror-hscrollbar,.CodeMirror-scrollbar-filler,.CodeMirror-gutter-filler{position:absolute;z-index:6;display:none;outline:none}.CodeMirror-vscrollbar{right:0;top:0;overflow-x:hidden;overflow-y:scroll}.CodeMirror-hscrollbar{bottom:0;left:0;overflow-y:hidden;overflow-x:scroll}.CodeMirror-scrollbar-filler{right:0;bottom:0}.CodeMirror-gutter-filler{left:0;bottom:0}.CodeMirror-gutters{position:absolute;left:0;top:0;min-height:100%;z-index:3}.CodeMirror-gutter{white-space:normal;height:100%;display:inline-block;vertical-align:top;margin-bottom:-50px}.CodeMirror-gutter-wrapper{position:absolute;z-index:4;background:none!important;border:none!important}.CodeMirror-gutter-background{position:absolute;top:0;bottom:0;z-index:4}.CodeMirror-gutter-elt{position:absolute;cursor:default;z-index:4}.CodeMirror-gutter-wrapper ::selection{background-color:transparent}.CodeMirror-gutter-wrapper ::-moz-selection{background-color:transparent}.CodeMirror-lines{cursor:text;min-height:1px}.CodeMirror pre.CodeMirror-line,.CodeMirror pre.CodeMirror-line-like{-moz-border-radius:0;-webkit-border-radius:0;border-radius:0;border-width:0;background:transparent;font-family:inherit;font-size:inherit;margin:0;white-space:pre;word-wrap:normal;line-height:inherit;color:inherit;z-index:2;position:relative;overflow:visible;-webkit-tap-highlight-color:transparent;-webkit-font-variant-ligatures:contextual;font-variant-ligatures:contextual}.CodeMirror-wrap pre.CodeMirror-line,.CodeMirror-wrap pre.CodeMirror-line-like{word-wrap:break-word;white-space:pre-wrap;word-break:normal}.CodeMirror-linebackground{position:absolute;left:0;right:0;top:0;bottom:0;z-index:0}.CodeMirror-linewidget{position:relative;z-index:2;padding:.1px}.CodeMirror-rtl pre{direction:rtl}.CodeMirror-code{outline:none}.CodeMirror-scroll,.CodeMirror-sizer,.CodeMirror-gutter,.CodeMirror-gutters,.CodeMirror-linenumber{-moz-box-sizing:content-box;box-sizing:content-box}.CodeMirror-measure{position:absolute;width:100%;height:0;overflow:hidden;visibility:hidden}.CodeMirror-cursor{position:absolute;pointer-events:none}.CodeMirror-measure pre{position:static}div.CodeMirror-cursors{visibility:hidden;position:relative;z-index:3}div.CodeMirror-dragcursors,.CodeMirror-focused div.CodeMirror-cursors{visibility:visible}.CodeMirror-selected{background:#d9d9d9}.CodeMirror-focused .CodeMirror-selected{background:#d7d4f0}.CodeMirror-crosshair{cursor:crosshair}.CodeMirror-line::selection,.CodeMirror-line>span::selection,.CodeMirror-line>span>span::selection{background:#d7d4f0}.CodeMirror-line::-moz-selection,.CodeMirror-line>span::-moz-selection,.CodeMirror-line>span>span::-moz-selection{background:#d7d4f0}.cm-searching{background-color:#ffa;background-color:#ff06}.cm-force-border{padding-right:.1px}@media print{.CodeMirror div.CodeMirror-cursors{visibility:hidden}}.cm-tab-wrap-hack:after{content:""}span.CodeMirror-selectedtext{background:none}.cm-s-sfl_dark.CodeMirror{background:#272822;color:#f8f8f2}.cm-s-sfl_dark div.CodeMirror-selected{background:#49483e}.cm-s-sfl_dark .CodeMirror-line::selection,.cm-s-sfl_dark .CodeMirror-line>span::selection,.cm-s-sfl_dark .CodeMirror-line>span>span::selection{background:#49483efc}.cm-s-sfl_dark .CodeMirror-line::-moz-selection,.cm-s-sfl_dark .CodeMirror-line>span::-moz-selection,.cm-s-sfl_dark .CodeMirror-line>span>span::-moz-selection{background:#49483efc}.cm-s-sfl_dark .CodeMirror-gutters{background:#272822;border-right:0px}.cm-s-sfl_dark .CodeMirror-guttermarker{color:#fff}.cm-s-sfl_dark .CodeMirror-guttermarker-subtle{color:#d0d0d0}.cm-s-sfl_dark .CodeMirror-linenumber{color:#d0d0d094}.cm-s-sfl_dark .CodeMirror-cursor{border-left:1px solid #f8f8f0}.cm-s-sfl_dark span.cm-comment{color:#75715e}.cm-s-sfl_dark span.cm-atom,.cm-s-sfl_dark span.cm-number{color:#ae81ff}.cm-s-sfl_dark span.cm-comment.cm-attribute{color:#97b757}.cm-s-sfl_dark span.cm-comment.cm-def{color:#bc9262}.cm-s-sfl_dark span.cm-comment.cm-tag{color:#bc6283}.cm-s-sfl_dark span.cm-comment.cm-type{color:#5998a6}.cm-s-sfl_dark span.cm-property,.cm-s-sfl_dark span.cm-attribute{color:#a6e22e}.cm-s-sfl_dark span.cm-keyword{color:#f92672}.cm-s-sfl_dark span.cm-builtin{color:#66d9ef}.cm-s-sfl_dark span.cm-string{color:#e6db74}.cm-s-sfl_dark span.cm-variable{color:#f8f8f2}.cm-s-sfl_dark span.cm-variable-2{color:#9effff}.cm-s-sfl_dark span.cm-variable-3,.cm-s-sfl_dark span.cm-type{color:#66d9ef}.cm-s-sfl_dark span.cm-def{color:#fd971f}.cm-s-sfl_dark span.cm-bracket{color:#f8f8f2}.cm-s-sfl_dark span.cm-tag{color:#f92672}.cm-s-sfl_dark span.cm-header,.cm-s-sfl_dark span.cm-link{color:#ae81ff}.cm-s-sfl_dark span.cm-error{background:#f92672;color:#f8f8f0}.cm-s-sfl_dark .CodeMirror-activeline-background{background:#373831}.cm-s-sfl_dark .CodeMirror-matchingbracket{text-decoration:underline;color:#fff!important}.cm-s-sfl_light span.cm-comment{color:#4a9421}.cm-s-sfl_light span.cm-keyword{line-height:1em;font-weight:700;color:#00f}.cm-s-sfl_light span.cm-string{color:#a22}.cm-s-sfl_light span.cm-builtin{line-height:1em;font-weight:700;color:#077}.cm-s-sfl_light span.cm-special{line-height:1em;font-weight:700;color:#0aa}.cm-s-sfl_light span.cm-variable{color:#000}.cm-s-sfl_light span.cm-number,.cm-s-sfl_light span.cm-atom{color:#3a3}.cm-s-sfl_light span.cm-meta{color:#555}.cm-s-sfl_light span.cm-link{color:#3a3}.cm-s-sfl_light .CodeMirror-activeline-background{background:#1377fa}.cm-s-sfl_light .CodeMirror-matchingbracket{outline:1px solid grey;color:#000!important}.cm-s-sfl_light .CodeMirror-gutters{background:#fff}.cm-s-sfl_light .CodeMirror-linenumber{color:#000a}#root{height:100%;width:100%}#root *{transition-property:color,background-color,border;transition-duration:.1s}html{width:100vw;height:100vh;overflow:hidden}#ASTHistory{list-style:none;padding:0;margin:0}#Error,#prelude{width:96%;padding-left:2%;margin:0;overflow-x:auto}#Error{color:#ff2828d5;white-space:pre-wrap;overflow-x:hidden}#Title{font-family:Lucida Sans,Lucida Sans Regular,Lucida Grande,Lucida Sans Unicode,Geneva,Verdana,sans-serif;font-weight:lighter;text-align:center;height:45px;align-items:center;width:100%}#TitleFlex *{padding:0;height:45px;vertical-align:middle;text-decoration:underline;display:inline-block;margin:auto}#TitleFlex p,#TitleFlex a{margin-top:10px;line-height:40px;text-decoration:none}#TitleFlex a{color:#646cff}#TitleFlex p{padding:0 5px}#rhs{width:calc(50% - 10px);height:100%;overflow-y:auto;overflow-x:hidden;position:absolute;right:0;top:0;padding-top:5px;padding-bottom:5px}#lhs{border-right:1px solid rgba(255,255,255,.349);position:absolute;width:calc(50% - 10px);height:100%;padding-left:5px;padding-right:5px}.light #lhs{border-right:1px solid rgba(0,0,0,.349)}@media only screen and (max-width: 1000px){#lhs{position:relative;display:block;width:100%}#rhs{position:relative!important;display:block;width:100%!important}html{width:100vw;height:auto;overflow-y:auto}#Title{padding-bottom:7px}}#ASTArea pre{width:96%;padding-left:2%;margin:0;overflow-x:auto;padding-bottom:10px;padding-top:10px}#ASTArea h4{margin:0 0 0 2%;padding:0;text-decoration:underline}ul#RCArea{width:100%;padding:0;margin:0;display:flex;flex-wrap:wrap;list-style-type:none}button.rc{border-radius:8px;border:1px solid rgba(255,255,255,.349);background-color:#1a1a1a;cursor:pointer;transition:border-color .25s;white-space:normal;color:inherit;width:calc(100% - 10px);margin:5px 0;padding:10px 0;display:grid;min-height:60px}.light button.rc{border:1px solid rgba(0,0,0,.349);background-color:#e7e7e7}button.rc.multiple{grid-template-columns:1fr 2em 1fr}button.rc>div{width:calc(100% - 20px);text-align:center;padding:0;margin:0;vertical-align:center;position:relative;height:100%;display:flex;align-items:center;justify-content:center}button.rc>div>*{margin:0;white-space:normal;padding:0}button.rc>div#rarrow>*{font-size:1.5em}button.rc>div#progress{margin:auto;font-size:1.5em}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}.expr_history .new{background-color:#2600ff7e}.expr_history .old{background-color:#ff00004f}.expr_history .changed{background-color:#2600ff7e}.light .expr_history .changed{background-color:#ff767688}@media only screen and (max-width: 1000px){button.rc>div#progress{font-size:1em}}div#ASTHistoryWrapper{width:95%;height:100%;overflow-y:auto;overflow-x:hidden;margin:10px 2.5% 20px}table#ASTHistory{border-collapse:collapse;overflow-x:hidden;width:100%;display:table;table-layout:fixed}table#ASTHistory tbody{display:block;overflow-y:auto;overflow-x:hidden;width:100%}table#ASTHistory th,table#ASTHistory td{padding:8px;vertical-align:middle}table#ASTHistory tr{border-top:1px solid #ddd;min-height:50px;width:100%;display:grid;grid-template-columns:30px calc(100% - 30px);grid-template-rows:auto}.light table#ASTHistory tr{border-top:1px solid #222}table#ASTHistory td.index{text-align:center;display:inline;padding:0;height:100%;width:100%;vertical-align:middle;margin:auto 0}table#ASTHistory td.index p{height:100%;display:inline;vertical-align:middle}table#ASTHistory td.ast{width:98%;cursor:pointer}tr.top td.ast{cursor:default!important}table#ASTHistory tr.top{border-top:none;width:100%}table#ASTHistory .index{border-right:1px solid #ddd;width:5%;min-width:10px}.light table#ASTHistory .index{border-right:1px solid #222}li.expr_history{width:100%}div.center_area{font-family:inherit;border:1px solid #555;display:grid;grid-template-rows:1fr;grid-template-columns:1fr 50px 1fr;width:calc(100% - 40px);padding:15px 10px;margin:auto}div.center_area>div{padding-left:15px;position:relative;height:100%;display:flex;align-items:center;justify-content:center;vertical-align:center;overflow-x:auto;min-height:40px}div.center_area>div>pre{margin:auto;max-width:100%}div.center_area>div#divider{font-size:1.5em;padding:0;width:100%;text-align:center}div.exprListing{margin-top:10px;width:100%;overflow-x:auto}div.exprListing pre{width:fit-content;margin:auto}div#settings.hidden{display:none}div#settings.visible{display:block;position:absolute;background-color:#303030;width:calc(60% - 20px);z-index:1;border-radius:10px;border:3px solid rgba(255,255,255,.349);padding:10px;margin:10px 20%;word-break:break-word;white-space:normal;min-height:calc(100% - 56px)}.light div#settings.visible{background-color:#f0f0f0;border:3px solid rgba(0,0,0,.349)}div#settings>button#dismiss{float:right}div#settings>div{position:relative;width:90%}div#settings>div>h2{margin:0;text-decoration:underline}@media only screen and (max-width: 1000px){div#settings.visible{width:calc(80% - 20px);margin-left:10%}}