.sheet[data-astro-cid-oo7nhf3u]{--proved:var(--gold);--known:#a28cb9;--approximate:var(--ember);background:radial-gradient(ellipse at 50% -10%, #ffbd681a, transparent 42rem), radial-gradient(circle at 92% 40%, #5d4b7524, transparent 30rem), radial-gradient(circle at 6% 70%, #983b401a, transparent 28rem), var(--void);isolation:isolate;padding-bottom:clamp(4rem,9vw,8rem);position:relative}.sheet[data-astro-cid-oo7nhf3u]:before{z-index:-1;content:"";background-image:linear-gradient(#ffffff06 1px,#0000 1px),linear-gradient(90deg,#ffffff06 1px,#0000 1px);background-size:2rem 2rem;position:absolute;inset:0;mask-image:linear-gradient(#000 0,#0000008c 40rem,#0000 100%)}.sheet-shell[data-astro-cid-oo7nhf3u]{width:min(100% - 2rem,66rem);margin-inline:auto}.sheet-hero[data-astro-cid-oo7nhf3u]{padding-block:calc(var(--header-height) + clamp(3rem, 7vw, 6rem)) clamp(2.5rem, 5vw, 4rem)}.sheet-eyebrow[data-astro-cid-oo7nhf3u]{color:var(--gold);font:var(--font-label);letter-spacing:.14em;text-transform:uppercase;margin:0 0 1.1rem}.sheet[data-astro-cid-oo7nhf3u] h1[data-astro-cid-oo7nhf3u]{max-width:14ch;color:var(--core);font:500 clamp(2.2rem, 9vw, 5.6rem) / .95 var(--font-serif);letter-spacing:-.045em;text-wrap:balance;margin:0}.sheet-lead[data-astro-cid-oo7nhf3u]{max-width:46rem;color:var(--text-secondary);margin:clamp(1.25rem,2.5vw,2rem) 0 0;font-size:clamp(1.02rem,1.4vw,1.18rem);line-height:1.6}.sheet-legend[data-astro-cid-oo7nhf3u]{grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem;margin:clamp(2rem,4vw,3rem) 0 0;padding:0;list-style:none;display:grid}.legend[data-astro-cid-oo7nhf3u]{border:1px solid var(--line);color:var(--text-dim);background:#11131bb8;border-radius:.6rem;align-content:start;gap:.55rem;padding:.9rem .95rem 1rem;font-size:.82rem;line-height:1.45;display:grid}.chip[data-astro-cid-oo7nhf3u]{border:1px solid var(--chip,var(--line));color:var(--chip,var(--text-secondary));font:var(--font-label);letter-spacing:.1em;text-transform:uppercase;white-space:nowrap;border-radius:999px;justify-self:start;padding:.2rem .55rem}.legend--proved[data-astro-cid-oo7nhf3u],.formula--proved[data-astro-cid-oo7nhf3u]{--chip:var(--proved)}.legend--known[data-astro-cid-oo7nhf3u],.formula--known[data-astro-cid-oo7nhf3u]{--chip:var(--known)}.legend--approximate[data-astro-cid-oo7nhf3u],.formula--approximate[data-astro-cid-oo7nhf3u]{--chip:var(--approximate)}.sheet-section-title[data-astro-cid-oo7nhf3u]{color:var(--text-dim);font:var(--font-label);letter-spacing:.16em;text-transform:uppercase;align-items:center;gap:1rem;margin:clamp(3rem,6vw,5rem) 0 clamp(1.5rem,3vw,2.25rem);font-size:.78rem;display:flex}.sheet-section-title[data-astro-cid-oo7nhf3u]:after{background:linear-gradient(90deg, var(--line), transparent);content:"";flex:1;height:1px}.formula-list[data-astro-cid-oo7nhf3u]{gap:clamp(1.5rem,3vw,2.5rem);margin:0;padding:0;list-style:none;display:grid}.formula[data-astro-cid-oo7nhf3u]{border:1px solid var(--line);border-top:2px solid var(--chip);scroll-margin-top:calc(var(--header-height) + 1rem);background:linear-gradient(#11131beb,#0b0d13eb);border-radius:.9rem;grid-template-columns:clamp(4.5rem,9vw,7.5rem) minmax(0,1fr);gap:clamp(1rem,3vw,2.5rem);padding:clamp(1.25rem,3vw,2.25rem);display:grid}.formula__numeral[data-astro-cid-oo7nhf3u]{color:var(--chip);font:400 clamp(3.2rem, 7vw, 5.6rem) / .9 var(--font-serif);letter-spacing:-.04em;opacity:.9}.formula__head[data-astro-cid-oo7nhf3u]{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.75rem 1.25rem;display:flex}.formula[data-astro-cid-oo7nhf3u] h3[data-astro-cid-oo7nhf3u]{color:var(--core);font:500 clamp(1.5rem, 2.6vw, 2.15rem) / 1.08 var(--font-serif);letter-spacing:-.03em;margin:0}.formula__board[data-astro-cid-oo7nhf3u]{background:radial-gradient(ellipse at 50% 0%, color-mix(in srgb, var(--chip) 9%, transparent), transparent 70%), #07080c;border:1px solid #ffffff12;border-radius:.6rem;gap:.25rem;margin:clamp(1.1rem,2.4vw,1.6rem) 0;padding:clamp(.9rem,2.5vw,1.6rem) clamp(.75rem,2vw,1.5rem);display:grid;box-shadow:inset 0 1px #ffffff0a}.formula__equation[data-astro-cid-oo7nhf3u]{contain:paint;max-width:100%;color:var(--core);scrollbar-width:thin;padding-block:.35rem;overflow:auto hidden}.formula__equation[data-astro-cid-oo7nhf3u] math{min-width:max-content;margin:0;font-family:STIX Two Math,Cambria Math,Latin Modern Math,math;font-size:clamp(1.15rem,2.3vw,1.75rem)}.formula__plain[data-astro-cid-oo7nhf3u]{border-left:3px solid var(--chip);background:#ffffff08;border-radius:0 .6rem .6rem 0;padding:1rem 1.15rem 1.1rem}.formula__plain-label[data-astro-cid-oo7nhf3u]{color:var(--chip);font:var(--font-label);letter-spacing:.12em;text-transform:uppercase;margin:0 0 .45rem}.formula__plain[data-astro-cid-oo7nhf3u] p[data-astro-cid-oo7nhf3u]:last-child{color:var(--text-primary);font:400 clamp(1.02rem, 1.5vw, 1.15rem) / 1.6 var(--font-serif);margin:0}.formula__symbols[data-astro-cid-oo7nhf3u]{border-top:1px solid var(--line);grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem 1.5rem;margin:1.25rem 0 0;padding:1rem 0 0;display:grid}.formula__symbols[data-astro-cid-oo7nhf3u] div[data-astro-cid-oo7nhf3u]{grid-template-columns:5.5rem minmax(0,1fr);gap:.75rem;display:grid}.formula__symbols[data-astro-cid-oo7nhf3u] dt[data-astro-cid-oo7nhf3u]{color:var(--gold);font:500 .92rem / 1.45 var(--font-mono)}.formula__symbols[data-astro-cid-oo7nhf3u] dd[data-astro-cid-oo7nhf3u]{color:var(--text-secondary);margin:0;font-size:.88rem;line-height:1.45}.formula__contribution[data-astro-cid-oo7nhf3u]{color:var(--text-secondary);margin:1.25rem 0 0;font-size:.95rem;line-height:1.6}.formula__evidence[data-astro-cid-oo7nhf3u]{flex-wrap:wrap;align-items:baseline;gap:.45rem 1.1rem;margin:1rem 0 0;font-size:.9rem;display:flex}.formula__evidence[data-astro-cid-oo7nhf3u] span[data-astro-cid-oo7nhf3u]{color:var(--text-dim);font:var(--font-label);letter-spacing:.12em;text-transform:uppercase}.sheet[data-astro-cid-oo7nhf3u] a[data-astro-cid-oo7nhf3u]{color:var(--gold);text-underline-offset:.2em;text-decoration-color:#ffbd6866}.sheet[data-astro-cid-oo7nhf3u] a[data-astro-cid-oo7nhf3u]:hover,.sheet[data-astro-cid-oo7nhf3u] a[data-astro-cid-oo7nhf3u]:focus-visible{color:var(--core);text-decoration-color:currentColor}.sheet-figure[data-astro-cid-oo7nhf3u]{border:1px solid var(--line);background:#0b0d13d9;border-radius:.9rem;margin:0;padding:clamp(1rem,3vw,2rem)}.sheet-figure[data-astro-cid-oo7nhf3u] svg[data-astro-cid-oo7nhf3u]{width:100%;max-width:46rem;height:auto;margin-inline:auto;display:block}.sheet-figure[data-astro-cid-oo7nhf3u] .map-narrow[data-astro-cid-oo7nhf3u]{max-width:26rem;display:none}.sheet-figure[data-astro-cid-oo7nhf3u] figcaption[data-astro-cid-oo7nhf3u],.sheet-note[data-astro-cid-oo7nhf3u]{max-width:48rem;color:var(--text-secondary);margin:1.25rem auto 0;font-size:.95rem;line-height:1.6}.sheet-note[data-astro-cid-oo7nhf3u]{margin:0 0 1.5rem}.criteria[data-astro-cid-oo7nhf3u]{grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin:0;padding:0;list-style:none;display:grid}.criterion[data-astro-cid-oo7nhf3u]{border:1px solid var(--line);background:#11131bcc;border-radius:.8rem;padding:1.25rem 1.25rem 1.4rem}.criterion__state[data-astro-cid-oo7nhf3u]{font:var(--font-label);letter-spacing:.14em;text-transform:uppercase;margin:0 0 .75rem}.criterion--done[data-astro-cid-oo7nhf3u]{border-color:#ffbd6873}.criterion--done[data-astro-cid-oo7nhf3u] .criterion__state[data-astro-cid-oo7nhf3u]{color:var(--gold)}.criterion--partly[data-astro-cid-oo7nhf3u] .criterion__state[data-astro-cid-oo7nhf3u]{color:var(--ember)}.criterion--open[data-astro-cid-oo7nhf3u] .criterion__state[data-astro-cid-oo7nhf3u]{color:var(--text-dim)}.criterion[data-astro-cid-oo7nhf3u] h3[data-astro-cid-oo7nhf3u]{color:var(--core);font:500 1.25rem / 1.2 var(--font-serif);margin:0}.criterion[data-astro-cid-oo7nhf3u] p[data-astro-cid-oo7nhf3u]:last-child{color:var(--text-secondary);margin:.65rem 0 0;font-size:.9rem;line-height:1.55}.ledger-wrap[data-astro-cid-oo7nhf3u]{border:1px solid var(--line);border-radius:.8rem;overflow-x:auto}.ledger[data-astro-cid-oo7nhf3u]{border-collapse:collapse;width:100%;font-size:.92rem}.ledger[data-astro-cid-oo7nhf3u] th[data-astro-cid-oo7nhf3u],.ledger[data-astro-cid-oo7nhf3u] td[data-astro-cid-oo7nhf3u]{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:.85rem 1rem}.ledger[data-astro-cid-oo7nhf3u] thead[data-astro-cid-oo7nhf3u] th[data-astro-cid-oo7nhf3u]{color:var(--text-dim);font:var(--font-label);letter-spacing:.12em;text-transform:uppercase}.ledger[data-astro-cid-oo7nhf3u] tbody[data-astro-cid-oo7nhf3u] th[data-astro-cid-oo7nhf3u]{min-width:15rem;font:500 1rem / 1.35 var(--font-serif)}.ledger[data-astro-cid-oo7nhf3u] td[data-astro-cid-oo7nhf3u]{color:var(--text-secondary);line-height:1.5}.ledger[data-astro-cid-oo7nhf3u] td[data-astro-cid-oo7nhf3u]:last-child{color:var(--text-primary);white-space:nowrap}.ledger[data-astro-cid-oo7nhf3u] tbody[data-astro-cid-oo7nhf3u] tr[data-astro-cid-oo7nhf3u]:last-child th[data-astro-cid-oo7nhf3u],.ledger[data-astro-cid-oo7nhf3u] tbody[data-astro-cid-oo7nhf3u] tr[data-astro-cid-oo7nhf3u]:last-child td[data-astro-cid-oo7nhf3u]{border-bottom:0}.sheet-back[data-astro-cid-oo7nhf3u]{margin:2rem 0 0;font-size:.95rem}@media (width<=900px){.sheet-legend[data-astro-cid-oo7nhf3u],.criteria[data-astro-cid-oo7nhf3u]{grid-template-columns:repeat(2,minmax(0,1fr))}.formula[data-astro-cid-oo7nhf3u]{grid-template-columns:minmax(0,1fr)}.formula__numeral[data-astro-cid-oo7nhf3u]{font-size:3rem}.formula__symbols[data-astro-cid-oo7nhf3u]{grid-template-columns:minmax(0,1fr)}}@media (width<=560px){.sheet-figure[data-astro-cid-oo7nhf3u] .map-wide[data-astro-cid-oo7nhf3u]{display:none}.sheet-figure[data-astro-cid-oo7nhf3u] .map-narrow[data-astro-cid-oo7nhf3u]{display:block}.formula__equation[data-astro-cid-oo7nhf3u] math{font-size:1.02rem}.formula[data-astro-cid-oo7nhf3u]{padding-inline:1rem}.formula__board[data-astro-cid-oo7nhf3u]{padding-inline:.6rem}.sheet-legend[data-astro-cid-oo7nhf3u],.criteria[data-astro-cid-oo7nhf3u]{grid-template-columns:minmax(0,1fr)}.formula__symbols[data-astro-cid-oo7nhf3u] div[data-astro-cid-oo7nhf3u]{grid-template-columns:4.5rem minmax(0,1fr)}.ledger[data-astro-cid-oo7nhf3u] thead[data-astro-cid-oo7nhf3u]{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.ledger[data-astro-cid-oo7nhf3u] tr[data-astro-cid-oo7nhf3u]{border-bottom:1px solid var(--line);padding:.9rem 1rem;display:block}.ledger[data-astro-cid-oo7nhf3u] tbody[data-astro-cid-oo7nhf3u] tr[data-astro-cid-oo7nhf3u]:last-child{border-bottom:0}.ledger[data-astro-cid-oo7nhf3u] th[data-astro-cid-oo7nhf3u],.ledger[data-astro-cid-oo7nhf3u] td[data-astro-cid-oo7nhf3u]{border-bottom:0;padding:0;display:block}.ledger[data-astro-cid-oo7nhf3u] tbody[data-astro-cid-oo7nhf3u] th[data-astro-cid-oo7nhf3u]{min-width:0;margin-bottom:.35rem}.ledger[data-astro-cid-oo7nhf3u] td[data-astro-cid-oo7nhf3u]:last-child{white-space:normal;margin-top:.35rem}}