.proof-drawer.svelte-91jtfz{border:1px solid #d8c5f6;border-radius:.75rem;margin:var(--space-md) 0;background:linear-gradient(135deg,#faf5ff,#f5f3ff);overflow:hidden}.proof-drawer.svelte-91jtfz summary:where(.svelte-91jtfz){list-style:none;cursor:pointer;padding:.95rem 1rem;-webkit-user-select:none;user-select:none;display:flex;align-items:center;gap:.55rem}.proof-drawer.svelte-91jtfz summary:where(.svelte-91jtfz)::-webkit-details-marker{display:none}.proof-drawer.svelte-91jtfz summary:where(.svelte-91jtfz):before{content:"▸";font-size:.72rem;color:var(--color-d);transition:transform .2s ease}.proof-drawer[open].svelte-91jtfz summary:where(.svelte-91jtfz):before{transform:rotate(90deg)}.proof-title.svelte-91jtfz{font-family:var(--font-sans);font-size:.8rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--color-d)}.proof-body.svelte-91jtfz{padding:0 1rem 1rem}.proof-controls.svelte-91jtfz{display:flex;align-items:center;gap:.6rem;margin-bottom:.8rem;flex-wrap:wrap}.proof-button.svelte-91jtfz{font-family:var(--font-sans);font-size:.72rem;font-weight:600;padding:.35rem .65rem;border-radius:.45rem;border:1px solid #d8c5f6;background:#fff;color:var(--color-d);cursor:pointer}.proof-button.svelte-91jtfz:disabled{opacity:.45;cursor:not-allowed}.proof-progress.svelte-91jtfz{font-family:var(--font-sans);font-size:.74rem;color:var(--color-ink-faint)}.proof-content.svelte-91jtfz{font-size:1rem;line-height:1.7;color:var(--color-ink-light)}.rule-tabs.svelte-1yhrz9d{display:flex;gap:.45rem;flex-wrap:wrap;margin-bottom:.8rem}.rule-tabs.svelte-1yhrz9d button:where(.svelte-1yhrz9d){border:1px solid var(--color-border);background:#fff;color:var(--color-ink-light);font-family:var(--font-sans);font-size:.75rem;font-weight:600;padding:.35rem .62rem;border-radius:999px;cursor:pointer}.rule-tabs.svelte-1yhrz9d button.active:where(.svelte-1yhrz9d){border-color:var(--color-d);background:var(--color-d-soft);color:var(--color-d)}.rule-title.svelte-1yhrz9d{font-family:var(--font-sans);font-size:.78rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--color-ink-light);margin-bottom:.6rem}.rule-step.svelte-1yhrz9d{padding:.54rem 0;border-top:1px solid var(--color-border-light)}.rule-step.svelte-1yhrz9d:first-child{border-top:none;padding-top:0}.rule-note.svelte-1yhrz9d{font-family:var(--font-sans);font-size:.72rem;color:var(--color-ink-faint)}