.in-statement[data-astro-cid-3ewsnqgm]{grid-template-columns:76px 1fr;justify-items:start}.in-statement[data-astro-cid-3ewsnqgm]:not(.in-statement--boxed){padding-inline:21px}@media (width<=640px){.in-statement[data-astro-cid-3ewsnqgm]{row-gap:var(--space-1);grid-template-columns:1fr}.in-statement[data-astro-cid-3ewsnqgm]>.in-tag[data-astro-cid-3ewsnqgm]{margin-top:0}}@media (width>=721px){.in-map__row[data-astro-cid-k5tynyyg]{grid-template-columns:140px auto 1fr;align-items:stretch}.in-map__arrow[data-astro-cid-k5tynyyg]{align-self:center}.in-map__item[data-astro-cid-k5tynyyg]{min-height:96px;padding:18px 14px}}.in-map__compiled[data-astro-cid-k5tynyyg]{justify-content:center;padding:12px}@media (width<=720px){.in-map__compiled[data-astro-cid-k5tynyyg]{gap:3px;padding:10px 12px}.in-map__arrow[data-astro-cid-k5tynyyg]{justify-self:center;padding-left:0}.in-map__lean[data-astro-cid-k5tynyyg]{padding:12px}.in-map__lean[data-astro-cid-k5tynyyg] .in-map__grid[data-astro-cid-k5tynyyg]{grid-template-columns:1fr;gap:8px}.in-map__item[data-astro-cid-k5tynyyg]{flex-direction:row-reverse;justify-content:space-between;align-items:center;gap:10px;min-height:44px;padding:10px 12px}.in-map__trusted[data-astro-cid-k5tynyyg] .in-map__grid[data-astro-cid-k5tynyyg]{row-gap:var(--space-3)}}.in-map__trusted[data-astro-cid-k5tynyyg] .in-map__grid[data-astro-cid-k5tynyyg]{gap:var(--space-2) var(--space-3);grid-template-columns:repeat(auto-fit,minmax(220px,1fr))}.dag-scroll[data-astro-cid-sr25ukjp]{overflow-x:auto}.dag[data-astro-cid-sr25ukjp]{width:1080px;height:442px;position:relative}.dag[data-astro-cid-sr25ukjp] svg[data-astro-cid-sr25ukjp]{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.edge[data-astro-cid-sr25ukjp]{stroke:var(--gray-100);stroke-width:1px;fill:none;marker-end:url(#arw)}.edge[data-astro-cid-sr25ukjp].active{stroke:var(--blue-200);stroke-width:1.5px;marker-end:url(#arwA)}.node[data-astro-cid-sr25ukjp]{gap:5px;width:240px;height:132px;padding:14px 16px;position:absolute}.node[data-astro-cid-sr25ukjp] .in-h3[data-astro-cid-sr25ukjp]{font-size:17px;line-height:23px}.node[data-astro-cid-sr25ukjp] .in-card__desc[data-astro-cid-sr25ukjp]{font-size:13px;line-height:18px}.node[data-astro-cid-sr25ukjp] .in-card__more[data-astro-cid-sr25ukjp]{margin-top:4px;font-size:12px;line-height:14px}.node[data-astro-cid-sr25ukjp].touching{border-color:var(--gray-100)}.node[data-astro-cid-sr25ukjp]:hover,.node[data-astro-cid-sr25ukjp]:focus-visible{border-color:var(--blue-200)}.stack[data-astro-cid-sr25ukjp]{display:none}@media (width<=1127px){.dag-scroll[data-astro-cid-sr25ukjp]{display:none}.stack[data-astro-cid-sr25ukjp]{grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:12px;display:grid}}caption[data-astro-cid-a64zehxp]{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.totals[data-astro-cid-a64zehxp]{border:1px solid var(--hairline);background:var(--white);display:none}.totals__head[data-astro-cid-a64zehxp]{border-bottom:1px solid var(--hairline);padding:12px 16px}.totals__grid[data-astro-cid-a64zehxp]{background:var(--hairline);grid-template-columns:1fr 1fr;gap:1px;margin:0;display:grid}.totals__tile[data-astro-cid-a64zehxp]{background:var(--white);flex-direction:column-reverse;gap:3px;padding:14px 16px;display:flex}.totals__tile[data-astro-cid-a64zehxp]:last-child:nth-child(odd){grid-column:span 2}.totals__value[data-astro-cid-a64zehxp]{font-family:var(--font-label);font-variant-numeric:tabular-nums;color:var(--ink);margin:0;font-size:17px;line-height:24px}@media (width<=640px){.by-component[data-astro-cid-a64zehxp]{display:none}.totals[data-astro-cid-a64zehxp]{display:block}}.nobr[data-astro-cid-lcdefpme]{white-space:nowrap}.in-display[data-astro-cid-lcdefpme]{text-wrap:balance}#theorem[data-astro-cid-lcdefpme]{gap:44px}.check-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(2,minmax(0,1fr));gap:64px;display:grid}.check-copy[data-astro-cid-lcdefpme],.run-body[data-astro-cid-lcdefpme]{gap:var(--space-3);flex-direction:column;display:flex}.check-grid[data-astro-cid-lcdefpme] .in-code-figure[data-astro-cid-lcdefpme]{align-self:center;min-width:0}.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;display:grid}.in-card__desc[data-astro-cid-lcdefpme]{overflow-wrap:anywhere}.prompt[data-astro-cid-lcdefpme]{color:var(--gray-300);user-select:none}.ok[data-astro-cid-lcdefpme]{color:var(--blue-300)}@media (width<=900px){.check-grid[data-astro-cid-lcdefpme]{gap:var(--space-3);grid-template-columns:minmax(0,1fr)}.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=720px){#theorem[data-astro-cid-lcdefpme]{gap:var(--space-3)}.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,1fr);gap:10px}}@media (width<=640px){.nobr[data-astro-cid-lcdefpme]{white-space:normal}}