.interval-mini-diagram[data-astro-cid-74cfndyg]{width:180px;max-width:none;height:54px;color:var(--color-figure);display:block}.axis[data-astro-cid-74cfndyg],.axis-arrow[data-astro-cid-74cfndyg]{fill:none;stroke:var(--color-muted);stroke-width:1.25px}.interval[data-astro-cid-74cfndyg]{stroke:currentColor;stroke-width:5px}.interval-arrow[data-astro-cid-74cfndyg],.endpoint-bracket[data-astro-cid-74cfndyg]{fill:none;stroke:currentColor;stroke-linecap:square;stroke-linejoin:miter;stroke-width:2.5px}.boundary-label[data-astro-cid-74cfndyg]{fill:var(--color-ink);font-family:var(--font-mono);font-size:13px}.number-sets-figure[data-astro-cid-ractb5lh]{box-sizing:border-box;width:100%;max-width:100%;margin:var(--space-10) 0;padding:var(--space-4);background:var(--color-surface);border:1px solid var(--color-border)}.number-sets-figure__viewport[data-astro-cid-ractb5lh]{width:100%;max-width:100%;overflow-x:auto}.number-sets-figure__viewport[data-astro-cid-ractb5lh]:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}svg[data-astro-cid-ractb5lh]{width:100%;height:auto;display:block}.set[data-astro-cid-ractb5lh]{stroke-width:2.25px}.set--r[data-astro-cid-ractb5lh]{fill:color-mix(in srgb, var(--color-primary) 5%, white);stroke:var(--color-primary)}.set--q[data-astro-cid-ractb5lh]{fill:color-mix(in srgb, var(--color-figure) 8%, white);stroke:var(--color-figure)}.set--d[data-astro-cid-ractb5lh]{fill:color-mix(in srgb, var(--color-success) 9%, white);stroke:var(--color-success)}.set--z[data-astro-cid-ractb5lh]{fill:color-mix(in srgb, var(--color-warning) 10%, white);stroke:var(--color-warning)}.set--n[data-astro-cid-ractb5lh]{fill:color-mix(in srgb, var(--color-accent) 10%, white);stroke:var(--color-accent)}.band-label[data-astro-cid-ractb5lh],.reading-note[data-astro-cid-ractb5lh],.chain[data-astro-cid-ractb5lh]{fill:var(--color-ink);font-family:var(--font-mono)}.band-label[data-astro-cid-ractb5lh]{font-size:19px}.set-name[data-astro-cid-ractb5lh]{font-size:24px;font-weight:750}.separator[data-astro-cid-ractb5lh]{fill:var(--color-muted)}.reading-note[data-astro-cid-ractb5lh]{fill:var(--color-muted);font-family:var(--font-sans);font-size:17px}.chain[data-astro-cid-ractb5lh]{font-size:25px;font-weight:700}figcaption[data-astro-cid-ractb5lh]{color:var(--color-muted);font-family:var(--font-sans);font-size:.85rem;line-height:1.5}.real-number-line[data-astro-cid-hyomgns4]{box-sizing:border-box;width:100%;max-width:100%;margin:var(--space-10) 0;padding:var(--space-4);background:var(--color-surface);border:1px solid var(--color-border)}.real-number-line__viewport[data-astro-cid-hyomgns4]{width:100%;max-width:100%;overflow-x:auto}.real-number-line__viewport[data-astro-cid-hyomgns4]:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}svg[data-astro-cid-hyomgns4]{width:100%;min-width:650px;height:auto;display:block}.axis[data-astro-cid-hyomgns4],.arrow[data-astro-cid-hyomgns4],.tick[data-astro-cid-hyomgns4]{fill:none;stroke:var(--color-muted);stroke-width:1.5px}.guide[data-astro-cid-hyomgns4]{stroke:var(--color-border-strong);stroke-dasharray:3 3}.point[data-astro-cid-hyomgns4]{fill:var(--color-figure);stroke:var(--color-surface);stroke-width:2px}.value-label[data-astro-cid-hyomgns4],.set-label[data-astro-cid-hyomgns4]{fill:var(--color-ink);font-family:var(--font-mono);font-size:16px}.set-label[data-astro-cid-hyomgns4]{fill:var(--color-accent);font-size:13px;font-weight:650}figcaption[data-astro-cid-hyomgns4]{color:var(--color-muted);font-family:var(--font-sans);font-size:.85rem;line-height:1.5}.set-relations-figure[data-astro-cid-r4i2bq2j]{box-sizing:border-box;width:100%;max-width:100%;margin:var(--space-10) 0;padding:var(--space-4);background:var(--color-surface);border:1px solid var(--color-border)}.set-relations-figure__viewport[data-astro-cid-r4i2bq2j]{width:100%;max-width:100%;overflow-x:auto}.set-relations-figure__viewport[data-astro-cid-r4i2bq2j]:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}svg[data-astro-cid-r4i2bq2j]{width:100%;min-width:600px;height:auto;display:block}.set-outline[data-astro-cid-r4i2bq2j]{fill:var(--color-surface);fill-opacity:.22;stroke:var(--color-figure);stroke-width:2.5px}.target-area[data-astro-cid-r4i2bq2j]{fill:url(#relation-hatch)}.target-outline[data-astro-cid-r4i2bq2j]{stroke:var(--color-accent);stroke-width:2.5px}.target-background[data-astro-cid-r4i2bq2j]{fill:var(--color-accent);fill-opacity:.14}.target-stripe[data-astro-cid-r4i2bq2j]{stroke:var(--color-accent);stroke-width:3px;stroke-opacity:.55}.panel-title[data-astro-cid-r4i2bq2j],.relation[data-astro-cid-r4i2bq2j],.explanation[data-astro-cid-r4i2bq2j],.set-label[data-astro-cid-r4i2bq2j],.set-symbol[data-astro-cid-r4i2bq2j]{fill:var(--color-ink);font-family:var(--font-sans)}.panel-title[data-astro-cid-r4i2bq2j]{font-size:21px;font-weight:700}.relation[data-astro-cid-r4i2bq2j]{font-size:18px;font-weight:650}.explanation[data-astro-cid-r4i2bq2j]{fill:var(--color-muted);font-size:14px}.set-label[data-astro-cid-r4i2bq2j]{font-size:16px;font-weight:650}.set-symbol[data-astro-cid-r4i2bq2j]{font-family:var(--font-mono);font-size:23px;font-weight:700}figcaption[data-astro-cid-r4i2bq2j]{color:var(--color-muted);font-family:var(--font-sans);font-size:.85rem;line-height:1.5}.scroll-hint[data-astro-cid-r4i2bq2j]{margin:var(--space-2) 0 0;color:var(--color-muted);font-family:var(--font-sans);font-size:.78rem;display:none}@media (width<=40rem){.scroll-hint[data-astro-cid-r4i2bq2j]{display:block}}