1 files changed, 0 insertions, 45 deletions
diff --git a/www/firefox/files/patch-bug948946 b/www/firefox/files/patch-bug948946
deleted file mode 100644
index 531fc19f8b46..000000000000
--- a/www/firefox/files/patch-bug948946
+++ /dev/null
@@ -1,45 +0,0 @@
-diff --git browser/themes/shared/devtools/common.css browser/themes/shared/devtools/common.css
-index a8208dc..df70486 100644
---- browser/themes/shared/devtools/common.css
-+++ browser/themes/shared/devtools/common.css
-@@ -11,13 +11,13 @@
- .devtools-monospace {
- %ifdef XP_MACOSX
-   font-family: Menlo, monospace;
--%endif
--%ifdef XP_LINUX
-+%elifdef XP_WIN
-+  font-family: Consolas, monospace;
-+%else
-   font-family: monospace;
--  font-size: 80%;
- %endif
--%ifdef XP_WIN
--  font-family: Consolas, monospace;
-+%if defined(MOZ_WIDGET_GTK) || defined(MOZ_WIDGET_QT)
-+  font-size: 80%;
- %endif
- }
- 
-@@ -62,7 +62,7 @@
-   background-image: linear-gradient(to bottom, hsla(209,18%,18%,0.9), hsl(210,11%,16%));
-   border-radius: 3px;
-   overflow-x: hidden;
--%ifdef XP_LINUX
-+%if defined(MOZ_WIDGET_GTK) || defined(MOZ_WIDGET_QT)
-   max-height: 32rem;
- %else
-   max-height: 40rem;
-diff --git browser/themes/shared/devtools/highlighter.inc.css browser/themes/shared/devtools/highlighter.inc.css
-index 5b881b5..050f78b 100644
---- browser/themes/shared/devtools/highlighter.inc.css
-+++ browser/themes/shared/devtools/highlighter.inc.css
-@@ -54,7 +54,7 @@ html|*.highlighter-nodeinfobar-pseudo-classes {
-   padding: 0;
-   width: 26px;
-   min-height: 26px;
--%ifndef XP_LINUX
-+%if !defined(MOZ_WIDGET_GTK) && !defined(MOZ_WIDGET_QT)
-   background-color: transparent;
- %endif
- }