Merge branch 'master' of linz:/srv/git/themes
[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.gcli-row-out pre {
67 color: #FFCF00;
68}
69
70.gcli-row-out pre {
71 font-size: 80%;
72}
73
74.gcli-out-shortcut,
75.gcli-help-synopsis {
76 padding: 0 3px;
77 margin: 0 4px;
78 font-weight: normal;
79 font-size: 90%;
80 border-radius: 3px;
81 background-color: #000000;
82 color: #E7ADE7;
83 border: 1px solid #8050B0;
84}
85
86.gcli-out-shortcut:before,
87.gcli-help-synopsis:before {
88 color: #FFCF00;
89 -moz-padding-end: 2px;
90}
91
92.gcli-help-arrow {
93 color: #008484;
94}
95
96.gcli-help-description {
97 margin: 0 20px;
98 padding: 0;
99}
100
101.gcli-help-parameter {
102 margin: 0 30px;
103 padding: 0;
104}
105
106.gcli-help-header {
107 margin: 10px 0 6px;
108}
109
110.gcli-menu-name {
111 -moz-padding-start: 8px;
112}
113
114.gcli-menu-desc {
115 -moz-padding-end: 8px;
116 color: #FF9F00;
117}
118
119.gcli-menu-option:hover,
120.gcli-menu-highlight.gcli-menu-option:hover {
121 background-color: #FFCF00;
122 color: #000000;
123}
124
125.gcli-menu-highlight {
126 background-color: #795900;
127}
128
129.gcli-menu-typed {
130 color: #008484;
131}
132
133.gcli-menu-more {
134 font-size: 80%;
135 text-align: right;
136 -moz-padding-end: 8px;
137}
138
139.gcli-addon-disabled {
140 opacity: 0.6;
141 text-decoration: line-through;
142}