const darkMdKitEditorTheme: MdKitEditorTheme;