Merge branch 'master' of linz:/srv/git/themes
[themes.git] / LCARStrek / browser / devtools / gcli.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#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}