1 files changed, 0 insertions, 32 deletions
diff --git a/www/firefox/patches/patch-browser_themes_shared_devtools_common.css b/www/firefox/patches/patch-browser_themes_shared_devtools_common.css
deleted file mode 100644
index 7e1a7176526..00000000000
--- a/www/firefox/patches/patch-browser_themes_shared_devtools_common.css
+++ /dev/null
@@ -1,32 +0,0 @@
-$NetBSD: patch-browser_themes_shared_devtools_common.css,v 1.1 2014/03/20 21:02:00 ryoon Exp $
-
---- browser/themes/shared/devtools/common.css.orig	2014-03-15 05:19:09.000000000 +0000
-+++ 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;