:root{font-family:Inter,system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#213547;background-color:#fff;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:#747bff}body{margin:0;height:100vh;max-height:100vh;min-height:80vh}h1{font-size:3.2em;line-height:1.1}select.svelte-i7zogb{margin-left:1em;font-family:inherit;font-size:100%}.true-clause.svelte-vycc5e{background-color:#90ee90}.false-clause.svelte-vycc5e{background-color:#ffa07a}.true-literal.svelte-vycc5e{color:#006400}.false-literal.svelte-vycc5e{color:red}math.svelte-vycc5e{color:#000;display:ruby}#cy-sg.svelte-9cnsc5,#cy-vig.svelte-1wbwwf{flex:1 1 auto;border:2px solid black}#log-container.svelte-1i4gq2n{white-space:pre-line;font-weight:700;overflow:auto;width:100%;border:2px solid black;padding:.1em;color:navy}.failure.svelte-1i4gq2n{color:#e20000}.backtrack.svelte-1i4gq2n{color:orange}.SAT.svelte-1i4gq2n{color:green;text-decoration:underline}.UNSAT.svelte-1i4gq2n{color:red;text-decoration:underline}dialog.svelte-rhu9n3{border:2px solid black;padding:.2em;border-radius:15px}.dialog-inner.svelte-rhu9n3{color:navy;display:flex;flex-direction:column;align-items:center;justify-content:center;overflow:auto;max-width:50em;padding:.5em}dialog.svelte-rhu9n3::backdrop{background:#000;opacity:.5}#assignments.svelte-rhu9n3{font-weight:700;text-align:center;margin-bottom:.8em}button.svelte-rhu9n3{border-radius:8px;border:1px solid transparent;padding:.5em;font-size:1em;font-weight:500;font-family:inherit;background-color:#87ceeb;cursor:pointer;transition:border-color .25s}button.svelte-rhu9n3:hover{border-color:#646cff}footer.svelte-p5ee5.svelte-p5ee5{color:#888;text-align:center}textarea.svelte-p5ee5.svelte-p5ee5{font-size:large;resize:none;overflow-y:scroll}main.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-columns:3fr 2fr;flex:1 1 auto;max-height:96vh;min-height:inherit;height:96vh}#dimacs-input.svelte-p5ee5.svelte-p5ee5{width:100%;box-sizing:border-box;height:25vh;margin:0 auto;border:2px solid black}#notation.svelte-p5ee5.svelte-p5ee5{width:100%;border:2px solid black;overflow:auto;height:25vh;box-sizing:border-box;margin:0 auto;padding:.25em}#right-top.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-columns:3fr 1fr}#right-boxes.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-rows:8fr 7fr;max-height:inherit}#left-boxes.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-rows:1fr 4fr 8fr;max-height:inherit}.flex-container.svelte-p5ee5.svelte-p5ee5{display:flex;flex-flow:column;padding-left:.2em;padding-right:.2em}.left-top-containers.svelte-p5ee5.svelte-p5ee5{display:flex;justify-content:center;align-items:center}#left-top.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-columns:2fr 6fr;box-sizing:border-box}#left-mid.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-columns:3fr 5fr;box-sizing:border-box}#left-bot.svelte-p5ee5.svelte-p5ee5{display:grid;grid-template-columns:1fr 1fr;box-sizing:border-box}#file-upload.svelte-p5ee5 input.svelte-p5ee5{width:0em;height:0em}#solverlog.svelte-p5ee5.svelte-p5ee5{max-height:40vh;min-height:40vh;margin-bottom:.2em;display:flex}#solver-info.svelte-p5ee5.svelte-p5ee5{display:grid;border:2px solid black;padding:.1em;flex:1 1 auto}#solver-selection.svelte-p5ee5.svelte-p5ee5{font-family:inherit;font-size:100%;height:2.5em;font-weight:500}.hidden.svelte-p5ee5.svelte-p5ee5{display:none}button.svelte-p5ee5.svelte-p5ee5,#file-upload.svelte-p5ee5 label.svelte-p5ee5{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#87ceeb;cursor:pointer;transition:border-color .25s}button.svelte-p5ee5.svelte-p5ee5:hover,#file-upload.svelte-p5ee5 label.svelte-p5ee5:hover{border-color:#646cff}button.svelte-p5ee5.svelte-p5ee5:disabled{border-color:gray;background-color:#d3d3d3}button.svelte-p5ee5.svelte-p5ee5:focus,#file-upload.svelte-p5ee5 label.svelte-p5ee5:focus,button.svelte-p5ee5.svelte-p5ee5:focus-visible,#file-upload.svelte-p5ee5 label.svelte-p5ee5:focus-visible{outline:4px auto -webkit-focus-ring-color}.tooltiptext.svelte-p5ee5.svelte-p5ee5{visibility:hidden;position:absolute;z-index:1;max-width:25em;max-height:15em;background-color:#add8e6;border-color:#5f9ea0;border-style:solid;border-width:.2em;color:#000;text-align:center;border-radius:.5em;font-size:small;font-weight:400}.tooltip.svelte-p5ee5:hover .tooltiptext.svelte-p5ee5{visibility:visible}