.post[data-astro-cid-gvpn4u4b]{padding:0}.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}