.container.svelte-tfl2yi{max-width:1200px;margin:0 auto;padding:2rem}.page-header.svelte-tfl2yi{margin-bottom:2rem}.subtitle.svelte-tfl2yi{color:var(--color-text-muted)}.summary-section.svelte-tfl2yi{background:var(--color-bg-alt);border:1px solid var(--color-border-light);padding:1rem 1.25rem;margin-bottom:1.5rem}.summary-section.svelte-tfl2yi p:where(.svelte-tfl2yi){font-size:.9rem;line-height:1.6;margin:0;color:var(--color-text)}.controls.svelte-tfl2yi{display:flex;flex-wrap:wrap;gap:1.5rem;align-items:center;margin-bottom:2rem;padding:1rem;background:var(--color-bg-alt);border:1px solid var(--color-border-light)}.control-group.svelte-tfl2yi{display:flex;align-items:center;gap:.5rem}.control-group.svelte-tfl2yi label:where(.svelte-tfl2yi){font-size:.85rem;font-weight:600}.control-group.svelte-tfl2yi input[type=range]:where(.svelte-tfl2yi){width:100px}.control-group.svelte-tfl2yi span:where(.svelte-tfl2yi){font-family:var(--font-mono);min-width:3rem}.control-group.svelte-tfl2yi select:where(.svelte-tfl2yi){font-family:var(--font-mono);font-size:.85rem;padding:.5rem 2rem .5rem .5rem;border:1px solid var(--color-border-light);background:var(--color-bg-secondary);cursor:pointer;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 12 12'%3E%3Cpath fill='%23666' d='M2 4l4 4 4-4'/%3E%3C/svg%3E");background-repeat:no-repeat;background-position:right .5rem center}.control-group.svelte-tfl2yi select:where(.svelte-tfl2yi):hover{border-color:var(--color-border-dark)}.control-group.svelte-tfl2yi select:where(.svelte-tfl2yi):focus{outline:none;border-color:var(--color-link)}.checkbox-label.svelte-tfl2yi{cursor:pointer}.checkbox-label.svelte-tfl2yi input[type=checkbox]:where(.svelte-tfl2yi){width:18px;height:18px;cursor:pointer}.expand-btn.svelte-tfl2yi{font-family:var(--font-mono);font-size:1.1rem;padding:.5rem .75rem;border:1px solid var(--color-border-light);background:var(--color-bg-secondary);cursor:pointer;margin-left:auto;box-shadow:2px 2px 0 var(--color-shadow);transition:all .15s ease}.expand-btn.svelte-tfl2yi:hover{border-color:var(--color-border-dark);box-shadow:3px 3px 0 var(--color-shadow)}.chart-container.svelte-tfl2yi{width:100%;min-height:900px;margin-bottom:2rem;background:var(--color-bg-secondary);border:1px solid var(--color-border-light);overflow:hidden}.popup-overlay.svelte-tfl2yi{position:fixed;inset:0;background:#000c;z-index:1000;display:flex;align-items:center;justify-content:center;padding:96px}.popup-modal.svelte-tfl2yi{background:var(--color-bg-secondary);border:2px solid var(--color-border-dark);box-shadow:4px 4px 0 var(--color-shadow);width:100%;height:100%;display:flex;flex-direction:column;overflow:hidden}.popup-header.svelte-tfl2yi{display:flex;justify-content:space-between;align-items:center;padding:1rem 1.25rem;border-bottom:1px solid var(--color-border-light);background:var(--color-bg-alt)}.popup-header.svelte-tfl2yi h2:where(.svelte-tfl2yi){margin:0;font-size:1.25rem}.close-btn.svelte-tfl2yi{font-size:1.5rem;padding:.25rem .5rem;border:2px solid var(--color-border-dark);background:var(--color-bg-secondary);cursor:pointer;line-height:1}.close-btn.svelte-tfl2yi:hover{background:var(--color-danger);color:#fff;border-color:var(--color-danger)}.popup-content.svelte-tfl2yi{flex:1;overflow:auto;background:var(--color-bg-secondary)}.card.svelte-tfl2yi{background:var(--color-bg-secondary);border:1px solid var(--color-border-light);padding:1rem 1.25rem;margin-bottom:1.5rem;box-shadow:2px 2px 0 var(--color-shadow)}.card.svelte-tfl2yi h2:where(.svelte-tfl2yi){display:flex;align-items:center;gap:.5rem;margin-bottom:1rem}.legend.svelte-tfl2yi{display:flex;gap:1.5rem;flex-wrap:wrap}.predicate-legend.svelte-tfl2yi{gap:1rem}.legend-item.svelte-tfl2yi{display:flex;align-items:center;gap:.5rem;font-size:.85rem}.dot.svelte-tfl2yi{width:14px;height:14px;border-radius:50%;border:1px solid #111}.line.svelte-tfl2yi{width:20px;height:3px}.info-list.svelte-tfl2yi{padding-left:1.25rem}.info-list.svelte-tfl2yi li:where(.svelte-tfl2yi){padding:.25rem 0}.error.svelte-tfl2yi{color:var(--color-danger)}@media (max-width: 768px){.controls.svelte-tfl2yi{flex-direction:column;align-items:flex-start}.expand-btn.svelte-tfl2yi{margin-left:0}}