.diagram[data-astro-cid-vtttx24c]{margin:0}.dgm[data-astro-cid-vtttx24c]{width:100%;height:auto;font-family:var(--font-mono);max-width:1040px;display:block}.dgm--narrow[data-astro-cid-vtttx24c]{max-width:500px;margin-inline:auto;display:none}@media (width<=899px){.dgm--wide[data-astro-cid-vtttx24c]{display:none}.dgm--narrow[data-astro-cid-vtttx24c]{display:block}}.d-grid[data-astro-cid-vtttx24c]{fill:none;stroke:currentColor;stroke-width:1.6px}.d-gridline[data-astro-cid-vtttx24c]{fill:none;stroke:color-mix(in srgb, currentColor 28%, transparent);stroke-width:1px}.d-cell[data-astro-cid-vtttx24c]{fill:color-mix(in srgb, var(--c-action) 14%, transparent);stroke:var(--c-action);stroke-width:2.4px}.d-edge[data-astro-cid-vtttx24c]{fill:none;stroke:currentColor;stroke-width:1.6px}.d-edge--acc[data-astro-cid-vtttx24c]{stroke:var(--c-action);stroke-width:2px;stroke-dasharray:6 4}.d-arw-acc[data-astro-cid-vtttx24c]{fill:var(--c-action)}.d-head[data-astro-cid-vtttx24c]{fill:var(--c-warm);letter-spacing:.14em;font-size:14px;font-weight:600}.d-axis[data-astro-cid-vtttx24c]{fill:var(--c-warm);letter-spacing:.12em;font-size:14px;font-weight:700}.d-axhead[data-astro-cid-vtttx24c]{fill:currentColor;font-size:16px;font-weight:700}.d-slug[data-astro-cid-vtttx24c]{fill:color-mix(in srgb, currentColor 62%, transparent);font-size:13.5px}.d-cellt[data-astro-cid-vtttx24c]{fill:var(--c-action-text);font-size:16px;font-weight:700}.d-cellt--out[data-astro-cid-vtttx24c]{font-size:16px}.d-label[data-astro-cid-vtttx24c]{fill:var(--c-action-text);font-size:15px}.d-foot[data-astro-cid-vtttx24c]{fill:currentColor;font-size:15px;font-weight:600}.dgm--narrow[data-astro-cid-vtttx24c] .d-axhead[data-astro-cid-vtttx24c],.dgm--narrow[data-astro-cid-vtttx24c] .d-slug[data-astro-cid-vtttx24c]{font-size:15px}.dgm--narrow[data-astro-cid-vtttx24c] .d-axis[data-astro-cid-vtttx24c]{font-size:13px}body.theme-dark .dark-chapter .d-cell[data-astro-cid-vtttx24c]{fill:color-mix(in srgb, var(--c-support) 18%, transparent);stroke:var(--c-support)}body.theme-dark .dark-chapter .d-edge--acc[data-astro-cid-vtttx24c]{stroke:var(--c-support)}body.theme-dark .dark-chapter .d-arw-acc[data-astro-cid-vtttx24c],body.theme-dark .dark-chapter .d-cellt[data-astro-cid-vtttx24c],body.theme-dark .dark-chapter .d-label[data-astro-cid-vtttx24c]{fill:var(--c-support)}body.theme-dark .dark-chapter .d-head[data-astro-cid-vtttx24c],body.theme-dark .dark-chapter .d-axis[data-astro-cid-vtttx24c]{fill:color-mix(in srgb, var(--c-text-on-dark) 65%, transparent)}.diagram[data-astro-cid-kv2lns56]{margin:0}.dgm[data-astro-cid-kv2lns56]{width:100%;height:auto;font-family:var(--font-mono);max-width:1040px;display:block}.dgm--narrow[data-astro-cid-kv2lns56]{max-width:500px;margin-inline:auto;display:none}@media (width<=899px){.dgm--wide[data-astro-cid-kv2lns56]{display:none}.dgm--narrow[data-astro-cid-kv2lns56]{display:block}}.d-box[data-astro-cid-kv2lns56]{fill:color-mix(in srgb, currentColor 4%, transparent);stroke:currentColor;stroke-width:1.4px}.d-page[data-astro-cid-kv2lns56]{fill:none;stroke:currentColor;stroke-width:1.8px}.d-rule[data-astro-cid-kv2lns56]{fill:none;stroke:color-mix(in srgb, currentColor 28%, transparent);stroke-width:1px}.d-edge[data-astro-cid-kv2lns56]{fill:none;stroke:color-mix(in srgb, currentColor 60%, transparent);stroke-width:1.4px}.d-edge--proof[data-astro-cid-kv2lns56]{stroke:var(--c-action);stroke-width:3px}.d-arw[data-astro-cid-kv2lns56]{fill:color-mix(in srgb, currentColor 60%, transparent)}.d-arw-acc[data-astro-cid-kv2lns56]{fill:var(--c-action)}.d-head[data-astro-cid-kv2lns56]{fill:var(--c-warm);letter-spacing:.14em;font-size:14px;font-weight:600}.d-col[data-astro-cid-kv2lns56]{fill:var(--c-warm);letter-spacing:.12em;font-size:14px;font-weight:700}.d-title[data-astro-cid-kv2lns56]{fill:currentColor;letter-spacing:.05em;font-size:19px;font-weight:700}.d-sub[data-astro-cid-kv2lns56]{fill:color-mix(in srgb, currentColor 75%, transparent);font-size:15px}.d-pagetext[data-astro-cid-kv2lns56]{fill:currentColor;font-size:14px;font-weight:600}.d-foot[data-astro-cid-kv2lns56]{fill:currentColor;font-size:15px;font-weight:600}.dgm--narrow[data-astro-cid-kv2lns56] .d-sub[data-astro-cid-kv2lns56],.dgm--narrow[data-astro-cid-kv2lns56] .d-foot[data-astro-cid-kv2lns56]{font-size:16px}.dgm--narrow[data-astro-cid-kv2lns56] .d-pagetext[data-astro-cid-kv2lns56]{font-size:15px}body.theme-dark .dark-chapter .d-edge--proof[data-astro-cid-kv2lns56]{stroke:var(--c-support)}body.theme-dark .dark-chapter .d-arw-acc[data-astro-cid-kv2lns56]{fill:var(--c-support)}body.theme-dark .dark-chapter .d-head[data-astro-cid-kv2lns56],body.theme-dark .dark-chapter .d-col[data-astro-cid-kv2lns56]{fill:color-mix(in srgb, var(--c-text-on-dark) 65%, transparent)}.diagram[data-astro-cid-avhz4ip3]{margin:0}.dgm[data-astro-cid-avhz4ip3]{width:100%;height:auto;font-family:var(--font-mono);max-width:1040px;display:block}.dgm--narrow[data-astro-cid-avhz4ip3]{max-width:500px;margin-inline:auto;display:none}@media (width<=899px){.dgm--wide[data-astro-cid-avhz4ip3]{display:none}.dgm--narrow[data-astro-cid-avhz4ip3]{display:block}}.d-box[data-astro-cid-avhz4ip3]{fill:color-mix(in srgb, currentColor 4%, transparent);stroke:currentColor;stroke-width:1.6px}.d-free[data-astro-cid-avhz4ip3]{fill:none;stroke:color-mix(in srgb, currentColor 45%, transparent);stroke-width:1.4px;stroke-dasharray:5 4}.d-rule[data-astro-cid-avhz4ip3]{fill:none;stroke:color-mix(in srgb, currentColor 22%, transparent);stroke-width:1px}.d-edge[data-astro-cid-avhz4ip3]{fill:none;stroke:currentColor;stroke-width:1.6px}.d-edge--acc[data-astro-cid-avhz4ip3]{stroke:var(--c-action);stroke-width:2.2px}.d-edge--dash[data-astro-cid-avhz4ip3]{stroke:color-mix(in srgb, currentColor 55%, transparent);stroke-dasharray:5 4}.d-arw-acc[data-astro-cid-avhz4ip3]{fill:var(--c-action)}.d-arw-mut[data-astro-cid-avhz4ip3]{fill:color-mix(in srgb, currentColor 55%, transparent)}.d-head[data-astro-cid-avhz4ip3]{fill:var(--c-warm);letter-spacing:.14em;font-size:14px;font-weight:600}.d-stage[data-astro-cid-avhz4ip3]{fill:var(--c-action-text);letter-spacing:.14em;font-size:20px;font-weight:700}.d-title[data-astro-cid-avhz4ip3]{fill:currentColor;letter-spacing:-.01em;font-size:20px;font-weight:700}.d-sub[data-astro-cid-avhz4ip3],.d-label[data-astro-cid-avhz4ip3],.d-freetext[data-astro-cid-avhz4ip3]{fill:color-mix(in srgb, currentColor 72%, transparent);font-size:15px}.d-label[data-astro-cid-avhz4ip3]{fill:var(--c-action-text)}.dgm--narrow[data-astro-cid-avhz4ip3] .d-sub[data-astro-cid-avhz4ip3],.dgm--narrow[data-astro-cid-avhz4ip3] .d-label[data-astro-cid-avhz4ip3],.dgm--narrow[data-astro-cid-avhz4ip3] .d-freetext[data-astro-cid-avhz4ip3]{font-size:16px}body.theme-dark .dark-chapter .d-edge--acc[data-astro-cid-avhz4ip3],body.theme-dark .dark-chapter .d-arw-acc[data-astro-cid-avhz4ip3]{stroke:var(--c-support);fill:var(--c-support)}body.theme-dark .dark-chapter .d-arw-acc[data-astro-cid-avhz4ip3]{stroke:none}body.theme-dark .dark-chapter .d-stage[data-astro-cid-avhz4ip3],body.theme-dark .dark-chapter .d-label[data-astro-cid-avhz4ip3]{fill:var(--c-support)}body.theme-dark .dark-chapter .d-head[data-astro-cid-avhz4ip3]{fill:color-mix(in srgb, var(--c-text-on-dark) 65%, transparent)}@media (width>=900px){.case-gallery[data-astro-cid-jq3rzqde] .cg-half{grid-column:span 6}}