DEFAULT_DARK_THEME: monacoEditorAPI.IStandaloneThemeData = ...