:root{--primary:#2d3436;--primary-dark:#1e2527;--primary-light:#636e72;--accent:#00b894;--accent-dark:#00a381;--accent-light:#55efc4;--bg:#fff;--bg-alt:#f5f6fa;--text:#2d3436;--text-light:#636e72;--code-bg:#2d3436;--code-text:#dfe6e9;--success:#00b894;--border:#dfe6e9;--error:#d63031;--error-light:#fab1a0;--warning:#fdcb6e}body{color:var(--text);background:var(--bg);font-family:Source Sans Pro,-apple-system,BlinkMacSystemFont,sans-serif;line-height:1.6}.has-error{box-shadow:0 0 0 2px #d6303133;border-color:var(--error)!important}.error{color:var(--error);font-weight:500}.multi-input>*{margin-bottom:.5em}.single-input{background-color:var(--bg-alt);border:1px solid var(--border);cursor:pointer;border-radius:8px;width:fit-content;padding:.5em .6em;transition:all .2s}.single-input:hover{border-color:var(--primary-light)}.single-input>*>*>:not(:first-child),.single-input>:not(:first-child){margin-left:.5em}.common-element{background-color:var(--bg-alt);border:1px solid var(--border);border-radius:8px;width:fit-content;padding:.5em}input[type=button]{background-color:var(--bg-alt);border:1px solid var(--border);cursor:pointer;color:var(--text);border-radius:6px;padding:.4em .8em;font-family:Source Sans Pro,sans-serif;font-weight:500;transition:all .2s}input[type=button]:hover{background-color:var(--border);border-color:var(--primary-light)}.single-input input.text{resize:both;border:1px solid var(--border);background:var(--bg);border-radius:6px;padding:.3em .5em;font-family:Source Code Pro,monospace;transition:border-color .2s,box-shadow .2s}.single-input input.text:focus{border-color:var(--accent);outline:none;box-shadow:0 0 0 3px #00b89426}.single-input .constraint{margin-left:.5em}.single-input .updating{opacity:.4}.split-input-block .single-input+.single-input{margin-top:.5em}.single-input .close{color:#fff;background:linear-gradient(135deg,#ff7675 0%,#d63031 100%);border:none;border-radius:6px;font-weight:600}.single-input .close:hover{background:linear-gradient(135deg,#d63031 0%,#c0392b 100%);transform:translateY(-1px)}.single-input .newline{background:linear-gradient(135deg, var(--accent) 0%, var(--accent-dark) 100%);color:#fff;border:none;border-radius:6px;font-weight:600}.single-input .newline:hover{background:linear-gradient(135deg, var(--accent-dark) 0%, #009975 100%);transform:translateY(-1px)}.single-input.focused{border-color:var(--accent);background-color:#00b8941a;box-shadow:0 0 0 3px #00b8941a}.single-input input[type=button].info{background-color:var(--bg-alt);border:1px solid var(--border);color:var(--primary-light);border-radius:6px}.single-input input[type=button].info:hover{background-color:var(--border);color:var(--primary)}input[type=button].generate{background:linear-gradient(135deg, var(--accent) 0%, var(--accent-dark) 100%);color:#fff;border:none;border-radius:8px;padding:.6em 1.2em;font-size:1em;font-weight:600;transition:transform .2s,box-shadow .2s;box-shadow:0 4px 12px #00b8944d}input[type=button].generate:hover{transform:translateY(-2px);box-shadow:0 6px 16px #00b89466}input[type=button].generate:active{transform:translateY(0);box-shadow:0 2px 8px #00b8944d}input[type=button].options{background-color:var(--bg-alt);border:1px solid var(--border);border-radius:6px;margin-left:.5em}input[type=button].options:hover{background-color:var(--border)}.model-container table{border-collapse:collapse;border:none;margin-top:.6em}.model-container table thead th{border:1px solid var(--primary);color:var(--primary-dark);text-align:center;background:0 0;border-top:none;padding:.5em .8em;font-weight:600}.model-container table thead th:first-child{border-left:none}.model-container table thead th:last-child{border-right:none}.model-container table tbody tr{transition:background-color .15s}.model-container table tbody tr:hover{background-color:var(--bg-alt)}.model-container table tbody tr td{text-align:center;border:1px solid var(--primary);border-top:none;padding:.5em .8em;font-family:Source Code Pro,monospace}.model-container table tbody tr td:first-child{border-left:none}.model-container table tbody tr td:last-child{border-right:none}.model-container table tbody tr:last-child td{border-bottom:none}.model-container table tr .dv{border-right:1px solid var(--primary)}.model-finder{background-color:var(--bg-alt);border:1px solid var(--border);border-radius:10px;margin-top:.6em;padding:.8em;overflow-x:auto}.invalidated{opacity:.5;filter:grayscale(30%)}.button-line{justify-content:space-between;align-items:center;gap:.5em;display:flex}input::file-selector-button{background-color:var(--bg-alt);border:1px solid var(--border);cursor:pointer;border-radius:6px;margin-bottom:.5em;padding:.4em .8em;font-family:Source Sans Pro,sans-serif;transition:all .2s}input::file-selector-button:hover{background-color:var(--border)}.model-evaluators{border-left:3px solid var(--accent);margin-left:1em;padding-left:1em}.model-input{background-color:var(--bg-alt);border:1px solid var(--border);border-radius:8px;width:fit-content;padding:.6em;overflow-x:auto}.info-container{color:var(--text-light)}.generic-input-block{background-color:var(--bg-alt);border:1px solid var(--border);border-radius:10px;padding:.8em}.single-input{margin-top:.5em}.input-instructions{white-space:pre-wrap;color:var(--text-light);margin-top:.5em;font-size:.95em;line-height:1.5}.yields{color:var(--accent-dark);font-weight:600}.copy-message{color:var(--success);font-weight:500;display:none}.copy-message.show{opacity:0;animation-name:fadeInOpacity;animation-duration:.8s;animation-timing-function:ease-out;animation-iteration-count:1;display:inline}@keyframes fadeInOpacity{0%{opacity:1}to{opacity:0}}.header{background:linear-gradient(135deg, var(--primary-dark) 0%, var(--primary) 100%);color:#fff;border-radius:10px;margin-bottom:.8em;padding:1em 1.2em;box-shadow:0 2px 8px #00000026}.header h1,.header h2,.header h3{color:#fff}.header a{color:var(--accent-light)}.header a:hover{color:#fff}.global-error{border:1px solid var(--error);color:var(--error);background-color:#d630311a;border-radius:10px;margin-bottom:.8em;padding:.8em}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-alt);border-radius:4px}::-webkit-scrollbar-thumb{background:var(--border);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--primary-light)}code,.monospace{background:var(--bg-alt);border-radius:4px;padding:.15em .4em;font-family:Source Code Pro,monospace;font-size:.9em}a{color:var(--accent-dark);text-decoration:none;transition:color .2s}a:hover{color:var(--accent);text-decoration:underline}.success-message{color:var(--success);font-weight:600}.unsat-message{color:var(--error);font-weight:600}