.proof-diagram.svelte-rq2fod{position:relative;background:transparent}.proof-diagram__viewport.svelte-rq2fod{overflow-x:auto;overflow-y:hidden;scrollbar-width:thin;scrollbar-color:rgba(163,163,160,.45) transparent}.proof-diagram__canvas.svelte-rq2fod{padding:0}.proof-diagram__svg.svelte-rq2fod{display:block;height:auto}.proof-diagram__scene.svelte-rq2fod{animation:svelte-rq2fod-proof-scene-reveal .82s cubic-bezier(.16,1,.3,1);transform-origin:50% 50%}.proof-diagram__starter.svelte-rq2fod{fill:none;stroke:#1f1e21;stroke-dasharray:1.6 5.2;stroke-linecap:round;stroke-width:2}.proof-diagram__track.svelte-rq2fod{stroke:#1f1e21;stroke-linecap:round;stroke-width:1.7}.proof-diagram__track--dashed.svelte-rq2fod{stroke-dasharray:6 7}.proof-diagram__stage-fill.svelte-rq2fod{fill:#fffffff5}.proof-diagram__stage-noise.svelte-rq2fod{fill:url(#proof-stage-noise);opacity:.7}.proof-diagram__stage-stroke.svelte-rq2fod{fill:none;stroke:#242326;stroke-width:1.55}.proof-diagram__stage-label.svelte-rq2fod,.proof-diagram__event-label.svelte-rq2fod{fill:#1f1e21;color:#1f1e21;font-family:var(--font-mono);letter-spacing:-.03em}.proof-diagram__stage-label.svelte-rq2fod{font-size:17px}.proof-diagram__db-top.svelte-rq2fod{fill:#111}.proof-diagram__db-body.svelte-rq2fod,.proof-diagram__db-line.svelte-rq2fod{fill:none;stroke:#111;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.55}.proof-diagram__signal-dot.svelte-rq2fod{fill:#7ebf7bb8}.proof-diagram__event-stem.svelte-rq2fod{stroke:#1f1e21;stroke-dasharray:6 7;stroke-linecap:round;stroke-width:1.5}.proof-diagram__event.svelte-rq2fod{fill:#7ebf7b5c;stroke:#1f1e21;stroke-width:1.55}.proof-diagram__event-label.svelte-rq2fod{font-size:16px}.proof-diagram__success-core.svelte-rq2fod{fill:#7ebf7b;stroke:#1111113d;stroke-width:1.25}.proof-diagram__success-check.svelte-rq2fod{fill:none;stroke:#f7fff9;stroke-linecap:round;stroke-linejoin:round;stroke-width:2.2}.proof-diagram__arrow.svelte-rq2fod{fill:none;stroke:#1f1e21;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.7}.proof-diagram__hint.svelte-rq2fod{display:none;margin:0;padding:0 1rem 1rem;color:#6f7270;font-size:.78rem;line-height:1.4}@keyframes svelte-rq2fod-proof-scene-reveal{0%{opacity:0;transform:translateY(12px) scale(.988)}to{opacity:1;transform:translateY(0) scale(1)}}@media(max-width:900px){.proof-diagram__hint.svelte-rq2fod{display:block}}