Index: devtools-panel.js |
diff --git a/devtools-panel.js b/devtools-panel.js |
index 3844492ffe055c3b4ff060935d71ef3d73b25aa8..8d7e734ad2209dbd770b9ddce7a3417361b7ac69 100644 |
--- a/devtools-panel.js |
+++ b/devtools-panel.js |
@@ -226,4 +226,10 @@ document.addEventListener("DOMContentLoaded", function() |
break; |
} |
}); |
+ |
+ // Since Chrome 54 the themeName is accessible, for earlier versions we must |
+ // assume the default theme is being used. |
+ // https://bugs.chromium.org/p/chromium/issues/detail?id=608869 |
+ let theme = chrome.devtools.panels.themeName || "default"; |
+ document.body.classList.add(theme); |
}, false); |