.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:has(code.language-lean){border:1px solid var(--color-border);background:#f4f6fb}.prose pre code{color:#e6edff;font-family:inherit;font-size:inherit;white-space:pre;background:0 0;padding:0}.prose pre code.language-lean{color:var(--color-text)}.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}.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}