.page-hero[data-astro-cid-pp7dhkxn]{padding:5rem 0 3rem;border-bottom:1px solid var(--border);background:radial-gradient(ellipse 70% 50% at 50% -10%,rgba(139,111,196,.1) 0%,transparent 70%)}.badge-row[data-astro-cid-pp7dhkxn]{display:flex;gap:.5rem;flex-wrap:wrap}.badge--filed[data-astro-cid-pp7dhkxn]{background:#8b6fc41f;color:var(--accent);border-color:#8b6fc459;font-family:var(--font-mono);letter-spacing:.05em}.hero-sub[data-astro-cid-pp7dhkxn]{font-size:1.1rem;color:var(--text-muted);margin-top:.25rem;max-width:none}.doc-meta[data-astro-cid-pp7dhkxn]{display:flex;flex-wrap:wrap;gap:.4rem;font-size:.8rem;color:var(--text-muted);margin-top:1rem;font-family:var(--font-mono)}.sep[data-astro-cid-pp7dhkxn]{opacity:.4}.nav-bar[data-astro-cid-pp7dhkxn]{border-bottom:1px solid var(--border);background:var(--surface)}.nav-row[data-astro-cid-pp7dhkxn]{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.75rem 0}.back-link[data-astro-cid-pp7dhkxn]{font-size:.85rem;font-weight:500;color:var(--text-muted);transition:color .15s}.back-link[data-astro-cid-pp7dhkxn]:hover{color:var(--text)}.doc-container[data-astro-cid-pp7dhkxn]{max-width:820px}.abstract-block[data-astro-cid-pp7dhkxn]{padding:1.6rem;background:var(--surface);border:1px solid var(--border);border-left:3px solid var(--accent-dim);border-radius:var(--radius)}.abstract-label[data-astro-cid-pp7dhkxn]{font-size:.65rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase;color:var(--accent);margin-bottom:1rem}.doc-p--thesis[data-astro-cid-pp7dhkxn]{font-style:italic;font-weight:500;border-top:1px solid var(--border);padding-top:.85rem;margin-top:.85rem}.doc-hr[data-astro-cid-pp7dhkxn]{border:none;border-top:1px solid var(--border);margin:2.5rem 0}.doc-h2[data-astro-cid-pp7dhkxn]{font-size:1.2rem;font-weight:700;color:var(--text);margin-bottom:1.25rem;letter-spacing:-.01em}.section-num[data-astro-cid-pp7dhkxn]{color:var(--accent);margin-right:.4rem;font-family:var(--font-mono);font-size:.95em}.doc-h3[data-astro-cid-pp7dhkxn]{font-size:1rem;font-weight:700;color:var(--text);margin-bottom:.75rem}.mt-3[data-astro-cid-pp7dhkxn]{margin-top:1.5rem}.doc-p[data-astro-cid-pp7dhkxn]{font-size:.925rem;line-height:1.75;color:var(--text);max-width:none;margin-bottom:.85rem}.doc-p[data-astro-cid-pp7dhkxn]:last-child{margin-bottom:0}.doc-ul[data-astro-cid-pp7dhkxn]{list-style:none;display:flex;flex-direction:column;gap:.45rem;margin:.75rem 0;padding:0}.doc-ul[data-astro-cid-pp7dhkxn] li[data-astro-cid-pp7dhkxn]{font-size:.9rem;line-height:1.6;color:var(--text);padding-left:1.25rem;position:relative}.doc-ul[data-astro-cid-pp7dhkxn] li[data-astro-cid-pp7dhkxn]:before{content:"—";position:absolute;left:0;color:var(--accent-dim)}.definition-block[data-astro-cid-pp7dhkxn]{margin:1.1rem 0;padding:1rem 1.25rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius)}.definition-label[data-astro-cid-pp7dhkxn]{font-size:.8rem;font-weight:700;color:var(--accent);margin-bottom:.5rem;font-family:var(--font-mono)}.definition-block[data-astro-cid-pp7dhkxn] .doc-p[data-astro-cid-pp7dhkxn]{margin-bottom:0}.theorem-block[data-astro-cid-pp7dhkxn]{margin:1.1rem 0;padding:1rem 1.25rem;border-left:3px solid var(--accent-dim);background:var(--surface);border-radius:0 var(--radius) var(--radius) 0}.theorem-block--proof[data-astro-cid-pp7dhkxn]{border-left-color:var(--border);background:transparent}.theorem-label[data-astro-cid-pp7dhkxn]{font-size:.8rem;font-weight:700;color:var(--accent);margin-bottom:.5rem;font-family:var(--font-mono)}.theorem-block[data-astro-cid-pp7dhkxn] .doc-p[data-astro-cid-pp7dhkxn]{margin-bottom:0}.doc-blockquote[data-astro-cid-pp7dhkxn]{margin:1.25rem 0;padding:1rem 1.4rem;border-left:3px solid var(--accent);background:var(--surface);border-radius:0 var(--radius) var(--radius) 0;font-size:.95rem;line-height:1.7;color:var(--text);font-style:italic}.doc-blockquote--formula[data-astro-cid-pp7dhkxn]{font-style:normal;font-family:var(--font-mono);font-size:.875rem}.distinction-block[data-astro-cid-pp7dhkxn]{display:flex;flex-direction:column;gap:1rem;margin:1.25rem 0;padding:1.25rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius)}.distinction-key[data-astro-cid-pp7dhkxn]{font-size:.75rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.4rem}.distinction-item[data-astro-cid-pp7dhkxn] .doc-p[data-astro-cid-pp7dhkxn]{margin-bottom:.4rem}.clause-block[data-astro-cid-pp7dhkxn]{display:flex;flex-direction:column;gap:1rem;margin-top:1.25rem}.clause[data-astro-cid-pp7dhkxn]{display:flex;gap:1.25rem;align-items:flex-start;padding:1rem 1.25rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);border-left:3px solid var(--accent-dim)}.clause[data-astro-cid-pp7dhkxn]:hover{border-left-color:var(--accent)}.clause-num[data-astro-cid-pp7dhkxn]{font-family:var(--font-mono);font-size:.72rem;font-weight:700;color:var(--accent);flex-shrink:0;margin-top:.15rem;min-width:4.5rem;white-space:nowrap}.clause-title[data-astro-cid-pp7dhkxn]{font-size:.875rem;font-weight:700;color:var(--text);margin-bottom:.4rem}.clause[data-astro-cid-pp7dhkxn] .doc-p[data-astro-cid-pp7dhkxn]{margin-bottom:0}.table-wrap[data-astro-cid-pp7dhkxn]{overflow-x:auto;margin:1.25rem 0}.doc-table[data-astro-cid-pp7dhkxn]{width:100%;border-collapse:collapse;font-size:.875rem}.doc-table[data-astro-cid-pp7dhkxn] th[data-astro-cid-pp7dhkxn]{text-align:left;font-size:.65rem;font-weight:700;letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);padding:.6rem .9rem;border-bottom:1px solid var(--border);background:var(--surface)}.doc-table[data-astro-cid-pp7dhkxn] td[data-astro-cid-pp7dhkxn]{padding:.65rem .9rem;border-bottom:1px solid var(--border);color:var(--text);line-height:1.55}.doc-table[data-astro-cid-pp7dhkxn] tr[data-astro-cid-pp7dhkxn]:last-child td[data-astro-cid-pp7dhkxn]{border-bottom:none}.mono[data-astro-cid-pp7dhkxn]{font-family:var(--font-mono)}.small[data-astro-cid-pp7dhkxn]{font-size:.78rem}.conclusion-list[data-astro-cid-pp7dhkxn]{display:flex;flex-direction:column;gap:.85rem;margin:1.25rem 0}.conclusion-item[data-astro-cid-pp7dhkxn]{display:flex;gap:1.1rem;align-items:flex-start}.conclusion-num[data-astro-cid-pp7dhkxn]{font-family:var(--font-mono);font-size:.85rem;font-weight:700;color:var(--accent);flex-shrink:0;margin-top:.2rem;min-width:1.25rem}.conclusion-item[data-astro-cid-pp7dhkxn] .doc-p[data-astro-cid-pp7dhkxn]{margin-bottom:0}.thesis-block[data-astro-cid-pp7dhkxn]{margin-top:1.5rem;padding:1.25rem 1.6rem;background:linear-gradient(135deg,var(--surface) 0%,rgba(139,111,196,.08) 100%);border:1px solid rgba(139,111,196,.35);border-radius:var(--radius);font-size:1rem;color:var(--text);line-height:1.6}.doc-attribution[data-astro-cid-pp7dhkxn]{margin-top:2.5rem;padding-top:1.5rem;border-top:1px solid var(--border);font-size:.875rem;color:var(--text-muted);font-style:italic}.filing-note[data-astro-cid-pp7dhkxn]{font-size:.75rem;color:var(--text-muted);margin-top:.5rem;max-width:none;opacity:.8}.strip[data-astro-cid-pp7dhkxn]{background:var(--surface);border-top:1px solid var(--border);border-bottom:1px solid var(--border)}.footer-strip[data-astro-cid-pp7dhkxn]{display:flex;align-items:center;justify-content:space-between;gap:2rem;flex-wrap:wrap;padding:1rem 0}