:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;background-color:#242424;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;display:flex;place-items:center;min-width:320px;min-height:100vh}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#1a1a1a;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}@media(prefers-color-scheme:light){:root{color:#213547;background-color:#fff}a:hover{color:#747bff}button{background-color:#f9f9f9}}#root{width:100vw;height:100vh;margin:0;padding:0;text-align:center;-webkit-user-select:none;user-select:none}.main{width:100%;height:100%;display:flex;flex-direction:row;box-sizing:border-box}.buildingBlocks{background-color:#171717;flex:0 0 240px}.formula{background-color:#283b68;border:2px solid black;border-radius:5px;padding:7px;margin:5px;display:inline-flex;align-items:center;gap:0}.metaFormula{color:#ff0}.missingFormula{background-color:#283b68;border:2px dashed black;border-radius:5px;padding-left:20px;margin:5px}.formulaDropZone{display:inline-flex}.box{background-color:#00000080;border-radius:5px;padding:5px;display:flex;flex-direction:column}.buildingBlockMenu{background-color:#00000080;margin:15px;border-radius:5px}.rule{background-color:#dbdb17;color:#000;border:2px solid black;border-radius:5px;padding:5px;display:inline-block;vertical-align:middle;margin:5px;position:relative}.missingRule{background-color:#dbdb17;border:2px dashed black;border-radius:5px;padding-left:20px;margin:5px}.inferenceRule{visibility:hidden;background-color:#dbdb17a9;color:#fff;text-align:center;border-radius:5px;padding:5px;position:absolute;z-index:1;bottom:100%;left:50%;transform:translate(-50%);margin-bottom:6px}.premises{display:flex}.horizontalLine{background-color:#000;height:2px}.rule:hover .inferenceRule{visibility:visible}.ruleDropZone{display:inline-flex}.premiseLine{background-color:#45ad19;border:2px solid black;border-radius:5px;padding:2px;display:inline-block;vertical-align:middle;margin:2px;display:flex;align-items:center;flex-basis:100%}.line.selectable{border-color:#00f}.line.selectable:hover{background-color:#add8e6}.lines{background-color:#ffffff80;border-radius:5px;padding:2px;margin:2px;display:flexbox;flex-direction:column;align-items:center;flex-basis:100%}.DropZoneBetweenLines{position:relative;height:0px;transition:height .12s ease;border-radius:5px;margin:2px}.DropZoneBetweenLines:before{content:"";position:absolute;inset:-8px 0}grid-auto-flow: row; justify-items: stretch; gap: 4px; } .ruleApplicationStep{border-radius:5px;padding:2px;display:flex;align-items:center;flex-basis:100%}.reference{background-color:#00000070;border-radius:20px;padding:0 7px;margin:2px}.reference:hover{background-color:#ffffff70}.reference.activeReference{border:black solid 2px}.line{background-color:#cb1b1b;border:2px solid black;border-radius:5px;padding:2px;vertical-align:middle;margin:2px;display:flex;align-items:center;flex-basis:100%}.mainArea{flex:1;display:flex;justify-content:center;align-items:center}.premiseLines{background-color:#ffffff80;border-radius:5px;padding:2px;margin:2px;display:flexbox;flex-direction:column;align-items:center;flex-basis:100%}.proof{border-radius:5px;padding:2px;display:flexbox;flex-direction:column;align-items:center;flex-basis:100%;flex:0 0 auto;width:fit-content}