GITHUB_DARK_DIMMED_THEME: IStandaloneThemeData = ...