import * as React from "react";
function extraScript(src: string): React.ReactElement {
return ;
}
export function TopLevelPage(props: {
bodyContent: React.ReactElement,
pageTitle?: string,
extraScripts?: string[],
}): React.ReactElement {
return
{props.pageTitle || "Atomist Explorer"}
{(props.extraScripts || []).map(extraScript)}
{props.pageTitle || "Atomist Explorer"}
{props.bodyContent}
;
}