import type { ReactNode } from "react"; /** A block of a plugins page: its header, then its content one fixed gap below. */ export function PluginSection({ id, labelledBy, className = "", children, }: { id?: string; labelledBy?: string; className?: string; children: ReactNode; }) { return (
{children}
); } /** A section's title with its trailing controls on one baseline. */ export function PluginSectionHeader({ children }: { children: ReactNode }) { return (
{children}
); } export function PluginSectionTitle({ id, children }: { id: string; children: ReactNode }) { return (

{children}

); }