1 /* vim:set ts=2 sw=2 sts=2 et: */
2 /* This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this
4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
6 @import url("splitters.css");
8 /* LCARS-specific rules that should be limited to toolbox but there's no other place to put them */
17 /* End LCARStrek toolbox rules */
20 font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
21 --proportional-font-family: "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
22 --monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
23 --monospace-font-size: 12px;
27 font-family: var(--monospace-font-family);
28 font-size: var(--monospace-font-size);
32 /* Autocomplete Popup */
34 .devtools-autocomplete-popup {
40 .devtools-autocomplete-listbox {
41 background-color: transparent;
42 border-width: 0px !important;
46 .devtools-autocomplete-listbox > scrollbox {
50 .inplace-editor-autocomplete-popup .devtools-autocomplete-listbox {
51 /* Inplace editor closes the autocomplete popup on blur, the autocomplete
52 popup should not steal the focus here.*/
53 -moz-user-focus: ignore;
56 .devtools-autocomplete-listbox > richlistitem,
57 .devtools-autocomplete-listbox > richlistitem[selected] {
59 background-color: transparent;
63 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected],
64 .devtools-autocomplete-listbox.dark-theme > richlistitem:hover {
65 /* background-color: rgba(0,0,0,0.5); */
68 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > .autocomplete-value,
69 .devtools-autocomplete-listbox:focus.dark-theme > richlistitem[selected] > .initial-value {
70 /* color: hsl(208,100%,60%);*/
73 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > label {
77 .devtools-autocomplete-listbox.dark-theme > richlistitem > label {
81 .devtools-autocomplete-listbox > richlistitem > .initial-value,
82 .devtools-autocomplete-listbox > richlistitem > .autocomplete-value {
87 .devtools-autocomplete-listbox > richlistitem > .autocomplete-count {
91 /* Rest of the dark and light theme */
93 .devtools-autocomplete-popup,
95 .CodeMirror-Tern-tooltip {
96 border: 1px solid #FF9F00;
97 background-color: #000000;
100 .devtools-autocomplete-popup.light-theme {
103 .devtools-autocomplete-listbox.firebug-theme > richlistitem[selected],
104 .devtools-autocomplete-listbox.firebug-theme > richlistitem:hover,
105 .devtools-autocomplete-listbox.light-theme > richlistitem[selected],
106 .devtools-autocomplete-listbox.light-theme > richlistitem:hover {
107 /* background-color: rgba(128,128,128,0.3); */
110 .devtools-autocomplete-listbox.firebug-theme > richlistitem[selected] > .autocomplete-value,
111 .devtools-autocomplete-listbox:focus.firebug-theme > richlistitem[selected] > .initial-value,
112 .devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value,
113 .devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value {
117 .devtools-autocomplete-listbox.firebug-theme > richlistitem > label,
118 .devtools-autocomplete-listbox.light-theme > richlistitem > label {
122 /* links to source code, like displaying `myfile.js:45` */
124 .devtools-source-link {
125 font-family: var(--monospace-font-family);
126 color: var(--theme-text-blue);
130 text-decoration: none;
132 width: 12em; /* probably should be changed for each tool */
135 .devtools-source-link:hover {
136 text-decoration: underline;
139 .devtools-source-link > .filename {
140 text-overflow: ellipsis;
147 .devtools-source-link > .line-number {
153 /* Keyboard focus highlight styles */
156 outline: var(--theme-focus-outline);
157 outline-offset: -1px;
160 textbox[focused="true"] {
161 border-color: var(--theme-focus-border-color-textbox);
163 /* box-shadow: var(--theme-focus-box-shadow-textbox);*/
164 transition: all 0.2s ease-in-out
167 textbox :-moz-focusring {
172 /* Form fields should already have box-shadow hightlight */
173 select:-moz-focusring,
174 input[type="radio"]:-moz-focusring,
175 input[type="checkbox"]:-moz-focusring,
176 checkbox:-moz-focusring {