add support for Firefox 38 esr

1 files changed, 1 insertions, 43 deletions

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;
-}