.post-toc[data-astro-cid-5lnjg3bk] ul[data-astro-cid-5lnjg3bk]{list-style:none;padding:0;margin:0}.post-toc[data-astro-cid-5lnjg3bk] li[data-astro-cid-5lnjg3bk]{margin:0}.post-toc[data-astro-cid-5lnjg3bk] a[data-astro-cid-5lnjg3bk]{display:flex;gap:.5em;text-decoration:none;padding:.25rem .5rem .25rem .65rem;border-left:2px solid transparent;transition:border-color .15s,color .15s}.post-toc[data-astro-cid-5lnjg3bk] a[data-astro-cid-5lnjg3bk]:hover{color:var(--accent)}.post-toc[data-astro-cid-5lnjg3bk] a[data-astro-cid-5lnjg3bk][data-active]{color:var(--accent);border-left-color:var(--accent);font-weight:500}.post-toc[data-astro-cid-5lnjg3bk] .toc-num[data-astro-cid-5lnjg3bk]{font-family:var(--font-mono);font-size:.78rem;color:var(--accent);flex-shrink:0;min-width:2.5em}.post-toc[data-astro-cid-5lnjg3bk] .toc-text[data-astro-cid-5lnjg3bk]{color:var(--ink);font-family:var(--font-body);font-size:.95rem;line-height:1.4}.post-toc[data-astro-cid-5lnjg3bk] a[data-astro-cid-5lnjg3bk][data-active] .toc-text[data-astro-cid-5lnjg3bk]{color:var(--accent)}.post-toc[data-astro-cid-5lnjg3bk] .toc-depth-2[data-astro-cid-5lnjg3bk] a[data-astro-cid-5lnjg3bk]{padding-left:1.9rem}.post-toc[data-astro-cid-5lnjg3bk] .toc-label[data-astro-cid-5lnjg3bk]{font-family:var(--font-ui);font-size:.7rem;color:var(--accent);text-transform:uppercase;letter-spacing:.1em;font-weight:600}.post-toc--mobile[data-astro-cid-5lnjg3bk]{margin:0 0 1.5rem;border-top:1px solid var(--rule-soft);border-bottom:1px solid var(--rule-soft)}.post-toc--mobile[data-astro-cid-5lnjg3bk] summary[data-astro-cid-5lnjg3bk]{list-style:none;cursor:pointer;padding:.85rem 0;display:flex;align-items:center;gap:.5rem;min-height:44px}.post-toc--mobile[data-astro-cid-5lnjg3bk] summary[data-astro-cid-5lnjg3bk]::-webkit-details-marker{display:none}.post-toc--mobile[data-astro-cid-5lnjg3bk] .toc-current[data-astro-cid-5lnjg3bk]{color:var(--ink-soft);font-family:var(--font-ui);font-size:.7rem;flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.post-toc--mobile[data-astro-cid-5lnjg3bk] .toc-current[data-astro-cid-5lnjg3bk]:not(:empty):before{content:"·";margin:0 .4em;color:var(--ink-muted)}.post-toc--mobile[data-astro-cid-5lnjg3bk] .toc-chevron[data-astro-cid-5lnjg3bk]{color:var(--ink-muted);transition:transform .15s}.post-toc--mobile[data-astro-cid-5lnjg3bk][open] .toc-chevron[data-astro-cid-5lnjg3bk]{transform:rotate(180deg)}.post-toc--mobile[data-astro-cid-5lnjg3bk] nav[data-astro-cid-5lnjg3bk]{padding:.4rem 0 1rem}.post-toc--mobile[data-astro-cid-5lnjg3bk] li[data-astro-cid-5lnjg3bk]{margin:.35rem 0}.post-toc--desktop[data-astro-cid-5lnjg3bk]{display:none}@media(min-width:80em){.post-toc--mobile[data-astro-cid-5lnjg3bk]{display:none}.post-toc--desktop[data-astro-cid-5lnjg3bk]{display:block;position:absolute;top:0;right:calc(-1 * (var(--margin-col) + 2rem));width:var(--margin-col)}.post-toc__sticky[data-astro-cid-5lnjg3bk]{position:sticky;top:1.5rem;max-height:calc(100vh - 3rem);overflow-y:auto;background:var(--paper);z-index:1;padding:.5rem 0}.post-toc--desktop[data-astro-cid-5lnjg3bk] .toc-label-row[data-astro-cid-5lnjg3bk]{padding:0 0 .6rem;border-bottom:1px solid var(--hairline);box-shadow:0 4px 0 -3px var(--hairline);margin-bottom:.6rem}.post-toc--desktop[data-astro-cid-5lnjg3bk] .toc-text[data-astro-cid-5lnjg3bk]{font-size:.88rem;line-height:1.35}.post-toc--desktop[data-astro-cid-5lnjg3bk] li[data-astro-cid-5lnjg3bk]{margin:.2rem 0}}@media print{.post-toc--desktop[data-astro-cid-5lnjg3bk]{display:none}.post-toc--mobile[data-astro-cid-5lnjg3bk]{border-top:1px solid #888;border-bottom:1px solid #888}.post-toc--mobile[data-astro-cid-5lnjg3bk] summary[data-astro-cid-5lnjg3bk]{display:none}.post-toc--mobile[data-astro-cid-5lnjg3bk] nav[data-astro-cid-5lnjg3bk]{display:block!important;padding:.6rem 0}.post-toc--mobile[data-astro-cid-5lnjg3bk] .toc-chevron[data-astro-cid-5lnjg3bk]{display:none}}.post[data-astro-cid-gvpn4u4b]{padding:0;position:relative}.title-block[data-astro-cid-gvpn4u4b]{margin-bottom:1.6rem}h1[data-astro-cid-gvpn4u4b].post-title{font-family:var(--font-body);font-size:2.1rem;font-weight:600;line-height:1.12;letter-spacing:-.015em;margin:.4rem 0 .6rem}h1[data-astro-cid-gvpn4u4b].post-title.eliminated{text-decoration:line-through;text-decoration-thickness:1.5px;text-decoration-color:var(--accent-soft);color:var(--ink-muted)}.meta-row[data-astro-cid-gvpn4u4b]{font-family:var(--font-ui);font-size:.74rem;display:flex;align-items:center;gap:.5rem;flex-wrap:wrap}.meta-row[data-astro-cid-gvpn4u4b] .date[data-astro-cid-gvpn4u4b]{color:var(--ink-soft);font-variant-numeric:tabular-nums}.meta-row[data-astro-cid-gvpn4u4b] .sep[data-astro-cid-gvpn4u4b]{color:var(--ink-muted)}.claim-id[data-astro-cid-gvpn4u4b]{font-family:var(--font-mono);color:var(--accent);font-size:.7rem;padding:1px 6px;background:var(--accent-bg);border-radius:2px}.series-link[data-astro-cid-gvpn4u4b] a[data-astro-cid-gvpn4u4b]{color:var(--accent)}.pill[data-astro-cid-gvpn4u4b]{padding:1px 8px;border-radius:2px;font-size:.66rem;font-weight:500;letter-spacing:.02em}.pill[data-astro-cid-gvpn4u4b].program{background:var(--accent-bg);color:var(--accent)}.pill[data-astro-cid-gvpn4u4b].type{background:transparent;color:var(--ink-soft);border:1px solid var(--rule)}.pill[data-astro-cid-gvpn4u4b].status-proven{background:var(--proven-bg);color:var(--proven)}.pill[data-astro-cid-gvpn4u4b].status-conjecture{background:var(--warn-bg);color:var(--warn)}.pill[data-astro-cid-gvpn4u4b].status-refuted{background:transparent;color:var(--ink-muted);text-decoration:line-through;text-decoration-thickness:1px}.pill[data-astro-cid-gvpn4u4b].status-pending{background:transparent;color:var(--ink-soft);border:1px solid var(--rule)}.pill[data-astro-cid-gvpn4u4b].status-corrected{background:var(--warn-bg);color:var(--warn)}.body[data-astro-cid-gvpn4u4b]{font-size:1rem;line-height:1.7}.body[data-astro-cid-gvpn4u4b] h1{font-family:var(--font-body);font-size:1.45rem;font-weight:600;line-height:1.2;letter-spacing:-.01em;margin:2.2rem 0 .6rem}.body[data-astro-cid-gvpn4u4b] h2{font-family:var(--font-ui);font-size:.85rem;font-weight:600;text-transform:uppercase;letter-spacing:.1em;color:var(--accent);margin:2rem 0 .25rem;padding-bottom:.45rem;border-bottom:1px solid var(--hairline);box-shadow:0 4px 0 -3px var(--hairline)}.body[data-astro-cid-gvpn4u4b] h3{font-family:var(--font-body);font-size:1.125rem;font-weight:600;margin:1.4rem 0 .4rem;letter-spacing:-.005em}.body[data-astro-cid-gvpn4u4b] p{margin:0 0 1.05em}.body[data-astro-cid-gvpn4u4b] em{font-style:italic}.body[data-astro-cid-gvpn4u4b] strong{font-weight:600}.post[data-astro-cid-gvpn4u4b][data-post-type=result]>.body[data-astro-cid-gvpn4u4b]>p:first-of-type:first-letter,.post[data-astro-cid-gvpn4u4b][data-post-type=intuition]>.body[data-astro-cid-gvpn4u4b]>p:first-of-type:first-letter,.post[data-astro-cid-gvpn4u4b][data-post-type=bridge]>.body[data-astro-cid-gvpn4u4b]>p:first-of-type:first-letter,.post[data-astro-cid-gvpn4u4b][data-post-type=sketch]>.body[data-astro-cid-gvpn4u4b]>p:first-of-type:first-letter{font-family:var(--font-body);font-weight:600;font-size:3.4em;float:left;line-height:.9;margin:.08em .08em 0 0;color:var(--accent)}.series-nav[data-astro-cid-gvpn4u4b]{display:flex;justify-content:space-between;gap:1rem;margin-top:3rem;padding-top:1rem;font-family:var(--font-ui);font-size:.78rem}.series-nav[data-astro-cid-gvpn4u4b] a[data-astro-cid-gvpn4u4b]{color:var(--ink-soft);text-decoration:none}.series-nav[data-astro-cid-gvpn4u4b] a[data-astro-cid-gvpn4u4b]:hover{color:var(--accent)}.series-nav[data-astro-cid-gvpn4u4b] .next[data-astro-cid-gvpn4u4b]{margin-left:auto;text-align:right}.post-footer[data-astro-cid-gvpn4u4b]{font-family:var(--font-ui);font-size:.7rem;color:var(--ink-muted);margin-top:2.5rem;display:flex;justify-content:space-between;gap:1rem}.related[data-astro-cid-gvpn4u4b]{margin-top:2.5rem;padding-top:1rem;border-top:1px solid var(--rule-soft)}.related-label[data-astro-cid-gvpn4u4b]{font-family:var(--font-ui);font-size:.68rem;color:var(--accent);text-transform:uppercase;letter-spacing:.1em;font-weight:600;margin-bottom:.4rem}.related[data-astro-cid-gvpn4u4b] ul[data-astro-cid-gvpn4u4b]{list-style:none;padding:0;margin:0}.related[data-astro-cid-gvpn4u4b] li[data-astro-cid-gvpn4u4b]{font-family:var(--font-mono);font-size:.78rem;margin:.2rem 0}.related[data-astro-cid-gvpn4u4b] a[data-astro-cid-gvpn4u4b]{color:var(--accent);text-decoration:none}.related[data-astro-cid-gvpn4u4b] a[data-astro-cid-gvpn4u4b]:hover{text-decoration:underline}.print-btn[data-astro-cid-gvpn4u4b]{background:transparent;border:none;padding:0;font-family:var(--font-ui);font-size:.7rem;color:var(--ink-muted);cursor:pointer;transition:color .15s}.print-btn[data-astro-cid-gvpn4u4b]:hover{color:var(--accent)}.print-url[data-astro-cid-gvpn4u4b]{display:none}.body[data-astro-cid-gvpn4u4b] h1,.body[data-astro-cid-gvpn4u4b] h2,.body[data-astro-cid-gvpn4u4b] h3{position:relative}.body[data-astro-cid-gvpn4u4b] .heading-anchor{margin-left:.45em;opacity:0;transition:opacity .15s,color .15s;text-decoration:none;color:var(--ink-muted);font-family:var(--font-ui);font-size:.7em;font-weight:400;vertical-align:.18em;cursor:pointer}.body[data-astro-cid-gvpn4u4b] h1:hover .heading-anchor,.body[data-astro-cid-gvpn4u4b] h2:hover .heading-anchor,.body[data-astro-cid-gvpn4u4b] h3:hover .heading-anchor,.body[data-astro-cid-gvpn4u4b] .heading-anchor:focus-visible{opacity:1}.body[data-astro-cid-gvpn4u4b] .heading-anchor:hover{color:var(--accent)}@media(hover:none){.body[data-astro-cid-gvpn4u4b] .heading-anchor{opacity:.35}}@media print{.body[data-astro-cid-gvpn4u4b] .heading-anchor{display:none}}