.prose h2{font-family:var(--font-sans);color:var(--color-text);letter-spacing:-.03em;border-bottom:1px solid var(--color-border);margin:48px 0 16px;padding-bottom:8px;font-size:28px;font-weight:300}.prose h2:first-of-type{margin-top:0}.prose p{font-family:var(--font-sans);color:var(--color-text-secondary);margin-bottom:16px;font-size:16px;line-height:1.7}.prose p strong{color:var(--color-text);font-weight:500}.prose p.p-highlight{border-left:3px solid var(--color-accent);color:var(--color-text);background:#2c6bff0a;border-radius:0 6px 6px 0;margin:40px 0 24px;padding:20px 24px;font-size:16px;line-height:1.7}.prose a:not([class*=rounded-full]){color:var(--color-accent);text-decoration:none}.prose a:not([class*=rounded-full]):hover{text-decoration:underline}.prose .quote-lead{font-family:var(--font-sans);color:var(--color-text-muted);margin:32px 0 12px;font-size:13px;font-style:italic;line-height:1.5}.prose .quote-lead+blockquote{margin-top:0}.prose blockquote{border-left:3px solid var(--color-accent);font-family:var(--font-sans);color:var(--color-text);letter-spacing:-.01em;margin:32px 0;padding:4px 0 4px 20px;font-size:18px;font-weight:300;line-height:1.5}.prose blockquote p{color:var(--color-text);margin-bottom:8px;font-size:18px}.prose blockquote cite{color:var(--color-text-muted);margin-top:12px;font-size:13px;font-style:normal;font-weight:400;display:block}.prose figure{margin:40px 0}.prose figure img{border:1px solid var(--color-border);border-radius:8px;width:100%;height:auto;display:block}.prose figcaption{font-family:var(--font-sans);color:var(--color-text-muted);text-align:center;margin-top:12px;font-size:13px;font-style:italic;line-height:1.5}.prose figure.figure-float-right{float:right;max-width:42%;margin:6px 0 16px 28px}.prose figure.figure-float-left{float:left;max-width:42%;margin:6px 28px 16px 0}.prose pre,.prose h2,.prose blockquote,.prose figure:not(.figure-float-right):not(.figure-float-left){clear:both}@media (width<=640px){.prose figure.figure-float-right,.prose figure.figure-float-left{float:none;max-width:100%;margin:32px 0}}.prose h3{font-family:var(--font-sans);color:var(--color-text);margin:32px 0 12px;font-size:18px;font-weight:500}.prose ul,.prose ol{font-family:var(--font-sans);color:var(--color-text-secondary);margin-bottom:16px;padding-left:1.5rem;font-size:16px;line-height:1.7}.prose li{margin-bottom:8px}.prose li strong{color:var(--color-text);font-weight:500}.prose li em{font-style:italic}.prose li a{color:var(--color-accent);text-decoration:none}.prose li a:hover{text-decoration:underline}.prose .stats-grid{grid-template-columns:repeat(3,1fr);gap:1rem;margin:2rem 0;display:grid}.prose .stat-card{border:1px solid var(--color-border);text-align:center;background:#fff;border-radius:12px;padding:1.2rem}.prose .stat-number{font-family:var(--font-sans);color:var(--color-text);letter-spacing:-.02em;font-size:1.8rem;font-weight:300}.prose .stat-label{font-family:var(--font-sans);color:var(--color-text-muted);margin-top:.25rem;font-size:.78rem;line-height:1.4}@media (width<=640px){.prose .stats-grid{grid-template-columns:1fr}}.prose .katex-display{margin:1.5rem 0;overflow-x:hidden}.prose pre{background:#0f1c3f;border-radius:8px;margin:32px 0;padding:20px 24px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:13.5px;line-height:1.6;overflow-x:auto}.prose pre code{color:#e6edff;font-family:inherit;font-size:inherit;white-space:pre;background:0 0;padding:0}.prose :not(pre)>code{color:var(--color-text);background:#2c6bff14;border-radius:4px;padding:2px 6px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.9em}.math-card{border:1px solid var(--color-border);border-left:3px solid var(--color-accent);background:#fff;border-radius:8px;margin:1.5rem 0;padding:1.25rem 1.5rem}.math-card-eq{color:var(--color-text);margin-bottom:0;font-size:1.1rem}.math-card-eq .katex-display{margin:.5rem 0}.math-card-note{line-height:1.6;color:var(--color-text-muted)!important;margin-bottom:0!important;font-size:14px!important}.math-card-lean{border-top:1px solid var(--color-border);margin-top:.75rem;padding-top:.5rem}.math-card-lean summary{font-family:var(--font-sans);color:var(--color-accent);cursor:pointer;user-select:none;font-size:13px;font-weight:500}.math-card-lean pre{border:1px solid var(--color-border)!important;background:#f4f6fb!important;border-radius:6px!important;margin:.5rem 0 0!important;padding:14px 18px!important;font-size:12.5px!important}.math-card-lean pre code{color:var(--color-text)!important}.prose .code-card{border-radius:10px;margin:32px 0;overflow:hidden;box-shadow:0 20px 40px -24px #0f1c3f47,0 3px 12px -6px #0f1c3f1f}.prose .code-card pre{box-shadow:none;border:none;border-radius:0;margin:0}.code-card-head{background:#0b1530;border-bottom:1px solid #ffffff12;align-items:center;padding:9px 14px 8px;display:flex}.code-card-dots{gap:7px;display:inline-flex}.code-card .dot{border-radius:50%;width:11px;height:11px;display:inline-block}.code-card .dot-red{background:#ff5f57}.code-card .dot-yellow{background:#ffbd2e}.code-card .dot-green{background:#28ca42}.code-card-lang{font-family:var(--font-mono,ui-monospace, SFMono-Regular, Menlo, monospace);letter-spacing:.06em;text-transform:uppercase;color:#ffffff80;margin-left:12px;font-size:11.5px;font-weight:500}.code-card-copy{color:#fff6;cursor:pointer;background:0 0;border:none;border-radius:6px;align-items:center;margin-left:auto;padding:4px;transition:color .16s,background .16s;display:inline-flex}.code-card-copy:hover{color:#ffffffe6;background:#ffffff14}.code-card-copy .icon-check{color:#7ee8c8;display:none}.code-card-copy.copied .icon-copy{display:none}.code-card-copy.copied .icon-check{display:inline-flex}.lean-kw{color:#7c3aed;font-weight:500}.lean-type{color:#1f4e79}.lean-comment{color:#8a8278;font-style:italic}.lean-string{color:#047857}.lean-number{color:#b45309}.lean-tactic{color:#9333ea}.lean-attr{color:#8a8278}.lean-op{color:#c2410c}.prose pre code.language-lean{color:#e6edff}.prose pre code.language-lean .lean-kw{color:#c4b5fd;font-weight:500}.prose pre code.language-lean .lean-type{color:#93c5fd}.prose pre code.language-lean .lean-comment{color:#93a0b8;font-style:italic}.prose pre code.language-lean .lean-string{color:#6ee7b7}.prose pre code.language-lean .lean-number{color:#fcd34d}.prose pre code.language-lean .lean-tactic{color:#d8b4fe}.prose pre code.language-lean .lean-attr{color:#93a0b8}.prose pre code.language-lean .lean-op{color:#fdba74}.prose pre code .tok-kw{color:#c4b5fd;font-weight:500}.prose pre code .tok-type{color:#93c5fd}.prose pre code .tok-fn{color:#7dd3fc}.prose pre code .tok-str{color:#6ee7b7}.prose pre code .tok-comment{color:#93a0b8;font-style:italic}.prose pre code .tok-num{color:#fcd34d}