diff options
| author | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-22 02:31:00 +0200 |
|---|---|---|
| committer | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-22 02:31:00 +0200 |
| commit | 9e45391482dcbbc45414142bf38d326522a03450 (patch) | |
| tree | 1dab700765620d2a655318ba9fc14ce36ee6cd78 | |
| parent | 0a744b1cfeecdd2487d9166792ac5234edc9ee6a (diff) | |
| download | uxp-9e45391482dcbbc45414142bf38d326522a03450.tar.gz | |
Use preprocessor for "chrome://devtools/skin/devtools-browser.css" in browser.xul
| -rw-r--r-- | browser/base/content/browser.xul | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/browser/base/content/browser.xul b/browser/base/content/browser.xul index 5879f2a294..485471ee37 100644 --- a/browser/base/content/browser.xul +++ b/browser/base/content/browser.xul @@ -9,7 +9,9 @@ <?xml-stylesheet href="chrome://browser/content/browser.css" type="text/css"?> <?xml-stylesheet href="chrome://browser/content/places/places.css" type="text/css"?> <?xml-stylesheet href="chrome://browser/content/usercontext/usercontext.css" type="text/css"?> +#ifdef MOZ_DEVTOOLS <?xml-stylesheet href="chrome://devtools/skin/devtools-browser.css" type="text/css"?> +#endif <?xml-stylesheet href="chrome://browser/skin/controlcenter/panel.css" type="text/css"?> <?xml-stylesheet href="chrome://browser/skin/customizableui/panelUI.css" type="text/css"?> <?xml-stylesheet href="chrome://browser/skin/" type="text/css"?> |