OptionalbrandingOptionalincludeOptionalincludeOptionalincludeOptionalincludeEmit the current app theme into the HTML export. When true and
branding.brandTokens is absent, the DEFAULT_EXPORT_THEME_TOKENS
are auto-snapshotted from the live document at export time. Default false —
an unthemed export renders exactly as before (the stylesheet's var()
fallbacks carry the legacy palette).
Gates only the TOKEN auto-snapshot: a supplied branding's logoUrl,
title, and trademark apply whenever branding is present — in HTML AND
in the JSON/markdown/text formats. (The export modal passes branding
through only while its "Include branding" checkbox is on, so in the UI flow
everything travels together.)
OptionalprettyOptionalthemeWhich theme mode the snapshot captures — NOT whichever mode the app happens to be
in when the user clicks Export. Defaults to 'light': an export taken during a
dark session would otherwise bake dark text onto the page's white background and
come out unreadable. 'dark' pairs the dark palette with the dark
--mj-bg-page the body rule applies, so the file is coherent either way.
HTML only — the data formats carry no colors.
Branding (tokens / logo / title) applied to the export — see ExportBranding.