.head-one-cue[data-astro-cid-6hgfmmut],.head-one[data-astro-cid-6hgfmmut],.head-card[data-astro-cid-6hgfmmut].head-one{border-style:dashed}.allowed-cue[data-astro-cid-6hgfmmut],td[data-astro-cid-6hgfmmut].allowed{border-block-end:2px solid}.blocked-cue[data-astro-cid-6hgfmmut],td[data-astro-cid-6hgfmmut].blocked{border-block-end:2px dashed}.diagonal-cue[data-astro-cid-6hgfmmut],td[data-astro-cid-6hgfmmut].diagonal{border-style:double;border-width:3px}.formula-line[data-astro-cid-6hgfmmut]{flex-wrap:wrap;gap:.5rem 1rem;max-inline-size:100%;display:flex}.head-rows[data-astro-cid-6hgfmmut]{flex-wrap:wrap;justify-content:center;gap:.25rem .5rem;display:flex}.technical[data-astro-cid-6hgfmmut],.evidence-table[data-astro-cid-6hgfmmut],.formula-line[data-astro-cid-6hgfmmut]{direction:ltr;unicode-bidi:isolate}.head-grid[data-astro-cid-6hgfmmut],.projection-grid[data-astro-cid-6hgfmmut]{grid-template-columns:minmax(0,1fr)}.proof-grid[data-astro-cid-6hgfmmut],.invariant-grid[data-astro-cid-6hgfmmut]{grid-template-columns:repeat(3,minmax(0,1fr))}.partition-table[data-astro-cid-6hgfmmut],.attention-table[data-astro-cid-6hgfmmut]{table-layout:fixed;inline-size:100%}.partition-table[data-astro-cid-6hgfmmut]{min-inline-size:76rem}.partition-table[data-astro-cid-6hgfmmut] th[data-astro-cid-6hgfmmut]:first-child{inline-size:12rem}.attention-table[data-astro-cid-6hgfmmut]{min-inline-size:64rem}.attention-table[data-astro-cid-6hgfmmut] .query-column[data-astro-cid-6hgfmmut]{inline-size:9rem}.attention-table[data-astro-cid-6hgfmmut] .sum-column[data-astro-cid-6hgfmmut]{inline-size:7rem}.attention-table[data-astro-cid-6hgfmmut] .output-column[data-astro-cid-6hgfmmut]{inline-size:12.5rem}.trace-proof[data-astro-cid-6hgfmmut]{flex-wrap:wrap;gap:.5rem 1rem;display:flex}.shape-flow[data-astro-cid-6hgfmmut]{grid-template-columns:repeat(4,minmax(0,1fr))}@container course-diagram (width<=48rem){.head-grid[data-astro-cid-6hgfmmut],.projection-grid[data-astro-cid-6hgfmmut],.proof-grid[data-astro-cid-6hgfmmut],.invariant-grid[data-astro-cid-6hgfmmut],.shape-flow[data-astro-cid-6hgfmmut]{grid-template-columns:minmax(0,1fr)}}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen{grid-template-columns:repeat(24,minmax(0,1fr));align-content:start}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen>[data-astro-cid-6hgfmmut]:not(section){grid-column:1/-1}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .split-section[data-astro-cid-6hgfmmut]{grid-column:span 10}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .heads-section[data-astro-cid-6hgfmmut]{grid-column:span 14}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .merge-section[data-astro-cid-6hgfmmut]{grid-column:span 16}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .proof-section[data-astro-cid-6hgfmmut]{grid-column:span 8}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .head-grid[data-astro-cid-6hgfmmut]{grid-template-columns:repeat(2,minmax(0,1fr))}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .shape-flow[data-astro-cid-6hgfmmut]{grid-template-columns:repeat(4,minmax(0,1fr))}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .projection-grid[data-astro-cid-6hgfmmut]{grid-template-columns:minmax(0,1fr)}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen:lang(ru) .projection-grid[data-astro-cid-6hgfmmut]{grid-template-columns:minmax(0,.42fr) minmax(0,.58fr)}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .partition-table[data-astro-cid-6hgfmmut]{min-inline-size:48.5rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .partition-table[data-astro-cid-6hgfmmut] th[data-astro-cid-6hgfmmut]:first-child{inline-size:8rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .attention-table[data-astro-cid-6hgfmmut]{min-inline-size:38rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .attention-table[data-astro-cid-6hgfmmut] .query-column[data-astro-cid-6hgfmmut]{inline-size:5.5rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .attention-table[data-astro-cid-6hgfmmut] .sum-column[data-astro-cid-6hgfmmut]{inline-size:5rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:fullscreen .attention-table[data-astro-cid-6hgfmmut] .output-column[data-astro-cid-6hgfmmut]{inline-size:12rem}.multi-head-diagram[data-astro-cid-6hgfmmut]:dir(rtl) .evidence-table[data-astro-cid-6hgfmmut] [data-astro-cid-6hgfmmut]:is(caption,th,small){direction:rtl;unicode-bidi:plaintext}