.panel.svelte-6vlfun{border-top:2px solid var(--rim);gap:1rem;min-width:0;padding-top:1.5rem;scroll-margin-top:1rem;display:grid}.head.svelte-6vlfun{justify-content:flex-end;display:flex}.close.svelte-6vlfun{border-bottom:1px solid var(--line);padding:.2rem 0;font-size:13px;font-weight:600;text-decoration:none}.close.svelte-6vlfun:hover{border-color:var(--ink)}.note.svelte-6vlfun{color:var(--quiet);margin:0;font-size:13px}.results.svelte-1vg6nhy{gap:.75rem;min-width:0;display:grid}header.svelte-1vg6nhy{gap:.5rem;display:grid}h2.svelte-1vg6nhy{font-family:var(--font-display);text-wrap:balance;margin:0;font-size:clamp(1.75rem,2.4vw,2.5rem);font-weight:600;line-height:1}.only.svelte-1vg6nhy{cursor:pointer;justify-self:start;align-items:center;gap:.5rem;font-size:13px;display:inline-flex;position:relative}.only.svelte-1vg6nhy input:where(.svelte-1vg6nhy){opacity:0;width:1px;height:1px;position:absolute}.box.svelte-1vg6nhy{border:1px solid var(--ink);background:var(--surface);width:.9rem;height:.9rem;transition:background-color .14s ease-out}.only.svelte-1vg6nhy input:where(.svelte-1vg6nhy):checked+.box:where(.svelte-1vg6nhy){background:var(--accent);box-shadow:inset 0 0 0 2px var(--surface)}.only.svelte-1vg6nhy input:where(.svelte-1vg6nhy):focus-visible+.box:where(.svelte-1vg6nhy){outline:2px solid var(--ink);outline-offset:2px}ol.svelte-1vg6nhy{grid-template-columns:repeat(auto-fill,minmax(min(100%,14rem),1fr));gap:6px;margin:0;padding:0;list-style:none;display:grid}li.svelte-1vg6nhy{background:var(--surface);border:1px solid var(--line);align-content:start;gap:.35rem;padding:.75rem .85rem .85rem;display:grid}.cells.svelte-1vg6nhy{gap:2px;display:flex}.cell.svelte-1vg6nhy{background:var(--tint);border:1px solid var(--lip);width:.7rem;height:.45rem}li.exact.svelte-1vg6nhy{border-color:var(--ink);box-shadow:inset 0 0 0 1px var(--ink)}.formula.svelte-1vg6nhy{font-family:var(--font-display);overflow-wrap:anywhere;flex-wrap:wrap;align-items:baseline;gap:.25rem .6rem;font-size:1.5rem;font-weight:600;line-height:1;display:flex}.formula.svelte-1vg6nhy .tag:where(.svelte-1vg6nhy){font-family:var(--font-text)}.names.svelte-1vg6nhy{overflow-wrap:anywhere;min-width:0;font-size:13px;line-height:1.45}.names.svelte-1vg6nhy a:where(.svelte-1vg6nhy){border-bottom:1px solid #0000;text-decoration:none;transition:border-color .14s ease-out}.names.svelte-1vg6nhy a:where(.svelte-1vg6nhy):hover{border-color:var(--ink)}.comma.svelte-1vg6nhy{color:var(--quiet)}.more.svelte-1vg6nhy{border:0;border-bottom:1px solid var(--line);font-size:inherit;color:var(--quiet);background:0 0;margin-left:.3rem;padding:0}.more.svelte-1vg6nhy:hover{border-color:var(--ink);color:var(--ink)}.tag.svelte-1vg6nhy{border:1px solid var(--ink);white-space:nowrap;padding:.05rem .35rem;font-size:11.5px}.next.svelte-1vg6nhy{border:0;border-bottom:1px solid var(--line);background:0 0;justify-self:start;padding:.25rem 0;font-size:13px}.next.svelte-1vg6nhy:hover{border-color:var(--ink)}.none.svelte-1vg6nhy{max-width:52ch;color:var(--quiet);margin:0;font-size:13px;line-height:1.55}.none.svelte-1vg6nhy .tag:where(.svelte-1vg6nhy){border-color:var(--line);color:var(--ink);margin-right:.35rem}.type.svelte-1sze3fk{min-width:0;position:relative}input.svelte-1sze3fk{background:var(--ground);border:1px solid var(--line);width:100%;min-height:2.5rem;color:var(--ink);font:inherit;border-radius:0;padding:0 .7rem;font-size:14px;transition:border-color .16s ease-out}input.svelte-1sze3fk::placeholder{color:var(--quiet)}input.svelte-1sze3fk:hover{border-color:var(--quiet)}input.svelte-1sze3fk:focus-visible{border-color:var(--ink);outline:none}.options.svelte-1sze3fk{z-index:4;background:var(--surface);border:1px solid var(--ink);margin:0;padding:4px 0;list-style:none;position:absolute;top:calc(100% + 4px);left:0;right:0}.options.svelte-1sze3fk li:where(.svelte-1sze3fk){cursor:pointer;align-items:baseline;gap:.6rem;padding:.45rem .7rem;font-size:13px;display:flex}.options.svelte-1sze3fk li.active:where(.svelte-1sze3fk){background:var(--accent);color:var(--on-accent)}.options.svelte-1sze3fk li.active:where(.svelte-1sze3fk) .quiet:where(.svelte-1sze3fk){color:inherit;opacity:.75}.what.svelte-1sze3fk{font-weight:600}.options.svelte-1sze3fk .option-formula{font-family:var(--font-figures)}.quiet.svelte-1sze3fk{color:var(--quiet)}.stick.svelte-1uxqb4c{background:var(--surface);border:2px solid var(--rim);grid-template-columns:minmax(0,1fr) minmax(16rem,24rem);display:grid}.setting.svelte-1uxqb4c{gap:1rem;min-width:0;padding:0 1.25rem 1.1rem 0;display:grid}.line.svelte-1uxqb4c{--sort:2.6rem;--pitch:calc(var(--sort) + 3px);--from:calc(.6rem + 3px);background:repeating-linear-gradient(90deg, var(--quiet) 0 1px, transparent 1px var(--pitch)) var(--from) 0 / 100% .45rem no-repeat, repeating-linear-gradient(90deg, var(--line) 0 1px, transparent 1px calc(var(--pitch) / 4)) var(--from) 0 / 100% .25rem no-repeat;border-bottom:1px solid var(--line);align-items:stretch;padding-top:.75rem;display:flex;position:relative}.knee.svelte-1uxqb4c{background:var(--rim);flex:none;width:.6rem;margin:-.75rem 0 0}.sorts.svelte-1uxqb4c{flex-wrap:wrap;flex:1;align-items:flex-end;gap:3px;min-width:0;margin:0;padding:.4rem 0 .6rem 3px;list-style:none;display:flex}.sort.svelte-1uxqb4c{width:var(--sort);background:var(--tint);border:1px solid var(--lip);place-items:center;height:3.2rem;padding:0;transition:border-color .16s ease-out,transform .16s cubic-bezier(.16,1,.3,1);display:grid;position:relative}.sort.svelte-1uxqb4c:hover{border-color:var(--ink);transform:translateY(-3px)}.face.svelte-1uxqb4c{font-family:var(--font-display);font-size:1.45rem;font-weight:600;line-height:1}.times.svelte-1uxqb4c{font-family:var(--font-figures);font-variant-numeric:tabular-nums;font-size:10px;position:absolute;top:.2rem;right:.25rem}.nick.svelte-1uxqb4c{background:var(--ink);opacity:.35;height:1px;position:absolute;bottom:.45rem;left:.25rem;right:.25rem}.slot.svelte-1uxqb4c{flex:14rem;align-self:center;min-width:min(100%,14rem);margin-left:.5rem}.closed.svelte-1uxqb4c{gap:.6rem;padding-left:1.85rem;display:grid}.formula.svelte-1uxqb4c{font-family:var(--font-display);font-weight:380;font-size:calc(clamp(3.25rem, 5vw, 6rem) * var(--fit,1));letter-spacing:.02em;scrollbar-width:none;margin:0;line-height:1;overflow-x:auto}.formula.empty.svelte-1uxqb4c{color:var(--quiet);font-size:clamp(1.75rem,2.4vw,2.5rem);font-weight:600}.facts.svelte-1uxqb4c{color:var(--quiet);flex-wrap:wrap;align-items:baseline;gap:.4rem 1.1rem;margin:0;font-size:13px;display:flex}.figure.svelte-1uxqb4c{font-family:var(--font-figures);font-variant-numeric:tabular-nums;color:var(--ink)}.clear.svelte-1uxqb4c{border:0;border-bottom:1px solid var(--line);color:var(--ink);background:0 0;padding:.2rem 0;font-size:13px}.clear.svelte-1uxqb4c:hover{border-color:var(--ink)}.proof.svelte-1uxqb4c{border-left:1px solid var(--line);background:var(--ground);align-content:start;gap:.45rem;padding:1rem 1.1rem 1.1rem;display:grid}.impression.svelte-1uxqb4c{font-family:var(--font-display);letter-spacing:.02em;scrollbar-width:none;margin:0 0 .15rem;font-size:1.6rem;font-weight:480;line-height:1;overflow-x:auto}.proof-name.svelte-1uxqb4c,.proof-none.svelte-1uxqb4c{font-family:var(--font-display);margin:0;font-size:clamp(1.75rem,2.4vw,2.5rem);font-weight:600;line-height:1}.proof-none.svelte-1uxqb4c{color:var(--quiet)}.proof-name.svelte-1uxqb4c a:where(.svelte-1uxqb4c){border-bottom:1px solid var(--line);text-decoration:none}.proof-name.svelte-1uxqb4c a:where(.svelte-1uxqb4c):hover{border-color:var(--ink)}.note.svelte-1uxqb4c{max-width:40ch;color:var(--quiet);margin:0;font-size:13px;line-height:1.5}.no-drawing.svelte-1uxqb4c{border:1px dashed var(--lip);color:var(--quiet);margin:.5rem 0 0;padding:.6rem .75rem;font-size:12.5px}.drawing.svelte-1uxqb4c{place-items:center;padding:.75rem 0 0;display:grid}@media (width<=899px){.stick.svelte-1uxqb4c{grid-template-columns:minmax(0,1fr)}.setting.svelte-1uxqb4c{padding-right:.9rem}.proof.svelte-1uxqb4c{border-left:0;border-top:1px solid var(--line)}.line.svelte-1uxqb4c{--sort:2.3rem}.sort.svelte-1uxqb4c{height:2.9rem}}.steps.svelte-1canykl{align-content:start;gap:.45rem;display:grid}h3.svelte-1canykl{color:var(--quiet);margin:0;font-size:12px;font-weight:600}ul.svelte-1canykl{grid-template-columns:minmax(0,1fr);gap:6px;margin:0;padding:0;list-style:none;display:grid}.row.svelte-1canykl ul:where(.svelte-1canykl){grid-template-columns:repeat(auto-fill,minmax(min(100%,15rem),1fr))}.slip.svelte-1canykl{background:var(--surface);border:1px solid var(--line);text-align:left;grid-template-columns:auto auto minmax(0,1fr) auto;align-items:baseline;gap:.6rem;width:100%;min-height:2.5rem;padding:.45rem .65rem .45rem .45rem;transition:border-color .16s ease-out;display:grid}.slip.unmarked.svelte-1canykl{grid-template-columns:auto minmax(0,1fr) auto;padding-left:.65rem}.slip.svelte-1canykl:hover{border-color:var(--ink)}.mark.svelte-1canykl{background:var(--tint);border:1px solid var(--lip);min-width:2.3rem;color:var(--ink);font-family:var(--font-display);justify-content:center;align-self:center;align-items:baseline;gap:.1em;padding:.25rem .35rem .4rem;font-size:1.05rem;font-weight:600;line-height:1;display:inline-flex;position:relative}.sign.svelte-1canykl{font-family:var(--font-figures);font-size:.75em;font-weight:400}.mark.svelte-1canykl:after{background:var(--ink);opacity:.35;content:"";height:1px;position:absolute;bottom:.18rem;left:.2rem;right:.2rem}.formula.svelte-1canykl{font-family:var(--font-figures);font-size:13px}.name.svelte-1canykl{white-space:nowrap;text-overflow:ellipsis;font-size:13px;overflow:hidden}.more.svelte-1canykl{font-family:var(--font-figures);color:var(--quiet);font-size:11px}.sr-only.svelte-1canykl{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}main.svelte-n7q3dl{margin-inline:var(--gutter)}.composing.svelte-n7q3dl{gap:1.5rem;padding-bottom:3rem;display:grid}.steps.svelte-n7q3dl{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem 1.5rem;display:grid}.steps.single.svelte-n7q3dl{grid-template-columns:minmax(0,1fr)}.case.svelte-n7q3dl{min-width:0}.drawer-narrow.svelte-n7q3dl{display:none}.failed.svelte-n7q3dl{color:var(--quiet);margin:0;font-size:13px}.strip.svelte-n7q3dl{display:none}@media (width<=899px){.steps.svelte-n7q3dl{grid-template-columns:minmax(0,1fr)}.drawer-wide.svelte-n7q3dl{display:none}.drawer-narrow.svelte-n7q3dl{display:block}.strip.svelte-n7q3dl{z-index:5;padding:.6rem var(--gutter);background:var(--ground);box-shadow:0 1px 0 var(--line);align-items:baseline;gap:.75rem;display:flex;position:sticky;top:0}.strip-formula.svelte-n7q3dl{font-family:var(--font-display);font-size:1.5rem;font-weight:600;line-height:1}.strip-name.svelte-n7q3dl{white-space:nowrap;text-overflow:ellipsis;color:var(--quiet);font-size:13px;overflow:hidden}}.top.svelte-17ipju9,.credits.svelte-17ipju9{margin-inline:var(--gutter)}.top.svelte-17ipju9{align-items:center;gap:1.5rem;padding:1rem 0 1.125rem;display:flex}.top.svelte-17ipju9 .site{margin-right:auto}.home.svelte-17ipju9{height:2.25rem;display:block}.home.svelte-17ipju9 .mark{height:100%}.credits.svelte-17ipju9{padding-bottom:2rem}@media (width<=899px){.top.svelte-17ipju9{flex-wrap:wrap;gap:1rem}.home.svelte-17ipju9{height:1.75rem}}