update both themes for browser winstripe changes in the Firefox 18 cycle
[themes.git] / LCARStrek / browser / devtools / commandline.css
... / ...
CommitLineData
1/* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5.gcli-body {
6 margin: 0;
7 font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
8 color: #FF9F00;
9}
10
11#gcli-output-root,
12#gcli-tooltip-root {
13 border: 1px solid #008484;
14 background-color: #000000;
15 border-radius: 3px;
16}
17
18#gcli-output-root {
19 padding: 5px 10px;
20 border-bottom-left-radius: 0;
21 border-bottom-right-radius: 0;
22 border-bottom: 0;
23}
24
25#gcli-tooltip-root {
26 padding: 5px 0px;
27}
28
29#gcli-tooltip-connector {
30 margin-top: -1px;
31 margin-left: 8px;
32 width: 20px;
33 height: 10px;
34 border-left: 1px solid #008484;
35 border-right: 1px solid #008484;
36 background-color: #000000;
37}
38
39.gcli-tt-description,
40.gcli-tt-error {
41 padding: 0 10px;
42}
43
44.gcli-row-out {
45 padding: 0 5px;
46 line-height: 1.2em;
47 border-top: none;
48 border-bottom: none;
49 color: #9C9CFF;
50}
51
52.gcli-row-out p,
53.gcli-row-out h1,
54.gcli-row-out h2,
55.gcli-row-out h3 {
56 margin: 5px 0;
57}
58
59.gcli-row-out h1,
60.gcli-row-out h2,
61.gcli-row-out h3,
62.gcli-row-out h4,
63.gcli-row-out h5,
64.gcli-row-out th,
65.gcli-row-out strong {
66 color: #FFCF00;
67}
68
69.gcli-out-shortcut,
70.gcli-help-synopsis {
71 padding: 0 3px;
72 margin: 0 4px;
73 font-weight: normal;
74 font-size: 90%;
75 border-radius: 3px;
76 background-color: #000000;
77 color: #E7ADE7;
78 border: 1px solid #8050B0;
79}
80
81.gcli-out-shortcut:before,
82.gcli-help-synopsis:before {
83 color: #FFCF00;
84 -moz-padding-end: 2px;
85}
86
87.gcli-help-arrow {
88 color: #008484;
89}
90
91.gcli-help-description {
92 margin: 0 20px;
93 padding: 0;
94}
95
96.gcli-help-parameter {
97 margin: 0 30px;
98 padding: 0;
99}
100
101.gcli-help-header {
102 margin: 10px 0 6px;
103}
104
105.gcli-menu-name {
106 -moz-padding-start: 8px;
107}
108
109.gcli-menu-desc {
110 -moz-padding-end: 8px;
111 color: #FF9F00;
112}
113
114.gcli-menu-option:hover,
115.gcli-menu-highlight.gcli-menu-option:hover {
116 background-color: #FFCF00;
117 color: #000000;
118}
119
120.gcli-menu-highlight {
121 background-color: #795900;
122}
123
124.gcli-menu-typed {
125 color: #008484;
126}
127
128.gcli-menu-more {
129 font-size: 80%;
130 text-align: right;
131 -moz-padding-end: 8px;
132}
133
134.gcli-addon-disabled {
135 opacity: 0.6;
136 text-decoration: line-through;
137}