.shape-editor.svelte-s5nfah{display:flex;flex-direction:column;gap:.5rem;max-width:fit-content}.editor-header.svelte-s5nfah{display:flex;justify-content:space-between;align-items:center;width:200px}.editor-header.svelte-s5nfah h4:where(.svelte-s5nfah){margin:0;font-size:.875rem;font-weight:600;color:var(--text-primary)}.reset-btn.svelte-s5nfah{background:transparent;border:1px solid var(--border-color);color:var(--text-secondary);padding:.25rem .5rem;border-radius:4px;cursor:pointer;font-size:.75rem;transition:all .2s}.reset-btn.svelte-s5nfah:hover{background:var(--bg-primary);color:var(--text-primary);border-color:var(--accent-primary)}canvas.svelte-s5nfah{border:2px solid var(--border-color);border-radius:6px;background:var(--bg-primary);cursor:default;display:block;width:200px;height:200px}.editor-help.svelte-s5nfah{display:flex;flex-direction:column;gap:.25rem;padding:.5rem;background:var(--bg-primary);border-radius:4px;font-size:.75rem;color:var(--text-secondary);width:200px}.help-item.svelte-s5nfah strong:where(.svelte-s5nfah){color:var(--text-primary)}.theory-page.svelte-1r5e96a{min-height:100vh;max-height:100vh;background:var(--bg-primary);display:flex;flex-direction:column;overflow:hidden}.header.svelte-1r5e96a{display:flex;align-items:center;gap:2rem;padding:1.5rem 2rem;background:var(--bg-secondary);border-bottom:1px solid var(--border-color);flex-shrink:0}.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}.main-container.svelte-1r5e96a{flex:1;display:grid;grid-template-columns:280px 1fr 320px;overflow:hidden}.left-sidebar.svelte-1r5e96a,.right-sidebar.svelte-1r5e96a{background:var(--bg-secondary);border-right:1px solid var(--border-color);overflow-y:auto;padding:1.5rem}.right-sidebar.svelte-1r5e96a{border-right:none;border-left:1px solid var(--border-color)}.middle-content.svelte-1r5e96a{overflow-y:auto;padding:2rem}.sidebar-section.svelte-1r5e96a{margin-bottom:2rem}.sidebar-section.svelte-1r5e96a h2:where(.svelte-1r5e96a){margin:0 0 1rem;font-size:1.1rem;color:var(--text-primary)}.sidebar-description.svelte-1r5e96a{font-size:.8125rem;color:var(--text-secondary);margin-bottom:1.5rem;line-height:1.5}.theory-content.svelte-1r5e96a h3:where(.svelte-1r5e96a){margin-top:1.5rem;margin-bottom:.75rem;color:var(--accent-primary);font-size:.95rem}.theory-content.svelte-1r5e96a ul:where(.svelte-1r5e96a){padding-left:1.5rem;margin:0 0 1rem}.theory-content.svelte-1r5e96a li:where(.svelte-1r5e96a){margin-bottom:.5rem;line-height:1.6;color:var(--text-secondary);font-size:.875rem}.theory-content.svelte-1r5e96a strong:where(.svelte-1r5e96a){color:var(--text-primary)}.predicate-note.svelte-1r5e96a{font-size:.8125rem;color:var(--text-secondary);font-style:italic;margin:.5rem 0;line-height:1.5}.saved-list.svelte-1r5e96a{display:flex;flex-direction:column;gap:.75rem}.saved-item.svelte-1r5e96a{background:var(--bg-primary);border:1px solid var(--border-color);border-radius:6px;padding:.75rem;font-size:.8125rem}.saved-item-header.svelte-1r5e96a{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:.5rem;gap:.5rem}.saved-item-header.svelte-1r5e96a strong:where(.svelte-1r5e96a){color:var(--accent-primary);font-size:.875rem;flex:1}.saved-item-desc.svelte-1r5e96a{margin:0 0 .5rem;color:var(--text-secondary);font-size:.75rem;line-height:1.4}.saved-item-rule.svelte-1r5e96a{font-size:.75rem;color:var(--text-secondary);padding:.4rem;background:var(--bg-secondary);border-radius:4px;display:flex;align-items:center;gap:.4rem}.saved-formula.svelte-1r5e96a{font-family:"Cambria Math",Times New Roman,serif;font-size:.9rem;padding:.5rem;background:var(--bg-secondary);border-radius:4px;color:var(--text-primary);line-height:1.4;word-break:break-word}.empty-state.svelte-1r5e96a{color:var(--text-secondary);font-size:.8125rem;font-style:italic;margin:0}.delete-btn-small.svelte-1r5e96a{background:transparent;border:none;color:var(--text-secondary);cursor:pointer;padding:.125rem .25rem;border-radius:3px;font-size:.75rem;transition:all .2s;flex-shrink:0}.delete-btn-small.svelte-1r5e96a:hover{background:#dc2626;color:#fff}.card.svelte-1r5e96a{background:var(--bg-secondary);border:1px solid var(--border-color);border-radius:8px;padding:1.5rem;margin-bottom: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{padding:.75rem 1.5rem;font-size:1rem;font-weight:600;border:none;border-radius:6px;cursor:pointer;transition:all .2s;background:var(--accent-primary);color:#fff;display:inline-flex;align-items:center;gap:.5rem}.primary-btn.svelte-1r5e96a:hover:not(:disabled){background:var(--accent-hover)}.primary-btn.svelte-1r5e96a:disabled{opacity:.5;cursor:not-allowed}.delete-btn.svelte-1r5e96a{background:transparent;border:none;color:var(--text-secondary);cursor:pointer;padding:.25rem .5rem;border-radius:4px;transition:all .2s}.delete-btn.svelte-1r5e96a:hover{background:#dc2626;color:#fff}.shape-badge.svelte-1r5e96a{display:inline-flex;align-items:center;justify-content:center;width:32px;height:32px;border:2px solid var(--accent-primary);font-weight:700;font-size:.75rem;background:var(--bg-secondary)}.shape-badge.shape-circle.svelte-1r5e96a{border-radius:50%}.shape-badge.shape-square.svelte-1r5e96a{border-radius:4px}.shape-badge.shape-rectangle.svelte-1r5e96a{width:48px;border-radius:4px}.shape-badge.shape-diamond.svelte-1r5e96a{transform:rotate(45deg);border-radius:4px}.shape-badge.shape-custom.svelte-1r5e96a{border-radius:4px;position:relative}.formula-display.svelte-1r5e96a{font-family:"Cambria Math",Times New Roman,serif;font-size:1.1rem;padding:1rem;background:var(--bg-secondary);border-radius:4px;margin-bottom:.5rem;line-height:1.6;color:var(--text-primary)}.formula-details.svelte-1r5e96a{margin-top:.5rem}.constraint-code.svelte-1r5e96a{background:var(--bg-secondary);padding:.75rem;border-radius:4px;overflow-x:auto;font-family:Consolas,Monaco,monospace;font-size:.8125rem;line-height:1.5;color:var(--text-primary);margin:.5rem 0 0}.syntax-help.svelte-1r5e96a{background:var(--bg-primary);border:1px solid var(--border-color);border-radius:6px;padding:1rem;margin-bottom:1.5rem}.syntax-help.svelte-1r5e96a h4:where(.svelte-1r5e96a){margin:0 0 .75rem;color:var(--text-primary);font-size:.9rem}.syntax-grid.svelte-1r5e96a{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:.5rem;margin-bottom:.75rem}.syntax-item.svelte-1r5e96a{font-size:.8125rem;color:var(--text-secondary);line-height:1.4}.syntax-item.svelte-1r5e96a code:where(.svelte-1r5e96a){background:var(--bg-secondary);padding:.125rem .375rem;border-radius:3px;font-family:Consolas,Monaco,monospace;color:var(--accent-primary)}.syntax-example.svelte-1r5e96a{margin:.75rem 0 0;padding-top:.75rem;border-top:1px solid var(--border-color);font-size:.8125rem;color:var(--text-secondary)}.syntax-example.svelte-1r5e96a code:where(.svelte-1r5e96a){display:block;margin-top:.5rem;background:var(--bg-secondary);padding:.5rem;border-radius:4px;font-family:Consolas,Monaco,monospace;color:var(--text-primary);overflow-x:auto}.form-row.svelte-1r5e96a{display:grid;grid-template-columns:1fr 1fr;gap:1rem}.shape-container.svelte-1r5e96a{display:flex;gap:1.5rem;align-items:flex-start;margin-bottom:1.5rem}.shape-container.svelte-1r5e96a .form-group:where(.svelte-1r5e96a){margin-bottom:0;flex-shrink:0}.custom-shape-wrapper.svelte-1r5e96a{flex-shrink:0}.validation-errors.svelte-1r5e96a{margin-top:.5rem;display:flex;flex-direction:column;gap:.25rem}.error-message.svelte-1r5e96a{color:#dc2626;font-size:.8125rem;display:flex;align-items:center;gap:.5rem}.formula-preview.svelte-1r5e96a{margin-top:.75rem;padding:.75rem;background:#10b981;background:color-mix(in srgb,#10b981 15%,var(--bg-secondary));border:1px solid #10b981;border-radius:4px}.formula-preview.svelte-1r5e96a strong:where(.svelte-1r5e96a){font-size:.8125rem;color:var(--text-primary);display:block;margin-bottom:.5rem}.preview-text.svelte-1r5e96a{font-family:"Cambria Math",Times New Roman,serif;font-size:1.1rem;color:var(--text-primary);line-height:1.6}.parsed-info.svelte-1r5e96a{margin-top:.5rem;display:flex;gap:1rem;font-size:.75rem;color:var(--text-secondary)}textarea.error.svelte-1r5e96a{border-color:#dc2626}@media(max-width:1024px){.main-container.svelte-1r5e96a{grid-template-columns:1fr;grid-template-rows:auto 1fr auto}.left-sidebar.svelte-1r5e96a,.right-sidebar.svelte-1r5e96a{border-right:none;border-left:none;border-bottom:1px solid var(--border-color);max-height:300px}.middle-content.svelte-1r5e96a{order:1}.left-sidebar.svelte-1r5e96a{order:2}.right-sidebar.svelte-1r5e96a{order:3;border-bottom:none;border-top:1px solid var(--border-color)}}@media(max-width:768px){.card.svelte-1r5e96a{padding:1rem}.form-row.svelte-1r5e96a{grid-template-columns:1fr}}