.grid.svelte-1kfkz8g{width:100%;max-width:300px;display:block;overflow:visible}.blabel.svelte-1kfkz8g{font-family:var(--font-mono);fill:var(--color-ink-3);font-size:6px}.cell.svelte-1kfkz8g{fill:var(--color-ink)}.cell.todo.svelte-1kfkz8g{fill:none;stroke:var(--color-rule);stroke-width:.6px}.cell.wrong.svelte-1kfkz8g{fill:none;stroke:var(--color-ink);stroke-width:.9px;stroke-dasharray:1.2 .8}.now.svelte-1kfkz8g{fill:none;stroke:var(--color-ink);stroke-width:1.2px}.src.svelte-1hc98b{min-width:0;font-size:var(--text-2xs);color:var(--color-ink-3);white-space:nowrap;align-items:baseline;gap:6px;line-height:1.3;display:inline-flex}.word.svelte-1hc98b{text-transform:uppercase;letter-spacing:.1em;font-size:10px}.short.svelte-1hc98b{text-overflow:ellipsis;overflow:hidden}.mock.svelte-1hc98b .word:where(.svelte-1hc98b){color:var(--color-ink);text-underline-offset:3px;font-weight:500;-webkit-text-decoration:underline dashed;text-decoration:underline dashed;text-decoration-thickness:1px}.mock.svelte-1hc98b .short:where(.svelte-1hc98b){color:var(--color-ink-2)}.none.svelte-1hc98b .word:where(.svelte-1hc98b){color:var(--color-ink-3)}.pane.svelte-b72y62{flex-direction:column;min-width:0;height:100%;min-height:0;padding:12px 16px 14px;display:flex}header.svelte-b72y62{justify-content:space-between;align-items:baseline;gap:12px;min-width:0;margin-bottom:10px;display:flex}h2.svelte-b72y62{font-size:var(--text-sm);white-space:nowrap;align-items:baseline;gap:9px;font-weight:500;line-height:1.3;display:flex}.n.svelte-b72y62{font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);font-weight:400}.body.svelte-b72y62{flex-direction:column;flex:1;min-height:0;display:flex}.body.svelte-b72y62>*{flex:1;min-height:0}.cert.svelte-1n55ron{flex-direction:column;gap:9px;height:100%;min-height:0;display:flex}.big.svelte-1n55ron{font-size:var(--text-xs);color:var(--color-ink-2);line-height:1.5}.big.svelte-1n55ron b:where(.svelte-1n55ron){font-weight:500;font-size:var(--text-lg);color:var(--color-ink)}.sep.svelte-1n55ron{color:var(--color-ink-3);margin:0 7px}.grid.svelte-1n55ron{width:100%;max-width:260px;max-height:120px;display:block}.cell.svelte-1n55ron{fill:var(--color-ink)}.cell.todo.svelte-1n55ron{fill:none;stroke:var(--color-rule);stroke-width:.8px}.cell.wrong.svelte-1n55ron{fill:none;stroke:var(--color-ink);stroke-width:1px;stroke-dasharray:1.5 1}.now.svelte-1n55ron{fill:none;stroke:var(--color-ink);stroke-width:1.2px}.note.svelte-1n55ron,.covers.svelte-1n55ron{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.5}.verdict.svelte-1n55ron{font-size:var(--text-xs);color:var(--color-ink)}.verdict.bad.svelte-1n55ron,.bad.svelte-1n55ron{color:var(--color-ink-2);-webkit-text-decoration:underline wavy;text-decoration:underline wavy}.tables.svelte-1n55ron{border-collapse:collapse;font-size:var(--text-2xs);width:100%;max-width:300px}.tables.svelte-1n55ron th:where(.svelte-1n55ron){color:var(--color-ink-3);text-align:left;padding:0 8px 3px 0;font-weight:400}.tables.svelte-1n55ron td:where(.svelte-1n55ron){font-family:var(--font-mono);color:var(--color-ink-2);border-top:1px solid #222;padding:2px 8px 2px 0}.tables.svelte-1n55ron td.ok:where(.svelte-1n55ron){color:var(--color-ink)}.model.svelte-iwaevp{border-top:1px solid var(--color-edge);gap:8px;margin-top:16px;padding:12px 0 2px;display:grid}.model.compact.svelte-iwaevp{border-top:0;border-bottom:1px solid #222;margin:0;padding:8px 22px}.choices.svelte-iwaevp{gap:8px;display:grid}.choices.quiet.svelte-iwaevp{flex-wrap:wrap;gap:2px 14px;display:flex}.choice.svelte-iwaevp{width:100%;font:inherit;text-align:left;cursor:pointer;color:inherit;background:0 0;border:0;grid-template-columns:minmax(0,1fr) auto;gap:1px 12px;padding:0;display:grid}.choices.quiet.svelte-iwaevp .choice:where(.svelte-iwaevp){grid-template-columns:auto auto;width:auto;max-width:100%}.choice.svelte-iwaevp .nm:where(.svelte-iwaevp){font-size:var(--text-xs);color:var(--color-ink-2);min-width:0;line-height:1.4}.choice.svelte-iwaevp .sz:where(.svelte-iwaevp){font-size:var(--text-2xs);color:var(--color-ink-3)}.choice.svelte-iwaevp .desc:where(.svelte-iwaevp){font-size:var(--text-2xs);color:var(--color-ink-3);grid-column:1/-1;line-height:1.45}.choice[aria-checked=true].svelte-iwaevp .nm:where(.svelte-iwaevp){color:var(--color-ink);text-underline-offset:4px;text-decoration:underline;text-decoration-thickness:1px}.choice.svelte-iwaevp:disabled{cursor:default}.one.svelte-iwaevp{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.5}.line.svelte-iwaevp{min-width:0;font-size:var(--text-2xs);flex-wrap:wrap;align-items:center;gap:10px;display:flex}.line.svelte-iwaevp .quiet:where(.svelte-iwaevp){text-overflow:ellipsis;overflow:hidden}.head.svelte-iwaevp{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.name.svelte-iwaevp{font-size:var(--text-2xs);text-transform:uppercase;letter-spacing:.12em;color:var(--color-ink);font-weight:500}.word.svelte-iwaevp{text-transform:uppercase;letter-spacing:.1em;color:var(--color-ink-3);font-size:10px}.load.svelte-iwaevp{text-align:left;white-space:normal;justify-items:start;gap:2px;width:100%;height:auto;padding:9px 14px 10px;line-height:1.3;display:grid}.load.svelte-iwaevp .main:where(.svelte-iwaevp){width:100%;font-size:var(--text-ui);justify-content:space-between;gap:12px;font-weight:500;display:flex}.load.svelte-iwaevp .size:where(.svelte-iwaevp){font-weight:400;font-size:var(--text-xs);opacity:.7}.load.svelte-iwaevp .dim:where(.svelte-iwaevp){font-size:var(--text-2xs);opacity:.72;font-weight:400}.load-small.svelte-iwaevp{height:24px;font-size:var(--text-2xs);padding:0 9px}.quiet.svelte-iwaevp,.license.svelte-iwaevp,.file.svelte-iwaevp{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.55}.license.svelte-iwaevp a:where(.svelte-iwaevp),.link.svelte-iwaevp{color:var(--color-ink-2);text-decoration:underline;-webkit-text-decoration-color:var(--color-rule);text-decoration-color:var(--color-rule);text-underline-offset:3px}.link.svelte-iwaevp{font:inherit;cursor:pointer;background:0 0;border:0;padding:0}.link.svelte-iwaevp:disabled{opacity:.5}.why.svelte-iwaevp,.ready.svelte-iwaevp,.nums.svelte-iwaevp{font-size:var(--text-xs);color:var(--color-ink-2);line-height:1.5}.ready.svelte-iwaevp b:where(.svelte-iwaevp),.nums.svelte-iwaevp b:where(.svelte-iwaevp){color:var(--color-ink);font-weight:500}.warn.svelte-iwaevp,.err.svelte-iwaevp{font-size:var(--text-2xs);color:var(--color-ink-2);-webkit-text-decoration:underline wavy var(--color-rule);text-decoration:underline wavy var(--color-rule);text-underline-offset:4px;line-height:1.5}.progress.svelte-iwaevp{gap:6px;display:grid}.bar.svelte-iwaevp{background:var(--color-edge);border-radius:2px;height:3px;overflow:hidden}.bar.small.svelte-iwaevp{flex:1;min-width:40px;height:2px}.bar.svelte-iwaevp span:where(.svelte-iwaevp){background:var(--color-ink);height:100%;transition:width .3s ease-out;display:block}.bar.svelte-iwaevp span.busy:where(.svelte-iwaevp){background:linear-gradient(90deg, var(--color-rule) 0%, var(--color-ink) 50%, var(--color-rule) 100%);background-size:200% 100%;animation:1.6s ease-in-out infinite svelte-iwaevp-sweep;width:100%!important}@keyframes svelte-iwaevp-sweep{0%{background-position:100% 0}to{background-position:-100% 0}}@media (prefers-reduced-motion:reduce){.bar.svelte-iwaevp span.busy:where(.svelte-iwaevp){animation:none}}.mealy.svelte-1f4vysn{flex-direction:column;gap:12px;min-height:0;display:flex}.label.svelte-1f4vysn{text-transform:uppercase;letter-spacing:.1em;color:var(--color-ink-3);font-size:10px}.label.svelte-1f4vysn .num:where(.svelte-1f4vysn){text-transform:none;letter-spacing:0}.sheet-wrap.svelte-1f4vysn{gap:5px;display:grid}.sheet.svelte-1f4vysn{grid-template-columns:6ch repeat(var(--cols), minmax(0, 1fr));font-family:var(--font-mono);font-size:var(--text-xs);align-items:center;row-gap:1px;display:grid}.sheet.svelte-1f4vysn>span:where(.svelte-1f4vysn),.sheet.svelte-1f4vysn>button:where(.svelte-1f4vysn){text-align:center;height:21px;line-height:21px}.k.svelte-1f4vysn{font-size:var(--text-2xs);color:var(--color-ink-3);text-align:left!important}.carry.svelte-1f4vysn{font-size:var(--text-2xs);color:var(--color-ink-3)}.carry.now.svelte-1f4vysn{color:var(--color-ink)}.d.svelte-1f4vysn{color:var(--color-ink-3)}.d.done.svelte-1f4vysn{color:var(--color-ink-2)}.d.pad.svelte-1f4vysn{opacity:.45}.d.now.svelte-1f4vysn{color:var(--color-void);background:var(--color-ink);opacity:1}.out.svelte-1f4vysn{color:var(--color-ink)}button.d.svelte-1f4vysn{font:inherit;cursor:pointer;background:0 0;border:0;padding:0}button.d.now.svelte-1f4vysn{background:var(--color-ink)}button.d.svelte-1f4vysn:disabled{cursor:default}.rule.svelte-1f4vysn{background:var(--color-rule);margin:2px 0;height:1px!important}.mini.svelte-1f4vysn{background:var(--color-edge);border-radius:1px;height:2px;overflow:hidden}.fill.svelte-1f4vysn{background:var(--color-ink-2);height:100%;display:block}.step.svelte-1f4vysn{font-size:var(--text-xs);color:var(--color-ink-2);gap:2px;display:grid}.step.svelte-1f4vysn b:where(.svelte-1f4vysn){font-weight:500;font-family:var(--font-mono);color:var(--color-ink)}.step.svelte-1f4vysn span:where(.svelte-1f4vysn){overflow-wrap:anywhere}.quiet.svelte-1f4vysn{font-size:var(--text-2xs);color:var(--color-ink-3)}.tape.svelte-1f4vysn{gap:4px;min-height:0;display:grid}.digits.svelte-1f4vysn{max-height:4.6em;font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-2);overflow-wrap:anywhere;word-break:break-all;margin:0;line-height:1.5;overflow-y:auto}.new.svelte-1f4vysn{color:var(--color-void);background:var(--color-ink);padding:0 1px}.memory.svelte-1981cuo{font-family:var(--font-mono);font-size:var(--text-2xs);gap:4px;min-height:0;display:grid;overflow:auto}.arr.svelte-1981cuo{grid-template-columns:2ch minmax(0,1fr);align-items:baseline;gap:8px;display:grid}.an.svelte-1981cuo{color:var(--color-ink-3)}.digits.svelte-1981cuo{color:var(--color-ink-2);word-break:break-all;letter-spacing:.06em}.d.svelte-1981cuo{border-bottom:1px solid #0000}.d.p.svelte-1981cuo{border-bottom-color:var(--color-ink-3)}.d.w.svelte-1981cuo{color:var(--color-void);background:var(--color-ink)}.regs.svelte-1981cuo{color:var(--color-ink-2);flex-wrap:wrap;gap:2px 14px;margin-top:4px;display:flex}.reg.svelte-1981cuo{white-space:nowrap}.rn.svelte-1981cuo{color:var(--color-ink-3);margin-right:5px}.reg.w.svelte-1981cuo,.reg.w.svelte-1981cuo .rn:where(.svelte-1981cuo){color:var(--color-ink)}.run.svelte-aza9kx{align-content:start;gap:14px;min-height:0;display:grid}.main.svelte-aza9kx,.side.svelte-aza9kx{flex-direction:column;gap:12px;min-width:0;min-height:0;display:flex}.side.svelte-aza9kx{gap:6px}@media (width>=1181px){.run.regs.svelte-aza9kx{grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:28px}}.label.svelte-aza9kx{text-transform:uppercase;letter-spacing:.1em;color:var(--color-ink-3);font-size:10px}.tape-wrap.svelte-aza9kx{gap:5px;display:grid}.tape.svelte-aza9kx{grid-template-columns:repeat(var(--cells), minmax(0, 1fr));font-family:var(--font-mono);font-size:var(--text-2xs);gap:2px;display:grid}.cell.svelte-aza9kx{border:0;border-bottom:1px solid var(--color-edge);height:24px;color:var(--color-ink-3);font:inherit;text-overflow:ellipsis;white-space:nowrap;padding:0;cursor:pointer;background:0 0;padding-inline:2px;overflow:hidden}.cell.done.svelte-aza9kx{color:var(--color-ink-2);border-bottom-color:var(--color-rule)}.cell.now.svelte-aza9kx{color:var(--color-void);background:var(--color-ink);border-bottom-color:var(--color-ink);border-radius:2px 2px 0 0}.cell.svelte-aza9kx:disabled{cursor:default;border-bottom-color:#0000}.mini.svelte-aza9kx{background:var(--color-edge);border-radius:1px;height:2px;overflow:hidden}.fill.svelte-aza9kx{background:var(--color-ink-2);height:100%;display:block}.read.svelte-aza9kx{grid-template-columns:minmax(72px,auto) 40px minmax(0,1fr);align-items:center;display:grid}.head.svelte-aza9kx{justify-items:start;gap:3px;display:grid}.query.svelte-aza9kx{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink)}.meta.svelte-aza9kx{font-size:var(--text-2xs);color:var(--color-ink-3)}.arrows.svelte-aza9kx{width:100%;height:147px;overflow:visible}.arrows.svelte-aza9kx path:where(.svelte-aza9kx){fill:none;stroke:var(--color-ink);vector-effect:non-scaling-stroke}.rows.svelte-aza9kx{font-family:var(--font-mono);font-size:var(--text-2xs);margin:0;padding:0;list-style:none}.rows.svelte-aza9kx li:where(.svelte-aza9kx){height:var(--rh);color:var(--color-ink-3);white-space:nowrap;border-left:1px solid #0000;align-items:center;gap:10px;padding:0 8px;display:flex;overflow:hidden}.rows.svelte-aza9kx li.lit:where(.svelte-aza9kx){color:var(--color-ink);border-left-color:var(--color-ink);background:#ffffff0d}.k.svelte-aza9kx{text-align:right;width:3.5ch;color:var(--color-ink-3);flex:none}.t.svelte-aza9kx{text-overflow:ellipsis;flex:1;min-width:0;overflow:hidden}.w.svelte-aza9kx{color:var(--color-ink-2);flex:none}.foot.svelte-aza9kx{font-size:var(--text-2xs);color:var(--color-ink-3);text-align:right;margin-top:-6px}.step.svelte-aza9kx{font-size:var(--text-xs);color:var(--color-ink-2);gap:2px;display:grid}.step.svelte-aza9kx b:where(.svelte-aza9kx){font-weight:500;font-family:var(--font-mono);color:var(--color-ink)}.step.svelte-aza9kx span:where(.svelte-aza9kx){text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.quiet.svelte-aza9kx{font-size:var(--text-2xs);color:var(--color-ink-3)}.how.svelte-aza9kx{color:var(--color-ink-3);font-size:10px;line-height:1.45}.call.svelte-1q270vq{gap:1px;min-width:0;display:grid}.head.svelte-1q270vq{min-width:0;color:inherit;font:inherit;text-align:left;cursor:pointer;background:0 0;border:0;align-items:baseline;gap:8px;padding:2px 0;display:flex}.head.svelte-1q270vq:disabled{cursor:default}.k.svelte-1q270vq{letter-spacing:.04em;color:var(--color-ink-3);flex:none;font-size:10px}.prog.svelte-1q270vq{white-space:nowrap;text-overflow:ellipsis;min-width:0;font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-2);flex:1;overflow:hidden}.head.svelte-1q270vq:hover .prog:where(.svelte-1q270vq),.open.svelte-1q270vq .prog:where(.svelte-1q270vq){color:var(--color-ink)}.chev.svelte-1q270vq{width:1ch;font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);flex:none}.status.svelte-1q270vq{font-size:var(--text-2xs);color:var(--color-ink-3);flex-wrap:wrap;gap:0 10px;min-width:0;line-height:1.5;display:flex}.status.err.svelte-1q270vq{color:var(--color-ink-2)}.val.svelte-1q270vq{color:var(--color-ink);font-family:var(--font-mono);overflow-wrap:anywhere;min-width:0}.detail.svelte-1q270vq{gap:6px;min-width:0;margin-top:4px;display:grid}.reads.svelte-1q270vq{font-size:var(--text-2xs);gap:2px;margin:0;padding:0;list-style:none;display:grid}.reads.svelte-1q270vq li:where(.svelte-1q270vq){flex-wrap:wrap;align-items:baseline;gap:0 8px;min-width:0;display:flex}.reads.svelte-1q270vq .k:where(.svelte-1q270vq){min-width:5.5ch}.reads.svelte-1q270vq .v:where(.svelte-1q270vq){font-family:var(--font-mono);color:var(--color-ink-2);overflow-wrap:anywhere;min-width:0}.reads.svelte-1q270vq .from:where(.svelte-1q270vq){color:var(--color-ink-3)}.regs.svelte-1q270vq{font-size:var(--text-2xs);align-items:baseline;gap:10px;display:flex}.regs.svelte-1q270vq button:where(.svelte-1q270vq){font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);cursor:pointer;background:0 0;border:0;padding:2px 0}.regs.svelte-1q270vq button:where(.svelte-1q270vq):hover,.regs.svelte-1q270vq button[aria-pressed=true]:where(.svelte-1q270vq){color:var(--color-ink)}.regs.svelte-1q270vq button[aria-pressed=true]:where(.svelte-1q270vq){text-underline-offset:4px;text-decoration:underline}.panels.svelte-1q270vq{min-width:0;display:grid}.panels.svelte-1q270vq>.pane{padding:8px 0 10px}.quiet.svelte-1q270vq{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.5}.link.svelte-1q270vq{color:var(--color-ink-2);font:inherit;text-decoration:underline;-webkit-text-decoration-color:var(--color-rule);text-decoration-color:var(--color-rule);text-underline-offset:3px;cursor:pointer;background:0 0;border:0;padding:0}.link.svelte-1q270vq:hover{color:var(--color-ink)}.show.svelte-1q270vq{margin-left:.4em}.src.svelte-1q270vq{max-height:180px;font-family:var(--font-mono);font-size:var(--text-2xs);white-space:pre-wrap;overflow-wrap:anywhere;color:var(--color-ink-3);margin:0;line-height:1.5;overflow:auto}.reply.svelte-1nsgca0{overflow-wrap:anywhere;flex-direction:column;gap:6px;min-width:0;display:flex}.reply.svelte-1nsgca0 p{margin:0}.reply.svelte-1nsgca0 p.h{margin-top:4px;font-weight:600}.reply.svelte-1nsgca0 ul{margin:0;padding-left:18px}.reply.svelte-1nsgca0 hr{display:none}.reply.svelte-1nsgca0 code{font-family:var(--font-mono);font-size:.92em}.reply.svelte-1nsgca0 .disp{overflow:auto hidden}.reply.svelte-1nsgca0 .katex-display{text-align:left;margin:.2em 0}.reason.svelte-y79n0s{gap:7px;min-width:0;display:grid}.summary.svelte-y79n0s,.unfinished.svelte-y79n0s{font-size:var(--text-2xs);color:var(--color-ink-2)}.msg.svelte-y79n0s{font-size:var(--text-sm);color:var(--color-ink);overflow-wrap:anywhere;min-width:0;line-height:1.55}.answer.svelte-y79n0s{font-size:var(--text-ui)}.streaming.svelte-y79n0s{color:var(--color-ink-2);white-space:pre-wrap}.chat.svelte-14zizju{flex-direction:column;height:100%;min-height:0;display:flex}.log.svelte-14zizju{flex-direction:column;flex:1;gap:14px;min-height:0;padding:22px 22px 12px;display:flex;overflow-y:auto}.empty.svelte-14zizju{margin:auto 0 8px}.eyebrow.svelte-14zizju{text-transform:uppercase;letter-spacing:.14em;color:var(--color-ink-3);margin-bottom:6px;font-size:10px}h1.svelte-14zizju{max-width:22ch;font-family:KaTeX_Main,Times New Roman,serif;font-size:26px;font-weight:400;line-height:1.18}.intro.svelte-14zizju{font-size:var(--text-sm);color:var(--color-ink-2);margin-top:10px;line-height:1.6}.replay-note.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-3);margin-top:10px;line-height:1.55}.user.svelte-14zizju{background:var(--color-lift);border-radius:8px;align-self:flex-end;max-width:92%;padding:9px 12px}.msg.svelte-14zizju{font-size:var(--text-sm);color:var(--color-ink);white-space:pre-wrap;overflow-wrap:anywhere;line-height:1.55}.user.svelte-14zizju .msg:where(.svelte-14zizju){color:var(--color-ink-2);font-size:var(--text-xs)}.bot.svelte-14zizju{border-left:1px solid var(--color-edge);gap:5px;padding-left:12px;transition:border-color .2s ease-in-out;display:grid}.bot.active.svelte-14zizju{border-left-color:var(--color-ink-2)}.answer.svelte-14zizju{font-size:var(--text-ui)}.msg.svelte-14zizju .reply{white-space:normal}.streaming.svelte-14zizju{color:var(--color-ink-2)}.note.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-2)}.warn.svelte-14zizju{color:var(--color-ink);margin-left:.35em;-webkit-text-decoration:underline wavy;text-decoration:underline wavy}.prov.svelte-14zizju,.quiet.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.5}.notice.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-2);line-height:1.5}.mock.svelte-14zizju{color:var(--color-ink);text-transform:uppercase;letter-spacing:.08em;text-underline-offset:3px;font-size:10px;font-weight:500;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.measured.svelte-14zizju{color:var(--color-ink-3);text-transform:uppercase;letter-spacing:.08em;margin-right:4px;font-size:10px}.actions.svelte-14zizju{flex-wrap:wrap;align-items:baseline;gap:4px 16px;display:flex}.link.svelte-14zizju{color:var(--color-ink-2);font:inherit;font-size:var(--text-2xs);text-decoration:underline;-webkit-text-decoration-color:var(--color-rule);text-decoration-color:var(--color-rule);text-underline-offset:3px;cursor:pointer;background:0 0;border:0;padding:2px 0}.link.svelte-14zizju:hover{color:var(--color-ink)}.btn.small.svelte-14zizju{height:26px;font-size:var(--text-2xs);padding:0 10px}.base.svelte-14zizju{border-top:1px solid #222;gap:4px;margin-top:4px;padding-top:8px;display:grid}.who.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-2)}.base.svelte-14zizju .msg:where(.svelte-14zizju){font-size:var(--text-xs);color:var(--color-ink-2);max-height:160px;overflow-y:auto}.compose.svelte-14zizju{border-top:1px solid #222;flex:none;gap:8px;padding:10px 22px 14px;display:grid}.suggest.svelte-14zizju{gap:4px;max-height:200px;display:grid;overflow-y:auto}.items.svelte-14zizju{flex-wrap:wrap;align-items:baseline;gap:2px 16px;display:flex}.lengths.svelte-14zizju{gap:2px 12px}.k.svelte-14zizju{letter-spacing:.04em;color:var(--color-ink-3);min-width:5.5ch;font-size:10px}.k.rec.svelte-14zizju{min-width:0;margin-left:6px}.live-word.svelte-14zizju{color:var(--color-ink);text-transform:uppercase;letter-spacing:.1em;margin-right:4px;font-size:10px;font-weight:500}.bar-mini.svelte-14zizju{background:var(--color-edge);border-radius:1px;height:2px;overflow:hidden}.bar-mini.svelte-14zizju span:where(.svelte-14zizju){background:var(--color-ink-2);height:100%;transition:width .2s linear;display:block}.link.svelte-14zizju:disabled{opacity:.5;cursor:default}.sugg.svelte-14zizju,.len.svelte-14zizju,.more.svelte-14zizju{font:inherit;font-size:var(--text-xs);color:var(--color-ink-2);cursor:pointer;white-space:nowrap;background:0 0;border:0;padding:3px 0}.len.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-3)}.more.svelte-14zizju{color:var(--color-ink-3);letter-spacing:.04em;justify-self:start;font-size:10px}.sugg.small.svelte-14zizju{font-size:var(--text-2xs)}.sugg.svelte-14zizju:hover,.len.svelte-14zizju:hover,.more.svelte-14zizju:hover,.sugg[aria-pressed=true].svelte-14zizju,.len[aria-pressed=true].svelte-14zizju{color:var(--color-ink)}.sugg[aria-pressed=true].svelte-14zizju,.len[aria-pressed=true].svelte-14zizju{text-underline-offset:5px;text-decoration:underline;text-decoration-thickness:1px}.sugg.svelte-14zizju .meta:where(.svelte-14zizju){font-size:var(--text-2xs);color:var(--color-ink-3);margin-left:6px}.input.svelte-14zizju{position:relative}textarea.svelte-14zizju{border:1px solid var(--color-edge);background:var(--color-well);width:100%;min-height:64px;max-height:168px;color:var(--color-ink);font:inherit;font-size:var(--text-xs);resize:vertical;field-sizing:content;overflow-wrap:anywhere;word-break:break-all;border-radius:6px;min-width:0;max-width:100%;padding:9px 46px 9px 11px;line-height:1.5;display:block}textarea.svelte-14zizju:focus{border-color:var(--color-rule);outline:none}.send.svelte-14zizju{position:absolute;bottom:7px;right:7px}.hint.svelte-14zizju{font-size:var(--text-2xs);color:var(--color-ink-3)}.mode.svelte-14zizju{font-size:var(--text-2xs);flex-wrap:wrap;align-items:baseline;gap:2px 12px;display:flex}.mode.svelte-14zizju .k:where(.svelte-14zizju){min-width:0}.mode.svelte-14zizju button:where(.svelte-14zizju){font:inherit;color:var(--color-ink-3);cursor:pointer;background:0 0;border:0;padding:2px 0}.mode.svelte-14zizju button:where(.svelte-14zizju):hover,.mode.svelte-14zizju button[aria-pressed=true]:where(.svelte-14zizju){color:var(--color-ink)}.mode.svelte-14zizju button[aria-pressed=true]:where(.svelte-14zizju){text-underline-offset:4px;text-decoration:underline}.stages.svelte-wncj8g{font-size:var(--text-2xs);color:var(--color-ink-3);flex-wrap:wrap;gap:4px 14px;margin:0;padding:0;list-style:none;display:flex}li.svelte-wncj8g{white-space:nowrap;align-items:center;gap:6px;transition:color .2s ease-in-out;display:flex}.dot.svelte-wncj8g{border:1px solid var(--color-rule);border-radius:50%;width:6px;height:6px;transition:background .2s ease-in-out,border-color .2s ease-in-out}li.done.svelte-wncj8g{color:var(--color-ink-2)}li.done.svelte-wncj8g .dot:where(.svelte-wncj8g){background:var(--color-ink-2);border-color:var(--color-ink-2)}li.now.svelte-wncj8g{color:var(--color-ink)}li.now.svelte-wncj8g .dot:where(.svelte-wncj8g){background:var(--color-ink);border-color:var(--color-ink);animation:1.4s ease-in-out infinite svelte-wncj8g-pulse;box-shadow:0 0 0 3px #ffffff1f}@keyframes svelte-wncj8g-pulse{50%{box-shadow:0 0 0 5px #ffffff0a}}@media (prefers-reduced-motion:reduce){li.now.svelte-wncj8g .dot:where(.svelte-wncj8g){animation:none}}.liveprog.svelte-1rw1a56{flex-direction:column;flex:1;gap:14px;min-height:0;padding:16px;display:flex}.cols.svelte-1rw1a56{flex:1;grid-template-columns:minmax(0,1.4fr) minmax(220px,1fr);gap:24px;min-height:0;display:grid}.code.svelte-1rw1a56{min-height:260px;max-height:calc(100dvh - var(--bar-h) - 140px);border-left:1px solid var(--color-edge);font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-2);white-space:pre-wrap;overflow-wrap:anywhere;margin:0;padding:14px 16px;line-height:1.6;overflow:auto}.caret.svelte-1rw1a56{vertical-align:text-bottom;background:var(--color-ink);width:.6ch;height:1.1em;margin-left:1px;animation:1s steps(2,start) infinite svelte-1rw1a56-blink;display:inline-block}@keyframes svelte-1rw1a56-blink{to{visibility:hidden}}@media (prefers-reduced-motion:reduce){.caret.svelte-1rw1a56{animation:none}}.placeholder.svelte-1rw1a56{color:var(--color-ink-3)}.side.svelte-1rw1a56{align-content:start;gap:10px;display:grid}.big.svelte-1rw1a56{font-size:var(--text-xs);color:var(--color-ink-2)}.big.svelte-1rw1a56 b:where(.svelte-1rw1a56){font-size:var(--text-lg);color:var(--color-ink);font-weight:500}.sep.svelte-1rw1a56{color:var(--color-ink-3);margin:0 7px}.quiet.svelte-1rw1a56{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.6}code.svelte-1rw1a56{font-family:var(--font-mono);color:var(--color-ink-2)}@media (width<=860px){.cols.svelte-1rw1a56{grid-template-columns:1fr}.code.svelte-1rw1a56{min-height:180px;max-height:50vh}}.words.svelte-y5wt6y{border:1px solid var(--color-edge);font-size:var(--text-sm);color:var(--color-ink);border-radius:6px;padding:14px 16px;line-height:1.55}.norun.svelte-y5wt6y{flex-direction:column;gap:10px;max-width:760px;padding:28px 32px;display:flex;overflow-y:auto}.eyebrow.svelte-y5wt6y{text-transform:uppercase;letter-spacing:.14em;color:var(--color-ink-3);font-size:10px}h2.svelte-y5wt6y{font-size:var(--text-sm);font-weight:500}.why.svelte-y5wt6y{font-size:var(--text-xs)}.quiet.svelte-y5wt6y{font-size:var(--text-xs);color:var(--color-ink-3)}code.svelte-y5wt6y{font-family:var(--font-mono);font-size:var(--text-2xs)}.src.svelte-y5wt6y{font-family:var(--font-mono);font-size:var(--text-2xs);white-space:pre-wrap;color:var(--color-ink-2);border:1px solid #222;margin-top:4px;padding:12px 14px;line-height:1.5}.prov.svelte-y5wt6y{color:var(--color-ink-3);font-size:10px}.poke.svelte-19qs3zr{align-content:start;gap:14px;display:grid;overflow-y:auto}.block.svelte-19qs3zr{gap:6px;display:grid}.row-head.svelte-19qs3zr{justify-content:space-between;align-items:baseline;gap:8px;display:flex}.label.svelte-19qs3zr{font-size:var(--text-xs);color:var(--color-ink)}.quiet.svelte-19qs3zr{font-size:var(--text-2xs);color:var(--color-ink-3);line-height:1.5}.choices.svelte-19qs3zr{flex-wrap:wrap;align-items:baseline;gap:2px 12px;display:flex}.k.svelte-19qs3zr{font-size:var(--text-2xs);color:var(--color-ink-3);min-width:6ch}button.svelte-19qs3zr{font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);cursor:pointer;background:0 0;border:0;border-radius:0;padding:3px 0}button.svelte-19qs3zr:hover:not(:disabled),button[aria-pressed=true].svelte-19qs3zr{color:var(--color-ink)}button[aria-pressed=true].svelte-19qs3zr{text-underline-offset:5px;text-decoration:underline;text-decoration-thickness:1px}button.svelte-19qs3zr:disabled{opacity:.4;cursor:default}button.go.svelte-19qs3zr{border:1px solid var(--color-edge);color:var(--color-ink-2);border-radius:4px;padding:4px 9px;font-family:inherit}button.go.svelte-19qs3zr:hover:not(:disabled){border-color:var(--color-rule)}.result.svelte-19qs3zr{font-size:var(--text-2xs);gap:2px;margin:2px 0 0;display:grid}.result.svelte-19qs3zr div:where(.svelte-19qs3zr){grid-template-columns:14ch minmax(0,1fr);gap:8px;display:grid}dt.svelte-19qs3zr{color:var(--color-ink-3)}dd.svelte-19qs3zr{color:var(--color-ink);overflow-wrap:anywhere}.verdict.svelte-19qs3zr{font-size:var(--text-2xs);color:var(--color-ink);line-height:1.5}.verdict.bad.svelte-19qs3zr{-webkit-text-decoration:underline wavy;text-decoration:underline wavy}.out.svelte-19qs3zr{font-size:var(--text-2xs);color:var(--color-ink-2);line-height:1.5}.out.svelte-19qs3zr b:where(.svelte-19qs3zr),.out.svelte-19qs3zr q:where(.svelte-19qs3zr){color:var(--color-ink);font-weight:500}.error.svelte-19qs3zr{font-size:var(--text-2xs);color:var(--color-ink-2);overflow-wrap:anywhere;-webkit-text-decoration:underline wavy;text-decoration:underline wavy}svg.svelte-utvzuq{width:100%;height:100%;font-family:var(--font-mono);display:block;overflow:visible}.edge.svelte-utvzuq{fill:none;stroke:var(--color-rule);stroke-width:.8px;opacity:.7}.edge.on.svelte-utvzuq{stroke:var(--color-ink);stroke-width:1.5px;opacity:1}.head-faint.svelte-utvzuq{fill:var(--color-rule)}.head-on.svelte-utvzuq{fill:var(--color-ink)}.node.svelte-utvzuq{fill:#121212;stroke:var(--color-rule);stroke-width:.9px;transition:fill .16s ease-in-out,stroke .16s ease-in-out}.node.from.svelte-utvzuq{stroke:var(--color-ink);stroke-width:1.3px}.node.to.svelte-utvzuq{fill:var(--color-ink);stroke:var(--color-ink)}.nlabel.svelte-utvzuq{text-anchor:middle;fill:var(--color-ink-3);font-size:9px}.nlabel.big.svelte-utvzuq{fill:var(--color-ink-2);font-size:9.5px}.nlabel.lit.svelte-utvzuq{fill:var(--color-ink)}.nlabel.dark.svelte-utvzuq{fill:var(--color-void);font-weight:600}.elabel.svelte-utvzuq{text-anchor:middle;fill:var(--color-ink-3);font-size:8.5px}.elabel.on.svelte-utvzuq{fill:var(--color-ink);font-size:9.5px}svg.svelte-gvj11v{width:100%;height:100%;font-family:var(--font-mono);display:block;overflow:visible}.edge.svelte-gvj11v{fill:none;stroke:var(--color-rule);stroke-width:.9px}.edge.on.svelte-gvj11v{stroke:var(--color-ink);stroke-width:1.5px}.head-faint.svelte-gvj11v{fill:var(--color-rule)}.head-on.svelte-gvj11v{fill:var(--color-ink)}.node.svelte-gvj11v{fill:#121212;stroke:var(--color-rule);stroke-width:.9px;transition:fill .16s ease-in-out,stroke .16s ease-in-out}.node.from.svelte-gvj11v{stroke:var(--color-ink);stroke-width:1.3px}.node.to.svelte-gvj11v{fill:var(--color-ink);stroke:var(--color-ink)}.nlabel.svelte-gvj11v{text-anchor:middle;fill:var(--color-ink);font-size:13px}.nlabel.dark.svelte-gvj11v{fill:var(--color-void);font-weight:600}.elabel.svelte-gvj11v{text-anchor:middle;fill:var(--color-ink-3);font-size:9.5px}.elabel.on.svelte-gvj11v{fill:var(--color-ink-2)}.count.svelte-gvj11v{text-anchor:middle;fill:var(--color-ink-3);opacity:.75;font-size:8px}.now.svelte-gvj11v{text-anchor:middle;fill:var(--color-ink);font-size:11px}.caption.svelte-gvj11v{text-anchor:middle;fill:var(--color-ink-3);font-size:8px}.wrap.svelte-19slzz2{flex-direction:column;display:flex}.program.svelte-19slzz2{flex:1;grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:14px;min-height:0;display:grid}.program.regs.svelte-19slzz2{grid-template-columns:minmax(0,1fr)}.text.svelte-19slzz2{font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);min-height:0;max-height:100%;margin:0;padding:0;line-height:1.6;list-style:none;position:relative;overflow:auto}.text.svelte-19slzz2 li:where(.svelte-19slzz2){white-space:pre-wrap;text-indent:-2ch;border-left:1px solid #0000;padding:0 4px 0 calc(4px + 2ch);transition:color .16s ease-in-out,border-color .16s ease-in-out}.regs.svelte-19slzz2 .text:where(.svelte-19slzz2) li:where(.svelte-19slzz2){white-space:pre;text-indent:0;padding-left:4px}.text.svelte-19slzz2 li.lit:where(.svelte-19slzz2){color:var(--color-ink);border-left-color:var(--color-ink);background:#ffffff0a}.text.svelte-19slzz2 li.next:where(.svelte-19slzz2){color:var(--color-ink-2)}.mark.svelte-19slzz2{width:1.4ch;color:var(--color-ink);display:inline-block}.diagram.svelte-19slzz2{justify-content:center;align-items:center;min-height:0;display:flex}.diagram.svelte-19slzz2 svg{max-height:100%}.caveat.svelte-19slzz2{font-size:var(--text-2xs);color:var(--color-ink-3);flex:none;margin-top:8px;line-height:1.5}@media (width<=1180px){.text.svelte-19slzz2{max-height:300px}}@media (width<=560px){.program.svelte-19slzz2{grid-template-columns:1fr}.text.svelte-19slzz2{max-height:190px}.diagram.svelte-19slzz2{max-height:280px}}.scrub.svelte-nxgqrs{align-items:center;gap:12px;min-width:0;display:flex}.buttons.svelte-nxgqrs{flex:none;gap:2px;display:flex}input.svelte-nxgqrs{cursor:pointer;flex:1;min-width:60px;height:20px;margin:0}.where.svelte-nxgqrs{font-size:var(--text-2xs);color:var(--color-ink-2);text-align:right;white-space:nowrap;flex:none;min-width:22ch}.ev.svelte-nxgqrs{vertical-align:bottom;font-family:var(--font-mono);color:var(--color-ink);text-overflow:ellipsis;max-width:12ch;margin-right:10px;display:inline-block;overflow:hidden}.of.svelte-nxgqrs{color:var(--color-ink-3)}@media (width<=560px){.of.svelte-nxgqrs{display:none}.where.svelte-nxgqrs{min-width:0}}svg.svelte-pimhj3{touch-action:none;cursor:grab;width:100%;height:100%;font-family:var(--font-mono);display:block;overflow:visible}svg.svelte-pimhj3:active{cursor:grabbing}.axis.svelte-pimhj3{stroke:var(--color-edge);stroke-width:.8px}.code.svelte-pimhj3{fill:var(--color-ink-3)}.ring.svelte-pimhj3{fill:none;stroke:var(--color-ink);stroke-width:1px}.y.svelte-pimhj3{fill:var(--color-ink)}.gap.svelte-pimhj3{stroke:var(--color-ink);stroke-width:.8px}.lab.svelte-pimhj3{fill:var(--color-ink-3);font-size:9px}.lab.on.svelte-pimhj3{fill:var(--color-ink)}.trace.svelte-1l87asx{gap:4px;display:grid}.legend.svelte-1l87asx,.axis.svelte-1l87asx{font-size:var(--text-2xs);color:var(--color-ink-2);justify-content:space-between;gap:8px;display:flex}.axis.svelte-1l87asx,.quiet.svelte-1l87asx{color:var(--color-ink-3)}svg.svelte-1l87asx{cursor:pointer;touch-action:none;width:100%;height:52px;display:block}.zero.svelte-1l87asx{stroke:var(--color-rule);stroke-width:1px;stroke-dasharray:3 3;vector-effect:non-scaling-stroke}.m.svelte-1l87asx{fill:none;stroke:var(--color-ink);stroke-width:1.2px;vector-effect:non-scaling-stroke}.m.off.svelte-1l87asx{stroke:var(--color-rule)}.head.svelte-1l87asx{stroke:var(--color-ink-2);stroke-width:1px;vector-effect:non-scaling-stroke}.state.svelte-78lwy9{flex-direction:column;gap:8px;height:100%;min-height:0;display:flex}.space.svelte-78lwy9{flex:1;justify-content:center;min-height:150px;display:flex}.space.svelte-78lwy9 svg{max-width:300px}.wait.svelte-78lwy9{font-size:var(--text-2xs);color:var(--color-ink-3);margin:auto 0;line-height:1.55}.read.svelte-78lwy9{font-size:var(--text-2xs);color:var(--color-ink-2);line-height:1.45}.read.svelte-78lwy9 b:where(.svelte-78lwy9){font-family:var(--font-mono);color:var(--color-ink);font-weight:500}.page.svelte-1i53o7x{height:calc(100dvh - var(--bar-h));border-top:1px solid #1c1c1c;grid-template-columns:minmax(340px,400px) minmax(0,1fr);min-height:560px;display:grid}.left.svelte-1i53o7x{border-right:1px solid #222;flex-direction:column;min-height:0;display:flex}.left.svelte-1i53o7x>:first-child{flex:1;min-height:0}.error.svelte-1i53o7x{font-size:var(--text-2xs);color:var(--color-ink-2);padding:0 22px 12px}.right.svelte-1i53o7x{flex-direction:column;min-width:0;min-height:0;display:flex;overflow-y:auto}.bar.svelte-1i53o7x{z-index:5;background:var(--color-void);border-bottom:1px solid #222;grid-template-columns:minmax(0,auto) minmax(260px,1fr);align-items:center;gap:24px;padding:9px 16px;display:grid;position:sticky;top:0}.what.svelte-1i53o7x{min-width:0;display:grid}.title.svelte-1i53o7x{font-size:var(--text-sm);white-space:nowrap;text-overflow:ellipsis;font-weight:500;overflow:hidden}.sub.svelte-1i53o7x{font-size:var(--text-2xs);color:var(--color-ink-3)}.scrub-wrap.svelte-1i53o7x{align-items:center;gap:12px;min-width:0;display:flex}.scrub-wrap.svelte-1i53o7x>:first-child{flex:1}.follow.svelte-1i53o7x{border:1px solid var(--color-edge);color:var(--color-ink-2);font:inherit;font-size:var(--text-2xs);cursor:pointer;background:0 0;border-radius:4px;flex:none;padding:3px 8px}.follow.svelte-1i53o7x:hover{color:var(--color-ink);border-color:var(--color-rule)}.regs-pick.svelte-1i53o7x{font-size:var(--text-2xs);align-items:baseline;gap:10px;display:flex}.regs-pick.svelte-1i53o7x .k:where(.svelte-1i53o7x){color:var(--color-ink-3)}.regs-pick.svelte-1i53o7x button:where(.svelte-1i53o7x){font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--color-ink-3);cursor:pointer;background:0 0;border:0;padding:2px 0}.regs-pick.svelte-1i53o7x button:where(.svelte-1i53o7x):hover,.regs-pick.svelte-1i53o7x button[aria-pressed=true]:where(.svelte-1i53o7x){color:var(--color-ink)}.regs-pick.svelte-1i53o7x button[aria-pressed=true]:where(.svelte-1i53o7x){text-underline-offset:4px;text-decoration:underline}.grid.svelte-1i53o7x{flex:1;grid-template-rows:minmax(0,1fr) minmax(0,1fr);grid-template-columns:repeat(12,minmax(0,1fr));min-height:690px;display:grid}.grid.svelte-1i53o7x>div:where(.svelte-1i53o7x){border-bottom:1px solid #222;flex-direction:column;min-width:0;min-height:0;display:flex;overflow:hidden}.grid.svelte-1i53o7x>div:where(.svelte-1i53o7x)>*{flex:1}.a-program.svelte-1i53o7x{grid-column:1/8}.a-run.svelte-1i53o7x{border-left:1px solid #222;grid-column:8/13}.regs.svelte-1i53o7x .a-program:where(.svelte-1i53o7x){grid-column:1/5}.regs.svelte-1i53o7x .a-run:where(.svelte-1i53o7x){grid-column:5/13}.a-state.svelte-1i53o7x{grid-column:1/5}.a-cert.svelte-1i53o7x{border-left:1px solid #222;grid-column:5/9}.a-poke.svelte-1i53o7x{border-left:1px solid #222;grid-column:9/13}.prov.svelte-1i53o7x{color:var(--color-ink-3);padding:8px 16px 10px;font-size:10px}.waiting.svelte-1i53o7x{font-size:var(--text-xs);color:var(--color-ink-3);margin:auto}@media (width<=1180px){.grid.svelte-1i53o7x{grid-template-rows:auto;grid-template-columns:repeat(2,minmax(0,1fr));min-height:0}.grid.svelte-1i53o7x>div:where(.svelte-1i53o7x){overflow:visible}.grid.svelte-1i53o7x .a-program:where(.svelte-1i53o7x){grid-column:1/3}.grid.svelte-1i53o7x .a-run:where(.svelte-1i53o7x),.grid.svelte-1i53o7x .a-state:where(.svelte-1i53o7x),.grid.svelte-1i53o7x .a-cert:where(.svelte-1i53o7x),.grid.svelte-1i53o7x .a-poke:where(.svelte-1i53o7x){grid-column:auto}.a-run.svelte-1i53o7x{border-left:0}.a-state.svelte-1i53o7x{border-left:1px solid #222}.a-cert.svelte-1i53o7x{border-left:0}}@media (width<=860px){.page.svelte-1i53o7x{height:auto;min-height:0;display:block}.left.svelte-1i53o7x{border-bottom:1px solid #222;border-right:0;max-height:none}.right.svelte-1i53o7x{overflow:visible}.bar.svelte-1i53o7x{top:var(--bar-h);grid-template-columns:1fr;gap:6px;padding:8px 14px}.grid.svelte-1i53o7x{display:block}.grid.svelte-1i53o7x>div:where(.svelte-1i53o7x){border-left:0}}