.theory-page.svelte-1r5e96a{min-height:100vh;background:var(--bg-primary);padding:2rem}.header.svelte-1r5e96a{display:flex;align-items:center;gap:2rem;margin-bottom:2rem}.back-link.svelte-1r5e96a{color:var(--accent-primary);text-decoration:none;font-weight:500;transition:color .2s}.back-link.svelte-1r5e96a:hover{color:var(--accent-hover)}.header.svelte-1r5e96a h1:where(.svelte-1r5e96a){margin:0}.content.svelte-1r5e96a{max-width:1200px;margin:0 auto;display:flex;flex-direction:column;gap:2rem}.card.svelte-1r5e96a{background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:8px;padding:2rem}.card.svelte-1r5e96a h2:where(.svelte-1r5e96a){margin-top:0;margin-bottom:1rem;color:var(--text-primary)}.description.svelte-1r5e96a{color:var(--text-secondary);margin-bottom:1.5rem;line-height:1.6}.form-group.svelte-1r5e96a{margin-bottom:1.5rem}.form-group.svelte-1r5e96a label:where(.svelte-1r5e96a){display:block;margin-bottom:.5rem;font-weight:600;color:var(--text-primary)}.form-group.svelte-1r5e96a input:where(.svelte-1r5e96a),.form-group.svelte-1r5e96a textarea:where(.svelte-1r5e96a){width:100%;padding:.75rem;font-size:1rem;font-family:Consolas,Monaco,monospace;border:2px solid var(--border-color);border-radius:6px;background:var(--bg-primary);color:var(--text-primary);transition:border-color .2s}.form-group.svelte-1r5e96a input:where(.svelte-1r5e96a):focus,.form-group.svelte-1r5e96a textarea:where(.svelte-1r5e96a):focus{outline:none;border-color:var(--accent-primary)}.form-group.svelte-1r5e96a textarea:where(.svelte-1r5e96a){resize:vertical;min-height:100px}.button-group.svelte-1r5e96a{display:flex;gap:1rem;margin-bottom:1rem}.primary-btn.svelte-1r5e96a,.secondary-btn.svelte-1r5e96a{padding:.75rem 1.5rem;font-size:1rem;font-weight:600;border:none;border-radius:6px;cursor:pointer;transition:all .2s}.primary-btn.svelte-1r5e96a{background:var(--accent-primary);color:#fff}.primary-btn.svelte-1r5e96a:hover:not(:disabled){background:var(--accent-hover)}.primary-btn.svelte-1r5e96a:disabled{opacity:.5;cursor:not-allowed}.secondary-btn.svelte-1r5e96a{background:var(--bg-primary);color:var(--text-primary);border:1px solid var(--border-color)}.secondary-btn.svelte-1r5e96a:hover{background:var(--border-color)}.saved-constraints.svelte-1r5e96a{margin-top:2rem;padding-top:2rem;border-top:1px solid var(--border-color)}.saved-constraints.svelte-1r5e96a h3:where(.svelte-1r5e96a){margin-bottom:1rem;color:var(--text-primary)}.constraints-list.svelte-1r5e96a{display:flex;flex-direction:column;gap:1rem}.constraint-item.svelte-1r5e96a{background:var(--bg-primary);border:1px solid var(--border-color);border-radius:6px;padding:1rem}.constraint-header.svelte-1r5e96a{display:flex;justify-content:space-between;align-items:center;margin-bottom:.75rem}.constraint-header.svelte-1r5e96a strong:where(.svelte-1r5e96a){color:var(--accent-primary);font-size:1.1rem}.delete-btn.svelte-1r5e96a{background:transparent;border:none;font-size:1.2rem;cursor:pointer;opacity:.6;transition:opacity .2s}.delete-btn.svelte-1r5e96a:hover{opacity:1}.constraint-code.svelte-1r5e96a{background:var(--bg-secondary);padding:1rem;border-radius:4px;overflow-x:auto;font-family:Consolas,Monaco,monospace;font-size:.9rem;line-height:1.5;color:var(--text-primary);margin:0}.result-box.svelte-1r5e96a{margin-top:1rem;padding:1.5rem;border-radius:6px;background:var(--bg-primary);border:2px solid #e74c3c}.result-box.satisfiable.svelte-1r5e96a{border-color:#27ae60}.result-box.svelte-1r5e96a pre:where(.svelte-1r5e96a){margin:0;font-family:Consolas,Monaco,monospace;font-size:1rem;line-height:1.5;white-space:pre-wrap;word-wrap:break-word}.info-box.svelte-1r5e96a{margin-top:1.5rem;padding:1.5rem;background:var(--bg-primary);border-left:4px solid var(--accent-primary);border-radius:4px}.info-box.svelte-1r5e96a h4:where(.svelte-1r5e96a){margin-top:0;margin-bottom:.75rem;color:var(--text-primary)}.info-box.svelte-1r5e96a ul:where(.svelte-1r5e96a){margin:0;padding-left:1.5rem}.info-box.svelte-1r5e96a li:where(.svelte-1r5e96a){margin-bottom:.5rem;color:var(--text-secondary);line-height:1.6}.theory-content.svelte-1r5e96a h3:where(.svelte-1r5e96a){margin-top:1.5rem;margin-bottom:.75rem;color:var(--accent-primary)}.theory-content.svelte-1r5e96a ul:where(.svelte-1r5e96a){padding-left:1.5rem}.theory-content.svelte-1r5e96a li:where(.svelte-1r5e96a){margin-bottom:.5rem;line-height:1.6;color:var(--text-secondary)}.theory-content.svelte-1r5e96a strong:where(.svelte-1r5e96a){color:var(--text-primary)}@media(max-width:768px){.theory-page.svelte-1r5e96a,.card.svelte-1r5e96a{padding:1rem}.button-group.svelte-1r5e96a{flex-direction:column}}