.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 .pullquote-card{font-family:var(--font-sans);color:var(--color-text);background:linear-gradient(#f8faff,#f2f6fe);border:1px solid #2c6bff29;border-radius:14px;margin:2rem 0;padding:26px 30px;font-size:19px;font-weight:300;line-height:1.55;box-shadow:0 1px 2px #0f1c3f0a,0 10px 28px -14px #0f1c3f1a}.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 .table-wrap{border:1px solid var(--color-border);border-radius:12px;margin:2rem 0;overflow:hidden}.prose table{border-collapse:collapse;width:100%;font-family:var(--font-sans);font-variant-numeric:tabular-nums;font-size:14px}.prose thead th{text-align:left;text-transform:uppercase;letter-spacing:.04em;color:var(--color-text-muted);white-space:nowrap;border-bottom:1px solid var(--color-border);background:#f4f6fb;padding:12px 16px;font-size:11.5px;font-weight:500}.prose tbody td{border-bottom:1px solid var(--color-border);color:var(--color-text);vertical-align:top;padding:12px 16px}.prose tbody tr:last-child td{border-bottom:none}.prose tbody tr.table-total td{background:#f8faff;font-weight:500}.prose table.metric-table tbody td:last-child{color:var(--color-accent);font-weight:500}.prose table.metric-table--noaccent tbody td:last-child{color:inherit;font-weight:inherit}.prose .example-card{background:#fff;border:1px solid #e3e8f2;border-radius:14px;margin:1.75rem 0;overflow:hidden;box-shadow:0 1px 2px #0f1c3f0a,0 10px 28px -14px #0f1c3f24}.prose .example-domain{font-family:var(--font-sans);color:var(--color-text);background:linear-gradient(#f8fafd,#f1f4fa);border-bottom:1px solid #e9edf5;align-items:center;gap:10px;padding:13px 20px;font-size:14.5px;font-weight:600;display:flex}.prose .example-badge{font-family:var(--font-mono,ui-monospace, monospace);text-transform:uppercase;letter-spacing:.08em;color:var(--color-accent);vertical-align:middle;background:#e8efff;border:1px solid #2c6bff2e;border-radius:999px;flex-shrink:0;margin-right:0;padding:3px 10px;font-size:10.5px;font-weight:600;display:inline-block}.prose .example-block{grid-template-columns:72px 1fr;gap:16px;padding:15px 20px;display:grid}.prose .example-block--full{display:block}.prose .example-card--case .example-block+.example-block{border-top:none}.prose .example-card--case .example-block--full{padding:10px 22px}.prose .example-card--case .example-block--full:first-of-type{padding-top:18px}.prose .example-card--case .example-block--full:last-of-type{padding-bottom:20px}.prose .example-verdicts{box-shadow:inset 3px 0 0 var(--color-accent);background:#f6f9ff;margin:8px 0;padding:14px 22px!important}.prose .example-scenario-panel{background:#fafbfe;border:1px solid #eef1f7;border-radius:10px;margin-top:4px;padding:12px 16px}.prose .case-line{font-family:var(--font-mono,ui-monospace, monospace);color:#5a6478;text-indent:-1.2em;padding:2.5px 0 2.5px 1.2em;font-size:12.5px;line-height:1.55}.prose .case-line--op{color:#2a3550}.prose .case-op{color:var(--color-accent);font-weight:700}.prose .case-group{font-family:var(--font-mono,ui-monospace, monospace);text-transform:uppercase;letter-spacing:.1em;color:#98a2b6;border-top:1px dashed #e3e8f2;margin:10px 0 4px;padding-top:10px;font-size:10px;font-weight:600}.prose .verdict-row{flex-wrap:wrap;align-items:center;gap:8px;margin-top:9px;display:flex}.prose .verdict-name{color:var(--color-text);flex-shrink:0;width:96px;font-size:12.5px;font-weight:600}.prose .verdict-pill{font-family:var(--font-mono,ui-monospace, monospace);color:#3a4560;background:#edf1f8;border:1px solid #e0e6f0;border-radius:999px;padding:5px 11px;font-size:12px;line-height:1}.prose .verdict-pill--diff{color:#7a4b12;background:#fff4e5;border-color:#f0d9b5;font-weight:600}.prose .example-seglabel{font-family:var(--font-mono,ui-monospace, monospace);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);margin-bottom:5px;font-size:11px;font-weight:500}.prose .example-block+.example-block{border-top:1px solid #edf0f7}.prose .example-answer{box-shadow:inset 3px 0 0 var(--color-accent);background:#f8faff}.prose .example-label{font-family:var(--font-mono,ui-monospace, monospace);text-transform:uppercase;letter-spacing:.06em;color:var(--color-text-muted);padding-top:3px;font-size:11px}.prose .example-answer .example-label{color:var(--color-accent)}.prose .example-body{color:var(--color-text);font-size:14.5px;line-height:1.65}@media (width<=640px){.prose .example-block{grid-template-columns:1fr;gap:5px}}.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}