.proof-highlights[data-astro-cid-xdrm2tdk]{border-block:1px solid var(--border);color:var(--text);padding-block:2.5rem;scroll-margin-top:10rem}.proof-highlights__heading[data-astro-cid-xdrm2tdk]{justify-content:space-between;align-items:end;gap:1rem 2rem;margin-bottom:1.5rem;display:flex}.proof-highlights__heading[data-astro-cid-xdrm2tdk] h2[data-astro-cid-xdrm2tdk]{max-width:38rem;margin-top:.75rem;font-size:2rem;font-weight:850;line-height:1.2}.proof-highlights__library[data-astro-cid-xdrm2tdk],.proof-highlight__story[data-astro-cid-xdrm2tdk]{text-underline-offset:4px;align-items:center;gap:.625rem;min-height:44px;font-size:.9375rem;font-weight:800;text-decoration:underline;display:inline-flex}.proof-highlights__library[data-astro-cid-xdrm2tdk]{flex-shrink:0}.proof-highlights__rail[data-astro-cid-xdrm2tdk]{overscroll-behavior-x:contain;scroll-snap-type:x mandatory;scrollbar-width:thin;scrollbar-color:var(--border-strong) transparent;grid-auto-columns:calc(50% - .625rem);grid-auto-flow:column;gap:1.25rem;padding:4px 2px 1rem;display:grid;overflow-x:auto}.proof-highlight[data-astro-cid-xdrm2tdk]{border:1px solid var(--border);background:var(--surface);scroll-snap-align:start;border-radius:8px;flex-direction:column;min-width:0;display:flex;overflow:hidden}.proof-highlight__heading[data-astro-cid-xdrm2tdk]{padding:1.125rem 1.25rem}.proof-highlight__heading[data-astro-cid-xdrm2tdk] p[data-astro-cid-xdrm2tdk]{color:var(--text-muted);font-size:.8125rem;line-height:1.5}.proof-highlight[data-astro-cid-xdrm2tdk] h3[data-astro-cid-xdrm2tdk]{margin-top:.3rem;font-size:1.375rem;font-weight:850;line-height:1.25}.proof-highlight__capture[data-astro-cid-xdrm2tdk]{color:#123528;border-block:1px solid var(--border);cursor:zoom-in;background:#fff;display:block}.proof-highlight__crop[data-astro-cid-xdrm2tdk]{aspect-ratio:2;display:block;position:relative;overflow:hidden}.proof-highlight__crop[data-astro-cid-xdrm2tdk] img[data-astro-cid-xdrm2tdk]{width:var(--image-width);max-width:none;height:auto;left:var(--image-left);top:var(--image-top);display:block;position:absolute}.proof-highlight__capture-label[data-astro-cid-xdrm2tdk]{background:#f4f9f4;border-top:1px solid #d5e2da;justify-content:space-between;align-items:center;padding:.5rem 1rem;font-size:.75rem;font-weight:700;display:flex}.proof-highlight__capture[data-astro-cid-xdrm2tdk]:hover .proof-highlight__capture-label[data-astro-cid-xdrm2tdk]{background:#dcebdd}.proof-highlight__body[data-astro-cid-xdrm2tdk]{flex-direction:column;flex:1;align-items:start;padding:1rem 1.25rem;display:flex}.proof-highlight__meta[data-astro-cid-xdrm2tdk]{color:var(--text-muted);font-size:.8125rem;font-weight:700;line-height:1.5}.proof-highlight__question[data-astro-cid-xdrm2tdk]{margin-top:.625rem;font-size:1.0625rem;font-weight:800;line-height:1.45}.proof-highlight__result[data-astro-cid-xdrm2tdk]{color:var(--text-muted);margin-top:.5rem;padding-bottom:.625rem;font-size:.9375rem;line-height:1.55}.proof-highlight__story[data-astro-cid-xdrm2tdk]{margin-top:auto}.proof-highlights__footer[data-astro-cid-xdrm2tdk]{justify-content:space-between;align-items:center;gap:1rem;margin-top:.625rem;display:flex}.proof-highlights__footer[data-astro-cid-xdrm2tdk]>p[data-astro-cid-xdrm2tdk]{max-width:36rem;color:var(--text-muted);font-size:.8125rem;line-height:1.5}.proof-highlights__controls[data-astro-cid-xdrm2tdk]{flex-shrink:0;align-items:center;gap:.5rem;display:none}[data-astro-cid-xdrm2tdk][data-enhanced] .proof-highlights__controls[data-astro-cid-xdrm2tdk]{display:flex}.proof-highlights__position[data-astro-cid-xdrm2tdk]{text-align:center;font-variant-numeric:tabular-nums;min-width:5.25rem;font-size:.8125rem;font-weight:700}.proof-icon[data-astro-cid-xdrm2tdk]{border:1px solid var(--cta-strong);background:var(--cta-strong);width:44px;height:44px;color:var(--cta-text);cursor:pointer;border-radius:6px;flex-shrink:0;place-items:center;display:inline-grid}.proof-icon[data-astro-cid-xdrm2tdk]:hover:not([aria-disabled=true]){box-shadow:inset 0 0 0 2px}.proof-icon[data-astro-cid-xdrm2tdk][aria-disabled=true]{background:var(--surface);color:var(--text-muted);border-color:var(--border);cursor:default}.proof-viewer[data-astro-cid-xdrm2tdk]{color:#123528;background:#fff;border:1px solid #6a8776;border-radius:8px;width:min(94vw,1140px);max-width:none;height:90dvh;max-height:90dvh;margin:auto;padding:0;overflow:hidden}.proof-viewer[data-astro-cid-xdrm2tdk][open]{flex-direction:column;display:flex}.proof-viewer[data-astro-cid-xdrm2tdk]::backdrop{background:#0a1814cc}.proof-viewer__header[data-astro-cid-xdrm2tdk]{color:#f4f9f4;background:#123528;justify-content:space-between;align-items:center;gap:1rem;padding:1rem;display:flex}.proof-viewer__header[data-astro-cid-xdrm2tdk] h2[data-astro-cid-xdrm2tdk]{margin:0;font-size:1rem;line-height:1.4}.proof-viewer__header[data-astro-cid-xdrm2tdk] p[data-astro-cid-xdrm2tdk]{margin-top:.3rem;font-size:.8125rem;line-height:1.4}.proof-viewer[data-astro-cid-xdrm2tdk] .proof-icon[data-astro-cid-xdrm2tdk]{color:#f4f9f4;background:#123528;border-color:#9fe0bc}.proof-viewer__toolbar[data-astro-cid-xdrm2tdk]{border-bottom:1px solid #d5e2da;flex-wrap:wrap;align-items:center;gap:.5rem 1rem;padding:.625rem 1rem;display:flex}.proof-viewer__toolbar[data-astro-cid-xdrm2tdk] a[data-astro-cid-xdrm2tdk]{text-underline-offset:3px;align-items:center;gap:.5rem;min-height:44px;font-size:.8125rem;font-weight:750;text-decoration:underline;display:inline-flex}.proof-viewer__toolbar[data-astro-cid-xdrm2tdk] .btn-primary[data-astro-cid-xdrm2tdk]{color:#f4f9f4;box-shadow:none;background:#123528;border-color:#123528;margin-left:auto;padding:.625rem .875rem;text-decoration:none}.proof-viewer__viewport[data-astro-cid-xdrm2tdk]{overscroll-behavior:contain;flex:1;min-height:0;overflow:auto}.proof-viewer__viewport[data-astro-cid-xdrm2tdk] img[data-astro-cid-xdrm2tdk]{width:min(100%, var(--original-width));max-width:none;height:auto;margin-inline:auto;display:block}.proof-viewer__viewport[data-astro-cid-xdrm2tdk][data-zoomed] img[data-astro-cid-xdrm2tdk]{width:var(--original-width)}.proof-viewer__viewport[data-astro-cid-xdrm2tdk] img[data-astro-cid-xdrm2tdk][hidden]{display:none}.proof-viewer__error[data-astro-cid-xdrm2tdk]{padding:1.5rem;line-height:1.6}.proof-viewer__note[data-astro-cid-xdrm2tdk]{border-top:1px solid #d5e2da;padding:.75rem 1rem;font-size:.75rem;line-height:1.5}[data-astro-cid-xdrm2tdk][data-zoom-out],[data-astro-cid-xdrm2tdk][aria-pressed=true] [data-astro-cid-xdrm2tdk][data-zoom-in]{display:none}[data-astro-cid-xdrm2tdk][aria-pressed=true] [data-astro-cid-xdrm2tdk][data-zoom-out]{display:block}@media (width<=767px){.proof-highlights[data-astro-cid-xdrm2tdk]{padding-block:2rem;scroll-margin-top:6rem}.proof-highlights__heading[data-astro-cid-xdrm2tdk]{flex-direction:column;align-items:start;gap:.5rem;margin-bottom:.75rem}.proof-highlights__heading[data-astro-cid-xdrm2tdk] h2[data-astro-cid-xdrm2tdk]{font-size:1.625rem}.proof-highlights__rail[data-astro-cid-xdrm2tdk]{grid-auto-columns:90%;gap:.875rem}.proof-highlight__heading[data-astro-cid-xdrm2tdk],.proof-highlight__body[data-astro-cid-xdrm2tdk]{padding:1rem}.proof-highlight[data-astro-cid-xdrm2tdk] h3[data-astro-cid-xdrm2tdk]{font-size:1.25rem}.proof-highlights__footer[data-astro-cid-xdrm2tdk]{flex-direction:column-reverse;align-items:start}.proof-highlights__controls[data-astro-cid-xdrm2tdk]{align-self:end}}@media (width<=479px){.proof-viewer__toolbar[data-astro-cid-xdrm2tdk]{gap:.5rem}.proof-viewer__toolbar[data-astro-cid-xdrm2tdk] .btn-primary[data-astro-cid-xdrm2tdk]{margin-left:0}}