.trace.proven.svelte-1ujfdmz{stroke:var(--proof)}.trace.broken.svelte-1ujfdmz{stroke:var(--ink)}.trace.misread.svelte-1ujfdmz{stroke:var(--warn)}.node.open.svelte-1ujfdmz{fill:var(--surface);stroke:var(--ink-3);stroke-width:1.5px}.trace.unchecked.svelte-1ujfdmz{stroke:var(--ink-3);stroke-dasharray:3 3}.trace.drawing.svelte-1ujfdmz:not(.unchecked){stroke-dasharray:1;stroke-dashoffset:1px;animation:svelte-1ujfdmz-draw .9s var(--ease-out-expo) forwards}.trace.unchecked.drawing.svelte-1ujfdmz{opacity:0;animation:.4s ease-out .5s forwards svelte-1ujfdmz-appear}.gap.break.svelte-1ujfdmz{stroke:var(--break)}.gap.misread.svelte-1ujfdmz{stroke:var(--warn)}.gap.drawing.svelte-1ujfdmz,.node.drawing.svelte-1ujfdmz{opacity:0;animation:svelte-1ujfdmz-appear .26s var(--ease-out-expo) forwards}.gap.drawing.svelte-1ujfdmz{animation-delay:.76s}.node.svelte-1ujfdmz{stroke:var(--surface);stroke-width:1.5px;transform-box:fill-box;transform-origin:50%}.node.start.svelte-1ujfdmz,.node.ok.svelte-1ujfdmz{fill:var(--proof)}.node.break.svelte-1ujfdmz{fill:var(--surface);stroke:var(--break);stroke-width:2px}.node.misread.svelte-1ujfdmz{fill:var(--surface);stroke:var(--warn);stroke-width:2px}@keyframes svelte-1ujfdmz-draw{to{stroke-dashoffset:0}}@keyframes svelte-1ujfdmz-appear{0%{opacity:0;transform:scale(.4)}to{opacity:1;transform:scale(1)}}@media (prefers-reduced-motion:reduce){.trace.drawing.svelte-1ujfdmz:not(.unchecked){stroke-dasharray:none;animation:none}.trace.unchecked.drawing.svelte-1ujfdmz,.gap.drawing.svelte-1ujfdmz,.node.drawing.svelte-1ujfdmz{opacity:1;animation:none}}.sum.svelte-mmwiw6 dl:where(.svelte-mmwiw6){font-size:1.0625rem}.sum.svelte-mmwiw6 dd.closing:where(.svelte-mmwiw6){letter-spacing:-.01em;font-size:1.5rem}.sum.small.svelte-mmwiw6 dl:where(.svelte-mmwiw6){font-size:.9375rem}.sum.small.svelte-mmwiw6 dd.closing:where(.svelte-mmwiw6){font-size:1.125rem}.op.svelte-mmwiw6{width:1.1em;color:var(--ink-3);display:inline-block}