* 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/. */
+/* NOTE: THESE NEED TO STAY IN SYNC WITH LIGHT-THEME.CSS AND DARK-THEME.CSS.
+ We are copy/pasting variables from light-theme and dark-theme,
+ since they aren't loaded in this context (within commandlineoutput.xhtml
+ and commandlinetooltip.xhtml). */
+:root {
+ --gcli-background-color: #000000; /* --theme-tab-toolbar-background */
+ --gcli-input-focused-background: #FFCF00; /* --theme-sidebar-background */
+ --gcli-input-focused-color: #000000;
+ --gcli-input-color: #FF9F00; /* --theme-body-color */
+ --gcli-border-color: #9C9CFF; /* --theme-splitter-color */
+ --gcli-edittext-color: #E7ADE7;
+}
+
.gcli-body {
margin: 0;
font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
- color: #FF9F00;
+ color: var(--gcli-input-color);
}
#gcli-output-root,
#gcli-tooltip-root {
- border: 1px solid #008484;
- background-color: #000000;
+ border: 1px solid var(--gcli-border-color);
border-radius: 3px;
+ background-color: var(--gcli-background-color);
}
#gcli-output-root {
margin-left: 8px;
width: 20px;
height: 10px;
- border-left: 1px solid #008484;
- border-right: 1px solid #008484;
- background-color: #000000;
+ border-left: 1px solid var(--gcli-border-color);
+ border-right: 1px solid var(--gcli-border-color);
+ background-color: var(--gcli-background-color);
}
.gcli-tt-description,
line-height: 1.2em;
border-top: none;
border-bottom: none;
- color: #9C9CFF;
+ color: var(--gcli-input-color);
}
.gcli-row-out p,
.gcli-row-out th,
.gcli-row-out strong,
.gcli-row-out pre {
- color: #FFCF00;
+ color: var(--gcli-input-color);
}
.gcli-row-out pre {
font-weight: normal;
font-size: 90%;
border-radius: 3px;
- background-color: #000000;
- color: #E7ADE7;
- border: 1px solid #8050B0;
+ background-color: var(--gcli-background-color);
+ color: var(--gcli-edittext-color);
+ border: 1px solid var(--gcli-border-color);
}
.gcli-out-shortcut:before,
.gcli-help-synopsis:before {
- color: #FFCF00;
+ color: var(--gcli-input-color);
-moz-padding-end: 2px;
}
.gcli-menu-desc {
-moz-padding-end: 8px;
- color: #FF9F00;
+ color: var(--gcli-input-color);
}
.gcli-menu-name:hover,
.gcli-menu-desc:hover {
- background-color: #FFCF00;
- color: #000000;
+ background-color: var(--gcli-input-focused-background);
+ color: var(--gcli-input-focused-color);
}
.gcli-menu-highlight,