HighlightTheme

HighlightTheme = { definition: EditorTheme; format: "editor"; name?: string; } | { definition: VscodeThemeRegistration; format: "vscode"; }

Theme data for a highlight: an Editor palette or an imported VS Code theme.