Merge branch 'master' of linz:/srv/git/themes
[themes.git] / LCARStrek / browser / devtools / gcli.css
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 #gclichrome-body {
6   margin: 0;
7   padding: 0;
8   font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
9 }
10
11 .gcli-row-out {
12   padding: 0 5px;
13   line-height: 1.2em;
14   border-top: none;
15   border-bottom: none;
16 }
17
18 .gcli-row-out p,
19 .gcli-row-out h1,
20 .gcli-row-out h2,
21 .gcli-row-out h3 {
22   margin: 5px 0;
23 }
24
25 .gcli-out-shortcut {
26   border: 1px solid #8050B0;
27   border-radius: 3px;
28   padding: 1px 4px 0;
29   margin: 0 4px;
30   font-size: 80%;
31   font-family: "Liberation Mono", Consolas, "Courier New", monospace;
32   cursor: pointer;
33   vertical-align: bottom;
34   white-space: pre;
35   background-color: #000000;
36 }
37
38 .gcli-out-shortcut:before {
39   color: #FFCF00;
40   content: '\bb';
41 }
42
43 /* From: $GCLI/lib/gcli/commands/help.css */
44
45 .gcli-help-arrow {
46   font-size: 70%;
47   color: #008484;
48 }
49
50 .gcli-help-synopsis {
51   font-family: "Liberation Mono", Consolas, "Courier New", monospace;
52   font-weight: normal;
53   padding: 0 3px;
54   margin: 0 10px;
55   border: 1px solid #9C9CFF;
56   border-radius: 3px;
57 }
58
59 .gcli-help-synopsis:before {
60   color: #FFCF00;
61 }
62
63 .gcli-help-description {
64   margin: 0 20px;
65   padding: 0;
66 }
67
68 .gcli-help-parameter {
69   margin: 0 30px;
70   padding: 0;
71 }
72
73 .gcli-help-header {
74   margin: 10px 0 6px;
75 }
76
77
78 /* From: $GCLI/lib/gcli/ui/menu.css */
79
80 .gcli-menu-name {
81   -moz-padding-start: 8px;
82 }
83
84 .gcli-menu-desc {
85   -moz-padding-end: 8px;
86   color: #FF9F00;
87 }
88
89 .gcli-menu-option:hover,
90 .gcli-menu-highlight.gcli-menu-option:hover {
91   background-color: #FFCF00;
92   color: #000000;
93 }
94
95 .gcli-menu-highlight {
96   background-color: #795900;
97 }
98
99 .gcli-menu-error {
100   padding: 8px 10px 2px;
101   font-size: 80%;
102   color: #FF0000;
103 }
104
105 .gcli-menu-typed {
106   color: #008484;
107 }