.page[data-astro-cid-2yp2h33d]{max-width:1100px;margin:0 auto;padding:5rem 2rem}h1[data-astro-cid-2yp2h33d]{font-size:clamp(2rem,5vw,3.2rem);font-weight:700;letter-spacing:-.03em;margin-bottom:1rem;background:linear-gradient(135deg,#e2d9f3,#a78bfa);-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text}.lead[data-astro-cid-2yp2h33d]{color:var(--muted);font-size:1.1rem;max-width:650px;line-height:1.8;margin-bottom:4rem}h2[data-astro-cid-2yp2h33d]{font-size:1.5rem;font-weight:700;letter-spacing:-.02em;margin-bottom:.75rem;margin-top:4rem}.sub[data-astro-cid-2yp2h33d]{color:var(--muted);font-size:.95rem;margin-bottom:2rem}.operator-box[data-astro-cid-2yp2h33d]{background:var(--surface);border:1px solid rgba(139,92,246,.3);border-radius:16px;padding:2.5rem;margin-bottom:2rem;display:grid;grid-template-columns:1fr 1fr;gap:3rem;align-items:center}.formula[data-astro-cid-2yp2h33d]{font-family:JetBrains Mono,monospace;font-size:clamp(1.5rem,4vw,2.2rem);color:#c4b5fd;text-align:center;background:#0000004d;border-radius:12px;padding:1.5rem;border:1px solid var(--border)}.operator-facts[data-astro-cid-2yp2h33d]{list-style:none;padding:0}.operator-facts[data-astro-cid-2yp2h33d] li[data-astro-cid-2yp2h33d]{padding:.6rem 0;border-bottom:1px solid var(--border);color:var(--muted);font-size:.9rem;line-height:1.6}.operator-facts[data-astro-cid-2yp2h33d] li[data-astro-cid-2yp2h33d]:last-child{border:none}.operator-facts[data-astro-cid-2yp2h33d] strong[data-astro-cid-2yp2h33d]{color:var(--text)}.strata-grid[data-astro-cid-2yp2h33d]{display:flex;flex-direction:column;gap:1rem}.stratum[data-astro-cid-2yp2h33d]{display:grid;grid-template-columns:120px 1fr auto;gap:1.5rem;align-items:start;background:var(--surface);border:1px solid var(--border);border-radius:14px;padding:1.75rem;transition:border-color .2s}.stratum[data-astro-cid-2yp2h33d]:hover{border-color:#a78bfa40}.depth-badge[data-astro-cid-2yp2h33d]{font-family:JetBrains Mono,monospace;font-size:1rem;font-weight:600;display:flex;flex-direction:column;align-items:center;text-align:center;gap:.4rem}.depth-label[data-astro-cid-2yp2h33d]{font-size:.65rem;text-transform:uppercase;letter-spacing:.1em;color:var(--muted)}.stratum-body[data-astro-cid-2yp2h33d] h3[data-astro-cid-2yp2h33d]{font-size:1.05rem;font-weight:600;margin-bottom:.4rem}.stratum-tagline[data-astro-cid-2yp2h33d]{color:var(--muted);font-style:italic;font-size:.9rem;margin-bottom:.75rem}.stratum-desc[data-astro-cid-2yp2h33d]{color:var(--muted);font-size:.85rem;line-height:1.6;margin-bottom:.75rem}.examples-wrap[data-astro-cid-2yp2h33d]{display:flex;flex-wrap:wrap;gap:.4rem}.ex-chip[data-astro-cid-2yp2h33d]{background:#ffffff0a;border:1px solid rgba(255,255,255,.08);border-radius:5px;padding:.2rem .55rem;font-size:.72rem;color:var(--muted);font-family:JetBrains Mono,monospace}.theorem-list[data-astro-cid-2yp2h33d]{display:grid;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:1rem}.theorem-card[data-astro-cid-2yp2h33d]{background:var(--surface);border:1px solid var(--border);border-radius:12px;padding:1.5rem}.theorem-num[data-astro-cid-2yp2h33d]{font-family:JetBrains Mono,monospace;font-size:.75rem;color:var(--accent);margin-bottom:.4rem}.theorem-card[data-astro-cid-2yp2h33d] h3[data-astro-cid-2yp2h33d]{font-size:1rem;font-weight:600;margin-bottom:.5rem}.theorem-card[data-astro-cid-2yp2h33d] p[data-astro-cid-2yp2h33d]{color:var(--muted);font-size:.85rem;line-height:1.6}.delta-table[data-astro-cid-2yp2h33d]{width:100%;border-collapse:collapse;font-size:.9rem}.delta-table[data-astro-cid-2yp2h33d] th[data-astro-cid-2yp2h33d]{text-align:left;padding:.75rem 1rem;color:var(--muted);font-size:.75rem;text-transform:uppercase;letter-spacing:.08em;border-bottom:1px solid var(--border)}.delta-table[data-astro-cid-2yp2h33d] td[data-astro-cid-2yp2h33d]{padding:.9rem 1rem;border-bottom:1px solid rgba(167,139,250,.06);vertical-align:top}.delta-table[data-astro-cid-2yp2h33d] tr[data-astro-cid-2yp2h33d]:last-child td[data-astro-cid-2yp2h33d]{border:none}code[data-astro-cid-2yp2h33d]{background:#a78bfa1a;padding:.1em .4em;border-radius:4px;font-family:JetBrains Mono,monospace;font-size:.85em;color:#c4b5fd}@media (max-width:700px){.operator-box[data-astro-cid-2yp2h33d],.stratum[data-astro-cid-2yp2h33d]{grid-template-columns:1fr}}