1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
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
}
|
