From 3ae0c90209c4aeacc3f8a7958e943361097a272d Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Wed, 21 Oct 2015 21:18:30 +0200
Subject: add support for Firefox 38 esr

---
 .../chrome/browser/devtools/common.css             | 44 +---------------------
 1 file changed, 1 insertion(+), 43 deletions(-)

(limited to 'arc-firefox-theme/chrome/browser/devtools/common.css')

diff --git a/arc-firefox-theme/chrome/browser/devtools/common.css b/arc-firefox-theme/chrome/browser/devtools/common.css
index 0a655c7..0686832 100644
--- a/arc-firefox-theme/chrome/browser/devtools/common.css
+++ b/arc-firefox-theme/chrome/browser/devtools/common.css
@@ -1,19 +1,13 @@
 
 :root {
   font: message-box;
-  --monospace-font-family: monospace;
 }
 
 .devtools-monospace {
-  font-family: var(--monospace-font-family);
+  font-family: monospace;
   font-size: 80%;
 }
 
-/* Bottom-docked toolbox minimize transition */
-.devtools-toolbox-bottom-iframe {
-  transition: margin-bottom .1s;
-}
-
 /* Splitters */
 .devtools-horizontal-splitter {
   -moz-appearance: none;
@@ -40,11 +34,6 @@
   cursor: e-resize;
 }
 
-.devtools-horizontal-splitter.disabled,
-.devtools-side-splitter.disabled {
-  pointer-events: none;
-}
-
 .devtools-toolbox-side-iframe {
   min-width: 465px;
 }
@@ -241,34 +230,3 @@
   background-color: transparent;
   border: none;
 }
-
-/* links to source code, like displaying `myfile.js:45` */
-
-.devtools-source-link {
-  font-family: var(--monospace-font-family);
-  color: var(--theme-highlight-blue);
-  cursor: pointer;
-  white-space: nowrap;
-  display: flex;
-  text-decoration: none;
-  font-size: 11px;
-  width: 12em; /* probably should be changed for each tool */
-}
-
-.devtools-source-link:hover {
-  text-decoration: underline;
-}
-
-.devtools-source-link > .filename {
-  text-overflow: ellipsis;
-  text-align: end;
-  overflow: hidden;
-  margin: 2px 0px;
-  cursor: pointer;
-}
-
-.devtools-source-link > .line-number {
-  flex: none;
-  margin: 2px 0px;
-  cursor: pointer;
-}
-- 
cgit v1.2.3