span.svelte-1w99v4o{display:table;margin:0;font-size:var(--fontSize);text-align:center;vertical-align:center}.literal-component.svelte-1lrmb02{width:var(--plain-literal-width);height:var(--plain-literal-height);padding-top:30px;display:flex;flex-direction:column;justify-content:flex-end}.satisfied-background.svelte-1lrmb02{background-color:var(--satisfied-color-o);border-left:1px solid;border-right:1px solid;border-color:var(--satisfied-border-color-o)}.unsatisfied-background.svelte-1lrmb02{border-left:1px solid;border-right:1px solid;border-color:var(--unsatisfied-border-color-o);background-color:var(--unsatisfied-color-o)}.temporal-background.svelte-1lrmb02{border-left:1px solid;border-right:1px solid;border-color:var(--temporal-color)}.lemma-background.svelte-1lrmb02{background-color:var(--lemma-color);border-left:1px solid;border-right:1px solid;border-color:var(--lemma-border-color)}clause.svelte-qevhwl{display:flex;flex-direction:column;align-items:center;padding:0 calc(4px + .25rem);min-width:var(--empty-slot)}.satisfied-background.svelte-qevhwl{position:relative}.satisfied-background.svelte-qevhwl:after{position:absolute;top:-1px;width:var(--plain-literal-width);border-top:1px solid;border-color:var(--satisfied-border-color-o);content:""}.unsatisfied-background.svelte-qevhwl{position:relative}.unsatisfied-background.svelte-qevhwl:after{position:absolute;top:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--unsatisfied-border-color-o);content:""}.unsatisfied-background.svelte-qevhwl:before{position:absolute;bottom:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--unsatisfied-border-color-o);content:""}.temporal-background.svelte-qevhwl{position:relative}.temporal-background.svelte-qevhwl:before{position:absolute;top:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--temporal-color);content:""}.temporal-background.svelte-qevhwl:after{position:absolute;bottom:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--temporal-color);content:""}.lemma-background.svelte-qevhwl{position:relative}.lemma-background.svelte-qevhwl:before{position:absolute;top:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--lemma-border-color);content:""}.lemma-background.svelte-qevhwl:after{position:absolute;bottom:0;width:var(--plain-literal-width);height:1px;border-top:1px solid;border-color:var(--lemma-border-color);content:""}.empty-slot.svelte-1hcg9g6{width:var(--empty-slot)}.canvas.svelte-1hcg9g6{height:150px;width:var(--width);overflow-y:auto;overflow-x:hidden;-ms-overflow-style:none;scrollbar-width:none;cursor:ns-resize}.canvas.svelte-1hcg9g6::-webkit-scrollbar{display:none}.canvas-sheet.svelte-1hcg9g6{width:-moz-fit-content;width:fit-content;display:flex;align-items:var(--align);min-height:100%;color:var(--unsatisfied-color)}.tail.svelte-1vejmle{padding:var(--padding);border-radius:1px;border:1px solid var(--color);width:100%}.literal-style{min-width:var(--trail-literal-min-width);width:var(--trail-literal-min-width);min-height:var(--trail-literal-heigh);height:var(---trail-literal-heigh);position:relative;display:flex;justify-content:center;align-items:end;border:none;border-bottom:1px solid}.current-trail{cursor:pointer}.dropdownClass{background-color:var(--main-bg-color);border-radius:5px;color:#000;transition:background-color .7s}.dropdownClass button{border-radius:5px}.dropdownClass button:hover{background-color:#fff}.backjumping.svelte-bgnrvv{border-color:var(--conflict-color);color:var(--conflict-color);border-top:1px transparent;border-left:1px transparent;border-right:1px transparent;border-style:dashed;cursor:pointer}.previous-assignment.svelte-bgnrvv{color:color-mix(in srgb,var(--conflict-color) 60%,transparent)}.paint-background.svelte-bgnrvv{position:relative;color:var(--satisfied-color);background-color:var(--satisfied-color-o)}.backtracking.svelte-17m8a52{border-color:var(--conflict-color);color:var(--conflict-color);border-top:1px transparent;border-left:1px transparent;border-right:1px transparent;border-style:dashed;cursor:unset}.previous-assignment.svelte-17m8a52{color:color-mix(in srgb,var(--conflict-color) 60%,transparent)}mover mo{margin-bottom:3px}.app-popover{background-color:var(--main-bg-color);border-color:var(--border-color);z-index:5;color:var(--clause-color);padding:.4rem .5rem}.app-popover .clause-id{opacity:var(--opacity-50)}.previous-assignment.svelte-gj5pqb{color:color-mix(in srgb,var(--decision-color) 60%,transparent)}.paint-background.svelte-gj5pqb{position:relative;color:var(--satisfied-color);background-color:var(--satisfied-color-o)}.previous-assignment.paint-background{color:color-mix(in srgb,var(--satisfied-color) 60%,transparent)}.decision.svelte-1u1k5ad{border-left:1px solid;border-right:1px solid}.level-expanded.svelte-1u1k5ad{border-right:1px solid transparent}.childless.svelte-1u1k5ad{cursor:unset}.previous-assignment.svelte-1u1k5ad{color:color-mix(in srgb,var(--decision-color) 60%,transparent)}.dropdownClass{overflow:visible}.decision.svelte-15815w6{border-left:1px solid;border-right:1px solid}.previous-assignment.svelte-15815w6{color:color-mix(in srgb,var(--decision-color) 60%,transparent)}.open.svelte-15815w6{border-right:1px solid transparent}.trail.svelte-1www896{min-height:var(--trail-height);display:flex;flex-direction:row;align-items:end;width:-moz-fit-content;width:fit-content}.composed-trail.svelte-1u99tdi{display:flex;flex-direction:column;overflow:hidden}.opened-views.svelte-1u99tdi{background-color:var(--main-bg-color);border-radius:10px}.width-observer.svelte-1u99tdi{display:flex}.fit-content.svelte-1u99tdi{width:-moz-fit-content;width:fit-content}.empty-slot.svelte-1u99tdi{width:var(--empty-slot);background-color:transparent;height:auto}.up-view.svelte-1u99tdi{display:flex;flex-direction:column;position:relative;top:7.5px}.status.svelte-xnzmtm{height:-moz-fit-content;height:fit-content;width:100%;display:flex;justify-content:center;align-items:center}.disableClick.svelte-xnzmtm{cursor:default}.notification.svelte-xnzmtm{width:100%;height:var(--trail-height);display:flex;justify-content:center;align-items:center}.notification.conflict.svelte-xnzmtm{color:var(--conflict-color)}.notification.unsat.svelte-xnzmtm{color:var(--unsatisfied-color)}.notification.sat.svelte-xnzmtm{color:var(--satisfied-color)}.notification.svelte-xnzmtm .running:where(.svelte-xnzmtm){animation:svelte-xnzmtm-rotate-once 5s linear infinite;cursor:none}.dynamic-render.svelte-xnzmtm{margin-top:var(--trail-gap)}@keyframes svelte-xnzmtm-rotate-once{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.app-popover{background-color:var(--main-bg-color);border-color:var(--border-color);color:#000;padding:.3rem .5rem}.app-popover .popover-content{display:flex;flex-direction:row;align-items:center;font-size:var(--popover-font-size);gap:.5rem}.app-popover .clause-id{color:var(--clause-id-color)}.app-popover>.py-2{padding:0rem}.app-popover>.px-3{padding:0rem}trail-editor.svelte-tkdlhx{position:relative;display:block;height:75%;overflow-y:auto;overflow-x:hidden;padding:1.5rem .5rem;height:calc(100% - var(--debugger-height) - var(--solving-info-height));background-color:var(--lighter-bg-color)}.grabbing.svelte-tkdlhx{cursor:grabbing}editor-leaf.svelte-tkdlhx{display:grid;grid-template-columns:var(--trail-height) 1fr var(--trail-height);height:-moz-fit-content;height:fit-content}editor-indexes.svelte-tkdlhx{display:flex;flex-direction:column}trails-leaf.svelte-tkdlhx{overflow-x:auto;overflow-y:hidden;height:-moz-fit-content;height:fit-content;scrollbar-gutter:stable}editor-trails.svelte-tkdlhx{display:flex;flex-direction:column;width:-moz-max-content;width:max-content;gap:.25rem}.item.svelte-tkdlhx{height:var(--height);width:var(--trail-height);display:flex;justify-content:center}.enumerate.svelte-tkdlhx{min-height:var(--trail-height);width:100%;align-items:center;justify-content:center;display:flex}.enumerate.svelte-tkdlhx span:where(.svelte-tkdlhx){position:absolute;margin-top:var(--trail-gap)}.opacity.svelte-tkdlhx{opacity:var(--opacity-50)}.top.svelte-tkdlhx{align-items:start}.bottom.svelte-tkdlhx{align-items:end}.center.svelte-tkdlhx{align-items:center}.icon-top,.icon-center{margin-top:.6rem}.icon-bottom{margin-bottom:.6rem}.container-padding.svelte-tkdlhx{gap:1rem}.direction.svelte-tkdlhx{display:flex;flex-direction:column}.composed-trail-observer.svelte-tkdlhx{height:-moz-fit-content;height:fit-content}.btn{border-style:solid;border-color:var(--button-border-color);border-width:1px;background-color:var(--button-color);box-shadow:0 2px 6px #00000026;cursor:pointer;transition:background-color .3s ease,color .3s ease}.btn:hover{background-color:var(--button-hover-color)}.btn:active{background-color:var(--button-color)}.btn.invalidOption{background-color:var(--border-color);cursor:not-allowed}.general-btn{display:flex;height:var(--button-size);width:var(--button-size);border-radius:6px;align-items:center;justify-content:center}.conflict-btn{color:var(--conflict-color);box-shadow:0 2px 6px #8a3ffc55;border-color:var(--conflict-color);transition:border-color .3s ease;border-style:dashed}.manual-button{height:50px;width:100%;display:flex;flex:1;align-items:center;justify-content:center}.information-btn{display:flex;height:45px;width:45px;border-radius:6px;align-items:center;justify-content:center;border:none;background-color:transparent;color:#7d7d7d;transition:color .3s ease}.information-btn:hover{color:#000}.information-btn:active{color:#4b4b4b}input[type=number]::-webkit-outer-spin-button,input[type=number]::-webkit-inner-spin-button{-webkit-appearance:none;margin:0}input[type=number]{-moz-appearance:textfield;-webkit-appearance:textfield;appearance:textfield}auto-mode.svelte-vgxnix{display:flex;align-items:center;justify-content:center;width:20rem;height:100%;gap:1rem}.range.svelte-vgxnix{flex:1;display:flex;align-items:center}.range input[type=range]{-webkit-appearance:none;-moz-appearance:none;appearance:none}.range input[type=range]::-webkit-slider-runnable-track{height:3px}.range input[type=range]::-moz-range-progress{background-color:var(--conflict-color)}.range input[type=range]::-webkit-slider-thumb{background-color:var(--conflict-color);margin-top:-5px}.range input[type=range]::-moz-range-thumb{background-color:var(--conflict-color)}conflict-analysis-debugger.svelte-10or4ky{display:flex;flex-direction:row;gap:.5rem}conflict-detection-debugger.svelte-8chb3j{display:flex;flex-direction:row;gap:.5rem}.join.svelte-1inedj{border-radius:6px}decision-debugger.svelte-q8e0y4{display:flex;flex-direction:row;gap:.5rem}.join-variable.svelte-q8e0y4{display:flex;align-items:center;justify-content:center;border-radius:6px;box-shadow:0 2px 6px #00000026}.next-variable.svelte-q8e0y4{display:flex;width:var(--variable-input-width);height:var(--button-size);align-items:center;justify-content:center;border:1px solid var(--border-color);background-color:var(--button-color);border-color:var(--button-border-color)}.variable-input.svelte-q8e0y4{width:var(--variable-input-width);height:var(--button-size);background-color:transparent;border:none;text-align:end}.variable-input.svelte-q8e0y4:focus{outline:none;box-shadow:none}.join-right.svelte-q8e0y4{border-radius:6px 0 0 6px;border-right:none;box-shadow:none}.join-left.svelte-q8e0y4{border-radius:0 6px 6px 0;border-left:none}.solve-icon.svelte-lpdff7{position:relative;height:40px;width:40px;display:flex;justify-content:center}.arrow.svelte-lpdff7{position:absolute}.fst-arrow.svelte-lpdff7{top:7px;left:11px}.snd-arrow.svelte-lpdff7{top:14px;left:15px}.third-arrow.svelte-lpdff7{bottom:5px;left:11px}general-debugger.svelte-vu1uhf{display:flex;align-items:center;gap:.5rem}.btn-modal.svelte-1rvi8km{border:solid;border-width:1px;border-radius:.5rem;border-color:var(--border-color);padding:.75rem}debugger.svelte-364nzk{display:flex;align-items:center;justify-content:space-between;height:var(--debugger-height);width:100%;min-height:var(--debugger-height);padding-left:calc(var(--windows-padding) + 15px);padding-right:calc(var(--windows-padding) + 27px);border-bottom:1px solid var(--border-color);gap:.5rem}algorithm-buttons.svelte-364nzk{display:flex;gap:.5rem}general-debugger.svelte-364nzk{display:flex;gap:.5rem}statistics.svelte-nswe7f{border:none}.metric.svelte-nswe7f{display:flex;justify-content:space-around;align-items:center;padding:1px 5px;flex:1;min-width:5rem;max-width:12rem;border:none}.statistic-value.svelte-nswe7f{text-align:right}statistics.svelte-nswe7f{display:flex;gap:.5rem;justify-content:center}solving-info.svelte-y5x4i{height:var(--solving-info-height);border-top:1px solid var(--border-color);width:100%;display:flex;flex-direction:column;flex:1;padding:.5rem calc(var(--windows-padding) + 15px)}.selected-configuration.svelte-y5x4i{align-items:center;justify-content:center;flex:1;display:flex}app.svelte-1atet91{display:flex;flex-direction:column;width:100%}.virtual-list-wrapper.svelte-dwpad5{overflow:auto;will-change:transform;-webkit-overflow-scrolling:touch}.virtual-list-inner.svelte-dwpad5{position:relative;display:flex;width:100%}clause.svelte-1gvhaql{color:var(--clause-color);display:flex;flex-direction:row;gap:.5rem;align-items:end}problem-summary.svelte-1bjfyz2{flex:1;width:100%;position:relative;display:flex;flex-direction:column}.dimacs-list.svelte-1bjfyz2{position:relative;display:flex;flex:1}.item-list.svelte-1bjfyz2{display:flex;align-items:center}.title.svelte-1bjfyz2{padding-bottom:1rem;text-align:center;font-size:1.2rem}.dimacs-footer.svelte-1bjfyz2{display:flex;flex-direction:column;justify-content:space-around;padding-top:1rem}.footer-statistics.svelte-1bjfyz2{display:flex;justify-content:space-around}.border-b.svelte-1bjfyz2{border-bottom-width:1px}.item-wrapper.svelte-1bjfyz2{display:flex;flex:1;align-items:end;height:100%}.item-wrapper.svelte-1bjfyz2 p:where(.svelte-1bjfyz2){display:inline-block;margin:0}.enumerate.svelte-1bjfyz2{opacity:.5;width:3rem}.comment.svelte-1bjfyz2{color:rgb(107 114 128 / var(--tw-text-opacity, 1));background-color:var(--lighter-bg-color);font-family:monospace;font-style:italic;display:block;width:-moz-fit-content;width:fit-content}.virtual-list-wrapper{scrollbar-width:none}.scrollable::-webkit-scrollbar{display:none}.ocurrences.svelte-1bjfyz2{width:2rem;display:inline-block;text-align:right}.bookmark.svelte-vvoxp7{height:100%;width:100%;display:flex}.bookmark-list.svelte-vvoxp7{width:60%;display:flex;align-items:center}.bookmark-preview.svelte-vvoxp7{padding:2rem;flex:1;display:flex}.items.svelte-vvoxp7{display:flex;flex-direction:column;gap:1rem;position:relative;width:100%}.scrollable.svelte-vvoxp7{height:80%;overflow:auto;scrollbar-width:none}.scrollable.svelte-vvoxp7::-webkit-scrollbar{display:none}.item.svelte-vvoxp7{align-items:center;display:flex;position:relative;padding:2rem;flex:1;transition:color .2s,background-color .2s}li.svelte-vvoxp7{display:flex;width:100%}.icon.svelte-vvoxp7{padding:2rem}.removable.svelte-vvoxp7:hover{color:rgb(239 86 47 / var(--tw-text-opacity, 1))}.icon.invalid.svelte-vvoxp7{cursor:not-allowed}.item.svelte-vvoxp7:hover{background-color:var(--lighter-bg-color)}.item.selected.svelte-vvoxp7{color:var(--icon-base)}.item.svelte-vvoxp7 p:where(.svelte-vvoxp7){margin:0;margin-top:.4rem}.toggle{padding-left:5px;--tw-grayscale: 0%;--tw-contrast: 1}.modal-style{background-color:var(--main-bg-color);color:#000;z-index:var(--modal-z-index)}.btn.svelte-vvoxp7{border:solid;border-width:1px;border-radius:.5rem;border-color:var(--border-color);padding:.75rem}.modal-style.svelte-6ei02o{background-color:var(--main-bg-color);color:#000}.btn.svelte-6ei02o{border:solid;border-width:1px;border-radius:.5rem;border-color:var(--border-color);padding:.75rem}.breakpoint-component.svelte-1qvfa8v{height:var(--literal-height);display:flex;flex-direction:column;justify-content:end}.body-class{height:100%;width:100%;padding:1rem;display:flex;flex:1;flex-direction:column;gap:.75rem;overflow:hidden}.breakpoint-display.svelte-v5055{flex:1;width:100%;scrollbar-width:none;display:flex;padding:1rem 0rem;height:calc(100% - 4rem);border:1px solid var(--border-color);border-radius:.5rem;background-color:var(--main-bg-color)}.breakpoint-display.svelte-v5055::-webkit-scrollbar{display:none}.variable-text.svelte-v5055{width:100%;border-radius:10px;background-color:#fff;border:solid;border-width:1px;border-color:var(--border-color);padding:.5rem;transition:color .3s,background-color .3s,border-color .3s;height:3rem}.variable-text.svelte-v5055:hover{background-color:#ffb9b9;color:#ca3535;border-color:#f52a2a}.scrollable.svelte-v5055{height:100%;width:100%;overflow:auto;scrollbar-width:none;padding:var(--breakpoints-gap);scroll-behavior:smooth}.scrollable.svelte-v5055::-webkit-scrollbar{display:none}ul.svelte-v5055{display:flex;flex-direction:column;gap:var(--breakpoints-gap)}li.svelte-v5055{width:100%;list-style-type:none}.bp-clause{justify-content:center;align-items:center}.delay-buttons.svelte-9lgjck{height:100%;width:2rem;border:solid;border-color:var(--border-color);border-radius:.5rem;border-width:1px;background-color:#fff;transition:background-color .3s}.delay-buttons.svelte-9lgjck:hover{background-color:var(--main-bg-color)}.delay-buttons.svelte-9lgjck:active{background-color:var(--lighter-bg-color)}.delay-buttons.inactive.svelte-9lgjck{background-color:var(--border-color);pointer-events:none}.division-container.svelte-g5kj0o{height:100%;width:2px;background-color:var(--border-color)}.content-container.svelte-g5kj0o{height:100%;display:flex;flex:1;flex-direction:column}.heading-class{height:5rem;width:100%;display:flex;align-items:center;justify-content:center;gap:.5rem;border:none;border-bottom:solid;border-color:var(--border-color);border-width:1px}.body-class{height:100%;width:100%;padding:1rem;gap:.75rem;overflow-x:hidden;overflow-y:auto}.container.svelte-gasrpr{min-height:55px;display:flex;align-items:center;border:1px solid var(--border-color);border-radius:6px}.icon-zone.svelte-gasrpr{height:100%;width:50px;background-color:var(--button-color);display:flex;align-items:center;justify-content:center;border-radius:6px;pointer-events:none}.description-zone.svelte-gasrpr{height:100%;display:flex;flex:1;background-color:#fff;align-items:center;white-space:nowrap;overflow-x:auto;overflow-y:hidden;padding:0 10px;border-bottom-right-radius:6px;border-top-right-radius:6px}division.svelte-fdktj3{text-align:center;font-size:12px;border-bottom:1px solid var(--border-color)}.addInstance{color:#fff;background-color:var(--conflict-color);border-radius:50px}.btn.svelte-o4i8aa{border:solid;border-width:1px;border-radius:.5rem;border-color:var(--border-color);padding:.75rem}h3{color:#000}ack-modal{display:flex;flex-direction:column;height:100%}.ack-button.svelte-o4i8aa{display:flex;flex:1;justify-content:center;height:100%;align-items:center}.ack-button.svelte-o4i8aa:hover{color:var(--icon-base)}content.svelte-o4i8aa{padding:10px 10px 0;display:flex;overflow-x:hidden;overflow-y:auto;flex-direction:column;text-align:justify}content.svelte-o4i8aa span:where(.svelte-o4i8aa){font-size:15px}images.svelte-o4i8aa{display:flex;flex-direction:row;justify-content:space-around;align-items:center;padding-top:20px;padding-bottom:20px;gap:20px}img.svelte-o4i8aa{height:100px;-o-object-fit:contain;object-fit:contain;scale:.8}.lai-img.svelte-o4i8aa{scale:.7}a.svelte-o4i8aa{padding-top:10px;padding-bottom:10px;font-size:14px;text-align:center;font-weight:700}a.github.svelte-o4i8aa:hover{color:var(--icon-base)}.how-to-cite.svelte-o4i8aa{padding-top:20px}.how-to-cite-body.svelte-o4i8aa{padding:5px;font-size:13px;border:1px solid var(--border-color);border-bottom:1px solid var(--border-color);background-color:var(--cite-bg-color);white-space:nowrap;margin-bottom:10px;height:-moz-fit-content;height:fit-content}.how-to-cite-line.svelte-o4i8aa{font-size:12px;padding:0 0 0 20px;display:flex;flex:1}span.svelte-o4i8aa{text-wrap:auto}button.svelte-o4i8aa{width:90%}.acknowledgement.svelte-o4i8aa{max-height:min(75vh,495px);display:flex;flex-direction:column;align-items:center;gap:.5rem}legend-view.svelte-1gnyvnh{display:flex;flex-direction:column;width:100%;height:100%}legend.svelte-1gnyvnh{display:flex;flex-direction:row;width:100%;height:calc(100% - 50px)}acknowledge.svelte-1gnyvnh{height:50px;width:100%;display:flex;border-top:1px solid var(--border-color);align-items:center;background-color:var(--main-bg-color)}.division-container.svelte-1gnyvnh{height:100%;width:2px;background-color:var(--border-color)}.content-container.svelte-1gnyvnh{height:100%;width:calc(33.33% - 4px);display:flex;flex-direction:column}.bottomNavStyle{background-color:#fff;border-color:var(--border-color);color:#000;transition:background-color .3s ease;z-index:var(--more-options-z-index)}.bottomNavItem:hover{background-color:var(--main-bg-color)}.bottomNavCenter:hover{background-color:var(--conflict-color)}.tooltip{background-color:var(--main-bg-color);color:#000}.settings-icones{margin-bottom:2px;height:24px;width:24px;color:var(--icon-unselected);transition:color .3s ease;outline:none}.settings-icones.active{color:var(--icon-strong)}.setting-view.svelte-sv6nxl{padding:1rem max(1rem,10vw);padding-bottom:0rem;max-height:calc(100% - 6rem);flex:1;width:100%;display:flex}.setting-content.svelte-sv6nxl{height:100%;width:100%;display:flex;align-items:center;justify-content:center;box-sizing:border-box;border-style:solid;border-color:var(--border-color);border-width:1px;background-color:var(--settings-bg-color)}.settings.svelte-sv6nxl{position:absolute;top:0;bottom:0;right:0;left:0;background-color:var(--lighter-bg-color);z-index:var(--more-options-z-index);display:flex}.toast.svelte-mbgvwb{position:relative;width:24rem;border-radius:6px;background:#fff;box-shadow:0 6px 20px -5px #0000001a;display:flex;overflow-x:hidden;align-items:center;transform:translate(calc(100% + 30px));transition:all .4s cubic-bezier(.68,-.55,.265,1.35);padding:1rem}.description.svelte-mbgvwb{font-size:12px}.toast.active.svelte-mbgvwb{transform:translate(0)}.toast.svelte-mbgvwb .close:where(.svelte-mbgvwb){position:absolute;top:10px;right:15px;cursor:pointer;opacity:.7}.button-high-contrast.svelte-6azehl{background-color:transparent;padding:8px 16px;font-weight:700;text-transform:uppercase;cursor:pointer;outline:none;transition:background .2s,color .2s;color:var(--secondary-font-color)}.button-high-contrast.svelte-6azehl:hover,.button-high-contrast.svelte-6azehl:active,.active.svelte-6azehl{color:var(--main-font-color)}.undefined.svelte-g3rcy2{color:var(--unassigned-color)}.false.svelte-g3rcy2{color:var(--unsatisfied-color)}.true.svelte-g3rcy2{color:var(--satisfied-color)}.literal-component.svelte-g3rcy2{height:var(--literal-height);display:flex;flex-direction:column;justify-content:end}clause.svelte-5enm4m{color:var(--clause-color);display:flex;flex-direction:row;gap:.5rem;align-items:end;padding:.25rem}.static.svelte-ko8j2g{color:var(--main-bg-color);display:flex;flex-direction:row;gap:.5rem;align-items:end;padding:.25rem}.enumerate-clause.svelte-ko8j2g{display:flex;height:100%;flex-direction:row;gap:.5rem;align-items:end;height:50px;align-items:center;width:-moz-fit-content;width:fit-content}.enumerate.svelte-ko8j2g{width:3.5rem;display:flex;align-items:end;justify-content:center;font-size:1rem;opacity:var(--opacity-50)}.inspectedTrue.svelte-ko8j2g{background-color:var(--shaded-satisfied-color)}.inspectedFalse.svelte-ko8j2g{background-color:var(--unsatisfied-color-o)}.visited-clause.svelte-ko8j2g{background-color:var(--visited-clause-color)}solution-summary.svelte-7yjkkz{display:flex;flex:1;flex-direction:column;padding:.5rem 1rem;gap:.25rem}.item-wrapper.svelte-7yjkkz{display:flex;flex:1;align-items:center;height:100%}.tagged-clause.svelte-7yjkkz{display:flex;flex:1;flex-direction:row;height:100%;align-items:center;gap:.5rem}.enumerate.svelte-7yjkkz{opacity:.5;justify-content:center;width:2.5rem}.comment.svelte-7yjkkz{color:rgb(107 114 128 / var(--tw-text-opacity, 1));background-color:var(--comment-bg-color);font-family:monospace;font-style:italic;display:block;width:-moz-fit-content;width:fit-content}:root{--min-width-tools: 300px;--max-width-tools: 30vw;--bar-width: 66px;--tools-width: max(var(--min-width-tools), var(--max-width-tools))}.options-tools{width:var(--bar-width);position:relative;padding:23px 0rem;display:flex;flex-direction:column;align-items:center;gap:1rem}.fixed_bottom{width:var(--bar-width);display:flex;flex-direction:column;align-items:center;margin-top:auto}.settings-btn{margin-top:auto}.view{position:absolute;display:flex;flex-direction:column;padding:.5rem .75rem;width:100%;height:100%}.tool-content{width:var(--tools-width);display:flex}.scrollable-content{overflow-y:auto;position:relative}.max-tools-width{width:var(--max-width-tools)}.hide-tools-view{display:none}.draggable-bar{height:100%;width:5px;background-color:transparent;transition:background-color .25s ease-in}.draggable-bar:hover,.resizing{background-color:#000}.tools-container{height:100%;display:flex;position:relative}main.svelte-qhyg3n{position:relative;display:flex;flex-direction:row;flex:1;width:100%;height:100%}.toasts.svelte-qhyg3n{position:fixed;bottom:.5rem;right:.5rem;display:flex;flex-direction:column-reverse;gap:.5rem;z-index:var(--notification-z-index)}