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