// 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;