| 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); |