gecko/browser/themes/gnomestripe/devtools/gcli.css
2012-05-21 12:12:37 +01:00

108 lines
1.6 KiB
CSS

/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#gclichrome-body {
margin: 0;
padding: 0;
font: message-box;
}
.gcli-row-out {
padding: 0 5px;
line-height: 1.2em;
border-top: none;
border-bottom: none;
}
.gcli-row-out p,
.gcli-row-out h1,
.gcli-row-out h2,
.gcli-row-out h3 {
margin: 5px 0;
}
.gcli-out-shortcut {
border: 1px solid #999;
border-radius: 3px;
padding: 1px 4px 0;
margin: 0 4px;
font-size: 80%;
font-family: monospace;
cursor: pointer;
vertical-align: bottom;
white-space: pre;
background-color: #fff;
}
.gcli-out-shortcut:before {
color: #66F;
content: '\bb';
}
/* From: $GCLI/lib/gcli/commands/help.css */
.gcli-help-arrow {
font-size: 70%;
color: #AAA;
}
.gcli-help-synopsis {
font-family: monospace;
font-weight: normal;
padding: 0 3px;
margin: 0 10px;
border: 1px solid #999;
border-radius: 3px;
}
.gcli-help-synopsis:before {
color: #66F;
}
.gcli-help-description {
margin: 0 20px;
padding: 0;
}
.gcli-help-parameter {
margin: 0 30px;
padding: 0;
}
.gcli-help-header {
margin: 10px 0 6px;
}
/* From: $GCLI/lib/gcli/ui/fields/menu.css */
.gcli-menu-name {
-moz-padding-start: 8px;
}
.gcli-menu-desc {
-moz-padding-end: 8px;
color: #999;
}
.gcli-menu-option:hover {
background-color: #EEE;
}
.gcli-menu-highlight,
.gcli-menu-highlight.gcli-menu-option:hover {
background-color: #DDD;
}
.gcli-menu-error {
padding: 8px 10px 2px;
font-size: 80%;
color: red;
}
.gcli-menu-typed {
color: hsl(25,78%,50%);
}