.prose{font-family:var(--font-body);font-size:1rem;line-height:1.7;color:var(--fg)}.prose>:first-child{margin-top:0}.prose>:last-child{margin-bottom:0}.prose h2,.prose h3,.prose h4{color:var(--fg);font-weight:600;line-height:1.3;letter-spacing:-.01em;scroll-margin-top:6rem}.prose h2{margin:2.5rem 0 .75rem;font-size:1.5rem}.prose h3{margin:2rem 0 .5rem;font-size:1.2rem}.prose h4{margin:1.5rem 0 .5rem;font-size:1.05rem}.prose p{margin:0 0 1rem}.prose ul,.prose ol{margin:0 0 1rem;padding-left:1.25rem}.prose li{margin:.25rem 0}.prose li::marker{color:var(--muted)}.prose a{color:var(--accent);text-underline-offset:2px}.prose hr{margin:2.5rem 0;border:0;border-top:1px solid var(--border)}.prose details{margin:1.25rem 0;padding:.75rem 1rem;border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface)}.prose details[open] summary{margin-bottom:.75rem}.prose details>:last-child{margin-bottom:0}.prose summary{cursor:pointer;font-weight:600;color:var(--fg)}.prose summary:hover{color:var(--accent)}.prose summary::marker{color:var(--muted)}.prose pre{padding:.875rem 1rem;overflow:auto;max-height:600px;border-radius:var(--radius-lg);border:1px solid var(--border);background:var(--code-bg);font-size:.8125rem;line-height:1.6}.prose .expressive-code{margin:1.5rem 0}.prose .expressive-code pre{max-height:600px}.prose :not(pre)>code{font-family:var(--font-display);font-size:.85em;padding:.15em .35em;border:1px solid var(--border);border-radius:var(--radius);background:var(--card)}.prose table{display:block;width:100%;overflow-x:auto;margin:1.5rem 0;border-collapse:collapse;font-size:.9375rem}.prose th,.prose td{padding:.5rem .75rem;border:1px solid var(--border);text-align:left}.prose th{background:var(--card);font-weight:600}.prose blockquote{margin:1.25rem 0;padding:.75rem 1rem;border-left:3px solid var(--accent);background:var(--accent-soft);border-radius:0 var(--radius-lg) var(--radius-lg) 0;font-style:italic;color:var(--fg)}.prose blockquote :first-child{margin-top:0}.prose blockquote :last-child{margin-bottom:0}.prose .callout{margin:1.25rem 0;padding:.75rem 1rem;border-left:3px solid var(--muted);background:var(--surface);border-radius:0 var(--radius-lg) var(--radius-lg) 0;color:var(--fg)}.prose .callout>:first-child{margin-top:0}.prose .callout>:last-child{margin-bottom:0}.prose .callout .callout{margin:.75rem 0}.prose .callout-title{display:flex;align-items:baseline;gap:.4em;margin:0 0 .35rem;font-family:var(--font-display)}.prose .callout-label{font-weight:700}.prose .callout-name{font-weight:400;color:var(--fg)}.prose .callout-name:before{content:"("}.prose .callout-name:after{content:")"}.prose .callout-family-assertion{border-left-color:var(--accent);background:var(--accent-soft)}.prose .callout-family-assertion .callout-label{color:var(--accent)}.prose .callout-family-support{border-left-color:var(--border-strong);background:var(--surface)}.prose .callout-family-support .callout-label{color:var(--muted)}.prose .callout-family-aside{border-left-color:var(--muted);background:var(--surface)}.prose .callout-family-aside .callout-label{color:var(--muted)}.prose .callout-note{border-left-color:var(--callout-note);background:color-mix(in srgb,var(--callout-note) 10%,var(--bg))}.prose .callout-note .callout-label{color:var(--callout-note)}.prose .callout-tip{border-left-color:var(--callout-tip);background:color-mix(in srgb,var(--callout-tip) 10%,var(--bg))}.prose .callout-tip .callout-label{color:var(--callout-tip)}.prose .callout-important{border-left-color:var(--callout-important);background:color-mix(in srgb,var(--callout-important) 10%,var(--bg))}.prose .callout-important .callout-label{color:var(--callout-important)}.prose .callout-warning{border-left-color:var(--callout-warning);background:color-mix(in srgb,var(--callout-warning) 10%,var(--bg))}.prose .callout-warning .callout-label{color:var(--callout-warning)}.prose .callout-caution{border-left-color:var(--callout-caution);background:color-mix(in srgb,var(--callout-caution) 10%,var(--bg))}.prose .callout-caution .callout-label{color:var(--callout-caution)}.prose details.callout>summary.callout-title{cursor:pointer;list-style:none}.prose details.callout>summary.callout-title::-webkit-details-marker{display:none}.prose details.callout>summary.callout-title:before{content:"";display:inline-block;width:.4em;height:.4em;margin-right:.5em;border-style:solid;border-color:currentColor;border-width:0 .14em .14em 0;opacity:.6;transform:rotate(-45deg);transition:transform .15s ease;vertical-align:middle}.prose details.callout[open]>summary.callout-title:before{transform:rotate(45deg)}.prose details.callout>summary.callout-title:focus-visible{outline:var(--focus-ring);outline-offset:var(--focus-ring-offset)}.prose .callout-qed{float:right;margin:0;font-family:var(--font-display);font-weight:700}@media print{.prose details.callout{display:block}.prose details.callout>*:not(summary){display:block}}.prose figure:has(img){margin:1.5rem 0;text-align:center}.prose figure img{max-width:100%;height:auto;border-radius:var(--radius-lg);border:1px solid var(--border);cursor:zoom-in}.prose figure:has(img) figcaption{margin-top:.5rem;font-family:var(--font-body);font-size:.9rem;color:var(--muted);font-style:italic}.prose .heading-anchor{margin-left:.5rem;color:var(--muted);opacity:0;text-decoration:none;transition:opacity .15s}.prose h2:hover .heading-anchor,.prose h3:hover .heading-anchor,.prose h4:hover .heading-anchor{opacity:1}.prose .mermaid{display:flex;justify-content:center;margin:1.5rem 0;padding:1rem;background:var(--card);border:1px solid var(--border);border-radius:var(--radius-lg);overflow-x:auto}html[data-mode=dark] .prose .mermaid text{fill:var(--fg)!important}html[data-mode=dark] .prose .mermaid path,html[data-mode=dark] .prose .mermaid line,html[data-mode=dark] .prose .mermaid rect:not([fill=none]){stroke:var(--fg)}