// BrandInline — renders text, replacing {{LOGO}} tokens with an inline mini-logo. // Used so body copy shows the logo wherever we would have written "devxnet". function BrandInline({ children, size = 14 }) { if (typeof children !== "string") return <>{children}; const parts = children.split(/(\{\{LOGO\}\})/g); return ( <> {parts.map((p, i) => { if (p === "{{LOGO}}") { return ( dev×net ); } return {p}; })} ); } window.BrandInline = BrandInline;