.wf-article{--prose-wide:52rem;overflow-wrap:break-word}.wf-article>:first-child{margin-top:0}.wf-article h2{border-top:1px solid var(--color-line);padding-top:1.6rem;position:relative}.wf-article h2:before{content:"";border:1px solid var(--color-line-strong);background:var(--color-canvas);width:7px;height:7px;position:absolute;top:-4px;left:0}.wf-article h2+*,.wf-article h3+*{margin-top:.9em}.wf-article>.wf-code,.wf-article>.wf-wide,.wf-article>table{max-width:min(100%, var(--prose-wide))}.wf-article>p:has(>img:only-child){max-width:min(100%, var(--prose-wide))}.wf-article>.wf-code,.wf-article>.wf-wide,.wf-article>.wf-callout{margin-block:2.25rem}.wf-article>.wf-callout+.wf-callout{margin-top:1rem}.wf-article>p:has(>img:only-child) img{background:var(--color-panel);width:100%;margin-inline:0}.wf-article img{margin-block:.5rem}.wf-article table{border:1px solid var(--color-line)}.wf-article tr:last-child td{border-bottom:0}.wf-article td:first-child{color:var(--color-fg);white-space:nowrap;font-weight:500}.wf-article td.wf-nowrap{white-space:nowrap}.wf-article td a{-webkit-text-decoration-color:var(--color-accent-line);text-decoration-color:var(--color-accent-line)}.wf-article .not-prose a,.wf-article a.wf-reset{color:revert-layer;-webkit-text-decoration:revert-layer;text-decoration:revert-layer;transition:revert-layer}.wf-article .not-prose ul,.wf-article .not-prose ol{padding-left:revert-layer;list-style:revert-layer}.wf-article .not-prose li+li{margin-top:revert-layer}.wf-article .not-prose :not(pre)>code{padding:revert-layer;border:revert-layer;background:revert-layer;color:revert-layer}.prose-wf a.research-cve-badge{border:1px solid var(--color-accent-line);border-radius:var(--radius-key);background:var(--color-accent-soft);color:var(--color-accent-text);font-family:var(--font-mono);font-variant-numeric:tabular-nums;letter-spacing:-.01em;vertical-align:.1em;white-space:nowrap;align-items:center;gap:.4em;margin-inline:.08em;padding:.05rem .45rem;font-size:.74em;font-weight:500;line-height:1.55;text-decoration:none;transition:border-color .12s,background-color .12s,color .12s;display:inline-flex}.prose-wf a.research-cve-badge:before{content:"";background:var(--color-crit);width:.4em;height:.4em}.prose-wf a.research-cve-badge:hover{border-color:var(--color-accent);color:var(--color-fg)}.markdown-content.prose-wf{--prose-measure:46rem;color:var(--md-color,var(--color-fg-2));font-size:var(--md-size,1rem);overflow-wrap:break-word;line-height:1.7}.markdown-content.prose-wf>*+*{margin-top:1em}.markdown-content.prose-wf>:first-child{margin-top:0}.markdown-content.prose-wf>.wf-code,.markdown-content.prose-wf>table{max-width:100%}.markdown-content.prose-wf>.wf-code{margin-block:1.25em}.markdown-content.prose-wf h2{margin-top:1.8em;font-size:1.2em}.markdown-content.prose-wf h3{margin-top:1.6em;font-size:1.05em}.markdown-content.prose-wf li>p+p{margin-top:.6em}.hljs-section,.hljs-name,.hljs-selector-id,.hljs-selector-class,.hljs-doctag,.hljs-formula{color:var(--color-accent-text)}.hljs-regexp,.hljs-template-variable,.hljs-selector-attr,.hljs-selector-pseudo{color:var(--color-high)}.hljs-bullet,.hljs-link,.hljs-subst{color:var(--color-fg-2)}.hljs-attribute{color:var(--color-ok)}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:600}.hljs-link{text-decoration:underline}.language-lean .hljs-operator,.language-lean4 .hljs-operator{color:var(--color-accent-text)}.language-lean .hljs-sorry,.language-lean4 .hljs-sorry{color:var(--color-crit)}