From 873a46f8ee13543ba7557d851b9ab4bc8fb18784 Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Mon, 13 Jun 2016 00:53:05 +0200
Subject: [PATCH] some more devtools improvements: make clear button work in
 newer versions, actually use common.css again, make codemirror background
 black again

---
 LCARStrek/devtools/dark-theme.css | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index cd517051..e99970d9 100644
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -3,6 +3,8 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
+@import url(common.css);
+
 /* Colors are taken from:
  * https://developer.mozilla.org/en-US/docs/Tools/DevToolsColors.
  * Changes should be kept in sync with commandline.css and commandline.inc.css.
@@ -255,7 +257,8 @@ body, html {
  * Best effort to match the existing theme, some of the colors
  * are duplicated here to prevent weirdness in the main theme. */
 
-.CodeMirror { /* Inherit platform specific font sizing and styles */
+.CodeMirror,
+.CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */
   font-family: inherit;
   font-size: inherit;
   background: transparent;
@@ -671,6 +674,18 @@ div.CodeMirror span.eval-text {
   }
 }
 
+:root {
+  --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
+}
+
+.devtools-button.devtools-clear-icon::before {
+  background-image: var(--clear-icon-url);
+}
+
+.devtools-toolbarbutton.devtools-clear-icon {
+  list-style-image: var(--clear-icon-url);
+}
+
 /* Text input */
 
 .devtools-textinput,
-- 
2.43.0