.foreedge[data-astro-cid-p2x2fuee]{margin:0}.edge[data-astro-cid-p2x2fuee]{display:flex;gap:2px;width:100%;height:clamp(150px,17vw,230px)}.edge[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee]{display:flex;flex-direction:column;flex-grow:0;flex-shrink:1;min-width:3px;text-decoration:none}.edge[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee]:focus-visible{outline:2px solid var(--ink);outline-offset:2px}.edge[data-astro-cid-p2x2fuee]:has(a[data-on]) a[data-astro-cid-p2x2fuee]:not([data-on]) .band[data-astro-cid-p2x2fuee]{opacity:.45}.band[data-astro-cid-p2x2fuee]{flex:1;display:flex;flex-direction:column-reverse;background:var(--s-not-started);border-radius:1px;overflow:hidden}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee]{display:block;width:100%;flex-shrink:0}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=done]{background:var(--s-done)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=partial]{background:var(--s-partial)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=attempted]{background:var(--s-attempted)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=blocked]{background:var(--s-blocked)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=reversed]{background:var(--reversed-fill)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-status=unverified]{background:repeating-linear-gradient(-45deg,var(--s-unverified) 0 2px,transparent 2px 4px)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-aside=contested]{background:repeating-linear-gradient(90deg,var(--ink-3) 0 1px,transparent 1px 3px)}.band[data-astro-cid-p2x2fuee] i[data-astro-cid-p2x2fuee][data-aside=pre-satisfied]{box-shadow:inset 0 0 0 1px var(--ink-3)}.readout[data-astro-cid-p2x2fuee]{font-family:var(--display);font-size:clamp(1rem,1.6vw,1.2rem);line-height:1.35;margin:.9rem 0 0;min-height:2.7em}.readout[data-astro-cid-p2x2fuee][data-idle]{color:var(--ink-3)}.axis[data-astro-cid-p2x2fuee]{list-style:none;display:flex;flex-wrap:wrap;gap:.25rem;margin:.6rem 0 0;padding:0}.axis[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee]{display:inline-flex;align-items:center;justify-content:center;min-width:1.75rem;height:1.75rem;font-family:var(--mono);font-size:.75rem;color:var(--ink-2);text-decoration:none;border:1px solid var(--rule);border-radius:2px}.axis[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee]:hover,.axis[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee][data-on]{color:var(--ink);border-color:var(--ink-3)}.axis[data-astro-cid-p2x2fuee] a[data-astro-cid-p2x2fuee]:focus-visible{outline:2px solid var(--s-done);outline-offset:2px}@media(max-width:640px){.readout[data-astro-cid-p2x2fuee]{min-height:4.05em}.edge[data-astro-cid-p2x2fuee]{height:120px;gap:1px}}.lead[data-astro-cid-j7pv25f6]{display:grid;grid-template-columns:minmax(0,62ch) minmax(0,1fr);column-gap:clamp(2rem,6vw,6rem);align-items:end}.lead[data-astro-cid-j7pv25f6] .prose[data-astro-cid-j7pv25f6]{margin:0}.thesis[data-astro-cid-j7pv25f6]{font-family:var(--display);font-weight:400;font-size:clamp(1.4rem,2.6vw,2.1rem);line-height:1.2;letter-spacing:-.01em;margin:0 0 1rem;padding-left:1.2rem;border-left:3px solid var(--s-done)}@media(max-width:900px){.lead[data-astro-cid-j7pv25f6]{grid-template-columns:1fr}.thesis[data-astro-cid-j7pv25f6]{margin-top:.6rem}}.lead[data-astro-cid-j7pv25f6] .prose[data-astro-cid-j7pv25f6] p[data-astro-cid-j7pv25f6]{font-family:var(--serif);font-size:clamp(1.15rem,2.1vw,1.45rem);line-height:1.45;margin:0 0 1rem}.lead[data-astro-cid-j7pv25f6]+.counts[data-astro-cid-j7pv25f6]{margin-top:2.5rem}.totals[data-astro-cid-j7pv25f6]{margin-top:2.2rem}section[data-astro-cid-j7pv25f6]+section[data-astro-cid-j7pv25f6]{margin-top:4.5rem}h2[data-astro-cid-j7pv25f6]{display:flex;flex-direction:column;gap:.35rem;font-size:1.6rem;margin-bottom:1.2rem}.note[data-astro-cid-j7pv25f6]{font-size:.9rem;margin:1.2rem 0 0}.empty[data-astro-cid-j7pv25f6]{max-width:60ch;font-size:1rem;margin:0}.proofs[data-astro-cid-j7pv25f6]{list-style:none;margin:0;padding:0;border-top:1px solid var(--rule)}.proofs[data-astro-cid-j7pv25f6] li[data-astro-cid-j7pv25f6]{border-bottom:1px solid var(--rule);padding:1.4rem 0}.ptitle[data-astro-cid-j7pv25f6]{font-family:var(--display);font-weight:700;font-size:1.05rem;line-height:1.25;margin:0 0 .9rem}.ptitle[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]{text-decoration:none}.ptitle[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]:hover{text-decoration:underline}.aheadline[data-astro-cid-j7pv25f6]{max-width:60ch;margin:0 0 1.4rem}.more[data-astro-cid-j7pv25f6]{font-family:var(--mono);font-size:.82rem;margin-top:1rem}