@import"https://fonts.googleapis.com/css2?family=Roboto:wght@400;700&display=swap";:root{color-scheme:light dark}body{font-family:Roboto,sans-serif;font-size:1.25rem}.math-mode{font-family:Times New Roman,serif;font-style:italic}.text-mode{font-family:Roboto,sans-serif;font-style:normal}body{background-color:#21222c;color:#f8f8f2;display:flex;flex-direction:column;width:98%;height:98vh;max-height:98vh;margin:1vh 1vw}input,button,select{background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;border-radius:3px;padding:0 2px;font-family:Roboto Mono,sans-serif}input:disabled,button:disabled,select:disabled{background-color:#2c2e3b;color:#b6b7b6;cursor:not-allowed}button{font-family:Roboto,sans-serif}.attention{animation:glow 3s infinite ease-in-out}@keyframes glow{0%,to{box-shadow:0 0 1px .1rem #242530}50%{box-shadow:0 0 1px .1rem #f8f8f2}}#blocker{position:fixed;top:0;left:0;width:100%;height:100%;background-color:#00000080;z-index:999}#blocker.visible{display:flex}#blocker:not(.visible){display:none}button{background-color:#44475a;color:#f8f8f2;border:#14141a solid 2px;border-radius:3px;padding:2px;font-family:Roboto,sans-serif;-webkit-user-select:none;user-select:none}button:disabled{background-color:#2c2e3b;color:#b6b7b6}button:active{background-color:#52566c}button:not(:disabled){cursor:pointer}.custom-menu{display:none;position:absolute;box-shadow:1px 1px 2px #888;border:solid 1px #ccc;background-color:#44475a;z-index:1000}#custom-context-menu{user-select:none;-webkit-user-select:none;-ms-user-select:none}#custom-context-menu ul{list-style:none;padding:0;margin:0}#custom-context-menu ul li{padding:10px;text-align:left}#custom-context-menu ul li:not([disabled]){cursor:pointer}#custom-context-menu ul li:not([disabled]):hover{background-color:#52566c}#custom-context-menu ul li[disabled]{background-color:#2c2e3b;cursor:not-allowed}#custom-context-menu ul li:not(:first-child){border-top:1px solid #ccc}#error-message{position:fixed;bottom:20px;right:20px;background-color:#f55;color:#282a36;padding:15px;border-radius:5px;box-shadow:0 3px 6px #00000029,0 3px 6px #0000003b;opacity:0;visibility:hidden;z-index:100;transition:opacity .5s,visibility .5s}#error-message.fade-in{opacity:1;visibility:visible}#error-message.fade-out{opacity:0;visibility:hidden}.dropdown-selector-container{display:inline-flex;position:relative}.dropdown-selector-container.focused{box-shadow:-1px 0 2px 1px #f8f8f2,0 -1px 2px 1px #f8f8f2,1px 0 2px 1px #f8f8f2,0 1px 2px 1px #f8f8f2;border-radius:3px}.dropdown-selector-container input[type=text]:not(.identifier-lookup,[disabled]),.dropdown-selector-container .expr-selector-input{margin:0;border-radius:3px 0 0 3px;outline:none}.dropdown-selector-container button{margin:0;border:#14141a solid 1px;border-radius:0 3px 3px 0}.dropdown-selector-container .dropdown{position:absolute;top:100%;left:0;background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;z-index:1;box-shadow:0 2px 4px #00000029,0 2px 4px #0000003b;pointer-events:bounding-box;overflow-x:hidden;overflow-y:auto;max-height:20rem}.dropdown-selector-container .dropdown.show{display:block}.dropdown-selector-container .dropdown:not(.show){display:none!important}.dropdown-selector-container .dropdown>ul{list-style:none;padding:0;margin:0}.dropdown-selector-container .dropdown>ul li{cursor:pointer;padding:.2rem;text-align:left;z-index:100;font-style:normal}.dropdown-selector-container .dropdown>ul li.highlight{background-color:#52566c;box-shadow:0 2px 4px #00000029,0 2px 4px #0000003b;font-weight:700}.dropdown-selector-container .dropdown>ul li.hidden{display:none}.dropdown-selector-container .dropdown>ul li:hover{background-color:#4e526a}div.expr-selector-container{display:inline-flex!important;border-radius:.2rem}form{display:inline}input[type=text]{background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;border-radius:3px;padding:0 2px;font-family:Roboto Mono,sans-serif;height:1.4rem;font-size:1.1rem}input[type=text]:disabled{background-color:#2c2e3b;color:#b6b7b6;cursor:not-allowed}input[type=number]{background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;border-radius:3px;padding:0 2px;font-family:Roboto Mono,sans-serif;height:1.4rem;font-size:1.1rem;-moz-appearance:textfield}input[type=number]:disabled{background-color:#2c2e3b;color:#b6b7b6;cursor:not-allowed}input[type=number]::-webkit-outer-spin-button,input[type=number]::-webkit-inner-spin-button{-webkit-appearance:none;margin:0}.custom-input,input[type=checkbox],input[type=radio]{margin:0 .5rem 0 0;-webkit-appearance:none;-moz-appearance:none;appearance:none;font:inherit;color:#f8f8f2;background-color:#44475a;border:#14141a solid 1px;width:1em;height:1em;display:grid;place-content:center}.custom-input:before,input[type=checkbox]:before,input[type=radio]:before{content:"";width:.5em;height:.5em;margin:.2em;background-color:#f8f8f2}.custom-input:hover,input[type=checkbox]:hover,input[type=radio]:hover{border:#f8f8f2 solid 1px}input[type=radio]{border-radius:50%}input[type=radio]:before{border-radius:50%;transition:transform .1s;transform:scale(0)}input[type=radio]:checked:before{transform:scale(1)}input[type=checkbox]{border-radius:10%}input[type=checkbox]:before{border-radius:10%;transition:opacity .1s;opacity:0}input[type=checkbox]:checked:before{opacity:1}select{background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;border-radius:3px;padding:.2rem;font-size:1.1rem}select:disabled{background-color:#2c2e3b;color:#b6b7b6;cursor:not-allowed;opacity:.6}label,.prevent-select,#tree :not(input){user-select:none;-webkit-user-select:none;-ms-user-select:none}a.event-link{text-decoration:underline;cursor:pointer}.hidden{display:none}div#lang-selector-div select#lang-selector{font-size:1.3rem}div.literal-checkbox-container input[type=checkbox].literal.boolean{background-repeat:no-repeat;background-size:contain;width:1.4rem;height:1.4rem;aspect-ratio:1/1;margin-right:0}div.literal-checkbox-container input[type=checkbox].literal.boolean:before{opacity:0}.subtree-expr-editor{position:absolute;bottom:100%;left:0;transform:translateY(1rem)}.subtree-expr-editor>input{min-width:16ch}table{border-collapse:collapse;text-align:left}table tr td{border:.1rem solid #b8c0c3;padding:.25rem}div#tasks.control-group{overflow-y:scroll;flex-grow:1;flex-shrink:1;min-width:20rem;margin-left:auto;margin-right:0}div#tasks.control-group.fulfilled{background-color:#1c532b}div#tasks.control-group div.task{border:1px solid #14141a;border-radius:.2rem;margin:.1rem;padding:.2rem;background-color:#282a36;box-shadow:0 0 .3rem #14141a;overflow:hidden}div#tasks.control-group div.task h3{font-size:1.1rem;margin:0}div#tasks.control-group div.task p.description{margin:0;font-size:.9rem;transition:max-height .2s ease}div#tasks.control-group div.task.fulfilled{background-color:#1c532b}.tooltip .tooltip-text{visibility:hidden;background-color:#44475a;color:#f8f8f2;border:#14141a solid 1px;text-align:center;border-radius:6px;padding:2px 3px;position:absolute;z-index:1;bottom:100%;left:0;white-space:normal;word-wrap:anywhere;width:max-content;max-width:60ch;opacity:0;transition:opacity .3s;box-shadow:1px 1px 2px #0000004d;overflow-x:auto}.tooltip .tooltip-text .scoped-variables>div{white-space:nowrap}.tooltip:hover .tooltip-text{visibility:visible;opacity:1}.tooltip div{display:inline}.tooltip:not(.tooltip .tooltip){position:relative;display:inline-block;border-bottom:1px dashed #f8f8f2}#controls{display:flex;justify-content:flex-start;align-items:flex-start;width:100%;max-height:12rem;overflow-x:auto;z-index:1;transition:max-height .3s ease-in-out,opacity .9s ease}#controls h3{margin-top:0;margin-bottom:.5em}#controls h4{margin-top:0;margin-bottom:0}#controls a{color:#8be9fd}#controls.hidden{max-height:0;user-select:none;-webkit-user-select:none;-ms-user-select:none;pointer-events:none}div.control-group{margin:0 .1rem;background-color:#242530;border:.1rem solid #14141a;border-radius:.3rem;box-shadow:0 0 .3rem #14141a;padding:.25rem;height:fit-content;width:max-content;flex-shrink:0;max-height:10rem}div.control-group form{display:flex;flex-direction:column}div.control-group form label{display:flex;align-items:center}div.control-group .controls-organised-col{display:flex;flex-direction:column;justify-content:flex-start;gap:.1rem}div.control-group .controls-organised-row{display:flex;flex-direction:row;justify-content:flex-start;gap:.1rem}#toggle-controls-button{z-index:10;width:100%}#controls-container{background-color:#191a21;border-radius:.4rem;box-shadow:0 0 .3rem #191a21;padding:.05rem .05rem 0}.modal-display{z-index:1000;position:absolute;padding:1rem;border-radius:.3rem;background-color:#242530;border:.1rem solid #14141a;box-shadow:0 0 2rem #00000080;left:50%;transform:translate(-50%)}.modal-display:not(.visible){display:none!important}.modal-display h2{margin-top:0;margin-bottom:.5rem}#export-output-container{flex-direction:column;width:80%;height:80%;display:flex}#export-output-container #export-output-title{font-size:1.875rem}#export-output-container #export-output-desc{color:#6272a4}#export-output-container #export-output-desc.visible{display:block}#export-output-container #export-output-desc:not(.visible){display:none}#export-output-container #export-output{resize:none;height:100%;background-color:#282a36;color:#f8f8f2}#export-output-container #export-output-controls{display:flex;flex-direction:row;justify-content:flex-end;margin-top:10px}#export-output-container #export-output-controls button{margin-left:10px;padding:5px}.example-outer{border:1px solid #f8f8f2;border-radius:2px;padding:5px;margin-bottom:10px;position:relative;width:fit-content;max-width:100%}#guide{max-width:65ch;margin:0 auto;padding:0 1rem 2rem;box-shadow:#14141a 0 0 1rem 1rem;max-height:none;height:auto}#guide h1,#guide h2,#guide h3,#guide h4,#guide h5,#guide h6{margin-bottom:1rem;margin-top:0}#guide p,#guide ul{margin:0 0 .5em}.parse-preview{position:absolute;z-index:999;transform:translateY(calc(-100% - .5rem));background-color:#242530;border:1px solid #14141a;border-radius:.1rem;pointer-events:none;padding:.2rem}.parse-preview:not(.show){opacity:0}.parse-preview .error{color:#f55}.rule-preview{position:absolute;z-index:1000;opacity:.9;left:100%;background-color:#242530;border:1px solid #14141a;border-radius:.1rem;pointer-events:none;white-space:nowrap}.rule-preview .assumptions *,.rule-preview .conclusion *{display:inline}.rule-preview .assumptions{display:flex;flex-direction:column;border-bottom:2px solid #f8f8f2}.rule-preview .conclusion{display:inline-block;position:relative;margin:0 auto}.rule-preview:not(.show){opacity:0}.rule-preview:hover{opacity:1}.rule-preview>div{display:flex!important;flex-direction:column}.rule-preview>div>div{display:flex!important;flex-direction:row;border:1px solid #14141a}.rule-preview>div>div>*{margin:0 auto}.rule-preview>div>div>*:not(:last-child){margin-right:1rem}.rule-preview .rule-type,.rule-preview .rule-eval{display:flex!important;flex-direction:column;overflow:hidden;padding:.2rem}.rule-preview .rule-type>div,.rule-preview .rule-eval>div{display:flex!important;flex-direction:row;justify-content:center}.rule-preview .rule-type>div>*:not(:last-child),.rule-preview .rule-eval>div>*:not(:last-child){margin-right:1rem}#tree-and-toolbox{max-width:100vw;height:100%;min-height:100px;overflow:clip;display:flex;flex-direction:row}#tree-container{border:#14141a solid 1px;background-color:#282a36;box-shadow:#14141a 0 0 .4rem;width:100%;height:100%;min-height:100px;overflow:clip;flex-grow:1;min-width:75%;z-index:10}#tree-container.file-drag-highlight{border:2px dashed #4CAF50;background-color:#49494d}#tree{width:max-content;overflow:visible;white-space:nowrap}#subtree-toolbox{display:flex;flex-direction:column;flex-basis:25%;max-width:30%;min-width:10rem;max-height:100%;overflow-x:clip;overflow-y:auto;padding:.3rem;background-color:#232630;background-repeat:no-repeat;background-size:contain;border:#14141a solid 1px;align-items:center;justify-items:flex-start;gap:.5rem;white-space:nowrap;user-select:none;-webkit-user-select:none;-ms-user-select:none}#subtree-toolbox.hidden{display:none}#subtree-toolbox>*{flex-shrink:1}#subtree-toolbox .toolbox-entry:hover{background-color:#52566c;border-radius:.2rem}#subtree-toolbox .toolbox-entry .subtree{pointer-events:none}.subtree{display:flex!important;flex-direction:column-reverse;align-items:center;align-self:flex-end;position:relative;border-radius:3px}.subtree .args{display:flex!important;flex-direction:row;justify-content:center}.subtree:not(:last-child){margin-right:20px}.subtree:before{content:"";height:2px;background:#f8f8f2;width:100%;position:absolute;bottom:1.4em;left:50%;transform:translate(-50%,-50%)}.subtree .annotation-axiom,.subtree .annotation-new{font-size:.75rem;color:#6272a4;padding:.1rem;transform:translateY(.4rem)}.subtree .annotation-axiom.annotation-axiom,.subtree .annotation-new.annotation-axiom{align-self:end}.subtree .annotation-axiom.annotation-new,.subtree .annotation-new.annotation-new{align-self:flex-end}.subtree .phantom-indicator{display:none;background:none;position:absolute;top:0;left:0;width:1.5em;height:1.5em}.subtree .phantom-indicator.visible{display:block}.subtree.drag-highlight{border:2px dashed #50fa7b;background-color:#52566c}.highlight{background-color:#52566c}.node{display:inline-flex!important;margin-top:.3em;height:1.7em;align-items:flex-end;justify-content:space-between}.node .expr,.node .type,.node .expr span,.node .expr div,.node .type span,.node .type div{display:inline}.node div.scoped-variables{display:inline-flex}.guide-highlight{color:#f8f8f2;box-shadow:-1px 0 2px 1px #f8f8f2,0 -1px 2px 1px #f8f8f2,1px 0 2px 1px #f8f8f2,0 1px 2px 1px #f8f8f2;outline:#f8f8f2}.placeholder{border:#14141a solid 1px;border-radius:3px;padding:0 2px;background-color:#2c2e3b;color:#b6b7b6;cursor:not-allowed;user-select:none;-webkit-user-select:none;-ms-user-select:none}.value-highlighting-enabled .value{color:#50fa7b}.value-highlighting-enabled .value-type{color:#f1fa8c}.error-origin{color:#f55}.error-child{color:#ffb86c}#tree-buttons{margin:3px;z-index:100;position:relative;display:inline-block}#tree-buttons button{padding:0}#tree-buttons button img{vertical-align:middle}