|
|
@@ -44,7 +44,7 @@ const addEventListener = (type, listener, options) => globalThis.addEventListene
|
|
|
const dispatchEvent = event => globalThis.dispatchEvent(event);
|
|
|
const CustomEvent = globalThis.CustomEvent;
|
|
|
const document = globalThis.document;
|
|
|
-const HTMLDocument = globalThis.HTMLDocument;
|
|
|
+const Document = globalThis.Document;
|
|
|
|
|
|
let fontFaces;
|
|
|
if (window._singleFile_fontFaces) {
|
|
|
@@ -53,7 +53,7 @@ if (window._singleFile_fontFaces) {
|
|
|
fontFaces = window._singleFile_fontFaces = new Map();
|
|
|
}
|
|
|
|
|
|
-if (document instanceof HTMLDocument) {
|
|
|
+if (document instanceof Document) {
|
|
|
if (browser && browser.runtime && browser.runtime.getURL) {
|
|
|
addEventListener(NEW_FONT_FACE_EVENT, event => {
|
|
|
const detail = event.detail;
|