.formula-line[data-astro-cid-66ov2cew]{flex-wrap:wrap;gap:.45rem 1rem;max-inline-size:100%;display:flex}.technical[data-astro-cid-66ov2cew]{direction:ltr;unicode-bidi:isolate}.wrapped-vector[data-astro-cid-66ov2cew]{flex-wrap:wrap;justify-content:center;gap:.12rem .2rem;max-inline-size:100%;display:flex}.shape-grid[data-astro-cid-66ov2cew],.proof-grid[data-astro-cid-66ov2cew]{align-items:start}.shape-grid[data-astro-cid-66ov2cew]{grid-template-columns:repeat(3,minmax(0,1fr))}.flow-layout[data-astro-cid-66ov2cew]{grid-template-rows:repeat(2,auto);grid-template-columns:17.5rem 1.5rem 17.5rem 1.5rem 17.5rem 1.5rem 4rem 1.5rem 17.5rem;align-items:center;gap:.65rem;inline-size:max-content;min-inline-size:80rem;display:grid}.flow-card[data-astro-cid-66ov2cew]{text-align:center;align-content:center;align-self:stretch}.source-card[data-astro-cid-66ov2cew]{grid-area:1/1/3}.source-to-identity[data-astro-cid-66ov2cew]{grid-area:1/2}.identity-card[data-astro-cid-66ov2cew]{border-inline-start-style:solid;border-inline-start-width:4px;grid-area:1/3/auto/6}.identity-to-merge[data-astro-cid-66ov2cew]{grid-area:1/6}.source-to-norm[data-astro-cid-66ov2cew]{grid-area:2/2}.norm-card[data-astro-cid-66ov2cew]{grid-area:2/3}.norm-to-branch[data-astro-cid-66ov2cew]{grid-area:2/4}.transform-card[data-astro-cid-66ov2cew]{grid-area:2/5}.branch-to-merge[data-astro-cid-66ov2cew]{grid-area:2/6}.branch-card[data-astro-cid-66ov2cew],.branch-cue[data-astro-cid-66ov2cew],.blocked-cue[data-astro-cid-66ov2cew],td[data-astro-cid-66ov2cew].blocked{border-style:dashed}.merge-card[data-astro-cid-66ov2cew]{border-style:double;border-width:4px;grid-area:1/7/3}.merge-to-result[data-astro-cid-66ov2cew]{grid-area:1/8/3}.result-card[data-astro-cid-66ov2cew]{grid-area:1/9/3}.arrow[data-astro-cid-66ov2cew]{place-self:center;font-size:1.35rem;font-weight:700}.stage-table[data-astro-cid-66ov2cew],.probe-table[data-astro-cid-66ov2cew],.weights-table[data-astro-cid-66ov2cew]{inline-size:max-content;min-inline-size:100%}.weights-table[data-astro-cid-66ov2cew]{min-inline-size:50rem}td[data-astro-cid-66ov2cew].allowed,.allowed-cue[data-astro-cid-66ov2cew]{border-block-end-style:solid;border-block-end-width:3px}td[data-astro-cid-66ov2cew].blocked,.blocked-cue[data-astro-cid-66ov2cew]{border-block-end-width:3px}.merge-cue[data-astro-cid-66ov2cew]{border-style:double;border-width:4px}.proof-grid[data-astro-cid-66ov2cew]{grid-template-columns:repeat(2,minmax(0,1fr));margin-block-start:.75rem}@container course-diagram (width<=48rem){.shape-grid[data-astro-cid-66ov2cew],.proof-grid[data-astro-cid-66ov2cew]{grid-template-columns:minmax(0,1fr)}}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen{grid-template-columns:repeat(24,minmax(0,1fr));align-content:start}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>[data-astro-cid-66ov2cew]:not(section){grid-column:1/-1}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.overview-section[data-astro-cid-66ov2cew]{grid-column:span 7}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.path-section[data-astro-cid-66ov2cew]:nth-of-type(2){grid-column:span 17}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.path-section[data-astro-cid-66ov2cew]:nth-of-type(3),.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]{grid-column:1/-1}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .flow-layout[data-astro-cid-66ov2cew]{grid-template-columns:13.85rem 1.5rem 13.85rem 1.5rem 13.85rem 1.5rem 4rem 1.5rem 13.85rem;min-inline-size:0}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]{grid-template-columns:minmax(0,.25fr) minmax(0,.75fr)}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]>[data-astro-cid-66ov2cew]:is(h4,p),.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]>.attention-evidence-region[data-astro-cid-66ov2cew],.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]>.feed-forward-evidence-region[data-astro-cid-66ov2cew],.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen>.proof-section[data-astro-cid-66ov2cew]>.proof-grid[data-astro-cid-66ov2cew]{grid-column:1/-1}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .proof-grid[data-astro-cid-66ov2cew]{grid-template-columns:repeat(4,minmax(0,1fr))}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .weights-table[data-astro-cid-66ov2cew]{table-layout:fixed;inline-size:100%}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .weights-table[data-astro-cid-66ov2cew] small[data-astro-cid-66ov2cew]{margin-block-start:0;margin-inline-start:.35rem;display:inline}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .weights-table[data-astro-cid-66ov2cew] th[data-astro-cid-66ov2cew]:first-child{inline-size:3.5rem}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .weights-table[data-astro-cid-66ov2cew] th[data-astro-cid-66ov2cew]:nth-child(2){inline-size:6rem}.decoder-block-diagram[data-astro-cid-66ov2cew]:fullscreen .weights-table[data-astro-cid-66ov2cew] th[data-astro-cid-66ov2cew]:last-child{inline-size:5.5rem}@media (forced-colors:active){.identity-card[data-astro-cid-66ov2cew],.identity-cue[data-astro-cid-66ov2cew],.allowed-cue[data-astro-cid-66ov2cew],td[data-astro-cid-66ov2cew].allowed{border-style:solid}.branch-card[data-astro-cid-66ov2cew],.branch-cue[data-astro-cid-66ov2cew],.blocked-cue[data-astro-cid-66ov2cew],td[data-astro-cid-66ov2cew].blocked{border-style:dashed}.merge-card[data-astro-cid-66ov2cew],.merge-cue[data-astro-cid-66ov2cew]{border-style:double}}