fourth part of syncing LCARStrek with Firefox 32 windows theme changes
[themes.git] / LCARStrek / browser / devtools / dark-theme.css
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/. */
5
6 /* According to:
7  * https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
8  */
9 .theme-body {
10   background: #000000;
11   color: #FF9F00;
12 }
13
14 .theme-sidebar {
15   background: #000000;
16   color: #FF9F00;
17 }
18
19 ::-moz-selection {
20   background-color: #008484;
21   color: #FFCF00;
22 }
23
24 .theme-bg-darker {
25   background-color: rgba(0,0,0,0.5);
26 }
27
28 .theme-selected,
29 .CodeMirror-hint-active {
30   background: #004242;
31   color: #FF9F00; /* Light foreground text */
32 }
33
34 .theme-bg-contrast,
35 .variable-or-property:not([overridden])[changed] { /* contrast bg color to attract attention on a container */
36   background: #402800;
37 }
38
39 .theme-link,
40 .cm-s-mozilla .cm-link { /* original: blue */
41   color: #3333FF;
42 }
43
44 /*
45  * FIXME: http://bugzil.la/575675 CSS links without :visited set cause assertion
46  * failures in debug builds.
47  */
48 .theme-link:visited,
49 .cm-s-mozilla .cm-link:visited,
50 .CodeMirror-Tern-type { /* original: blue */
51   color: #3333FF;
52 }
53
54 .theme-comment,
55 .cm-s-mozilla .cm-meta,
56 .cm-s-mozilla .cm-hr,
57 .cm-s-mozilla .cm-comment,
58 .variable-or-property .token-undefined,
59 .variable-or-property .token-null { /* original: grey */
60   color: #A09090;
61 }
62
63 .CodeMirror-Tern-completion-unknown:before {
64   background-color: #A09090;
65 }
66
67 .theme-gutter {
68   background-color: #000000;
69   color: #FF9F00;
70   border-color: #9C9CFF;
71 }
72
73 .theme-separator { /* original: grey */
74   border-color: #8050B0;
75 }
76
77 .theme-fg-color1,
78 .cm-s-mozilla .cm-number,
79 .variable-or-property .token-number,
80 .variable-or-property[return] > .title > .name,
81 .variable-or-property[scope] > .title > .name { /* original: green */
82   color: #008484;
83 }
84
85 .CodeMirror-Tern-completion-number:before {
86   background-color: #008484;
87 }
88
89 .theme-fg-color2,
90 .cm-s-mozilla .cm-attribute,
91 .cm-s-mozilla .cm-variable,
92 .cm-s-mozilla .cm-def,
93 .cm-s-mozilla .cm-property,
94 .cm-s-mozilla .cm-qualifier,
95 .variables-view-variable > .title > .name { /* original: blue */
96   color: #9C9CFF;
97 }
98
99 .CodeMirror-Tern-completion-object:before {
100   background-color: #9C9CFF;
101 }
102
103 .cm-s-mozilla .cm-unused-line {
104   text-decoration: line-through;
105   -moz-text-decoration-color: #8050B0;
106 }
107
108 .cm-s-mozilla .cm-executed-line {
109   background-color: #404000;
110 }
111
112 .theme-fg-color3,
113 .cm-s-mozilla .cm-builtin,
114 .cm-s-mozilla .cm-tag,
115 .cm-s-mozilla .cm-header,
116 .variables-view-property > .title > .name,
117 .variable-or-property[safe-getter] > .title > .name { /* original: pink/lavender */
118   color: #E7ADE7;
119 }
120
121 .CodeMirror-Tern-completion-array:before {
122   background-color: #E7ADE7;
123 }
124
125 .theme-fg-color4 { /* original: purple/violet */
126   color: #C09070;
127 }
128
129 .theme-fg-color5,
130 .cm-s-mozilla .cm-bracket,
131 .cm-s-mozilla .cm-keyword { /* original: Yellow */
132   color: #FFCF00;
133 }
134
135 .theme-fg-color6,
136 .cm-s-mozilla .cm-string,
137 .cm-s-mozilla .cm-string-2,
138 .variable-or-property .token-string,
139 .CodeMirror-Tern-farg { /* original: Orange */
140   color: #E7ADE7;
141 }
142
143 .CodeMirror-Tern-completion-string:before,
144 .CodeMirror-Tern-completion-fn:before {
145   background-color: #E7ADE7;
146 }
147
148 .theme-fg-color7,
149 .cm-s-mozilla .cm-atom,
150 .cm-s-mozilla .cm-quote,
151 .cm-s-mozilla .cm-error,
152 .variable-or-property .token-boolean,
153 .variable-or-property .token-domnode,
154 .variable-or-property[exception] > .title > .name { /* original: Red */
155   color: #FF0000;
156 }
157
158 .CodeMirror-Tern-completion-bool:before {
159   background-color: #FF0000;
160 }
161
162 .variable-or-property .token-domnode {
163   font-weight: bold;
164 }
165
166 .theme-toolbar,
167 .devtools-toolbar,
168 .devtools-sidebar-tabs > tabs,
169 .CodeMirror-dialog { /* General toolbar styling */
170 }
171
172
173 .theme-fg-contrast { /* To be used for text on theme-bg-contrast */
174   color: #FFCF00;
175 }
176
177 .ruleview-colorswatch,
178 .computedview-colorswatch {
179 /*  box-shadow: 0 0 0 1px #818181; */
180 }
181
182 .variables-view-scope:focus > .title,
183 .variable-or-property:focus > .title {
184   background-color: #008484; /* fg-color2 */
185   color: #000000;
186 }
187
188 /* CodeMirror specific styles.
189  * Best effort to match the existing theme, some of the colors
190  * are duplicated here to prevent weirdness in the main theme. */
191
192 .CodeMirror { /* Inherit platform specific font sizing and styles */
193   font-family: inherit;
194   font-size: inherit;
195   background: transparent;
196 }
197
198 .CodeMirror pre,
199 .cm-s-mozilla .cm-variable-2,
200 .cm-s-mozilla .cm-variable-3,
201 .cm-s-mozilla .cm-operator,
202 .cm-s-mozilla .cm-special { /* theme-body color */
203   color: #FF9F00;
204 }
205
206 .cm-s-mozilla .CodeMirror-lines .CodeMirror-cursor {
207   border-left: solid 1px #FF9F00;
208 }
209
210 .cm-s-mozilla.CodeMirror-focused .CodeMirror-selected { /* selected text (focused) */
211   background: #008484;
212   color: #FFCF00;
213 }
214
215 .cm-s-mozilla .CodeMirror-selected { /* selected text (unfocused) */
216   background: #008484;
217   color: #000000;
218 }
219
220 .cm-s-mozilla .CodeMirror-activeline-background { /* selected color with alpha */
221   background: rgba(0, 132, 132, .25);
222 }
223
224 div.cm-s-mozilla span.CodeMirror-matchingbracket { /* highlight brackets */
225   outline: solid 1px rgba(0, 132, 132, .4);
226   color: #FFCF00;
227 }
228
229 /* Highlight for a line that contains an error. */
230 div.CodeMirror div.error-line {
231   background: rgba(255, 0, 0, 0.2);
232 }
233
234 /* Highlight for a line that represents a stack frame's location. */
235 div.CodeMirror div.debug-line {
236   background: rgba(156, 156, 255, 0.2);
237 }
238
239 /* Generic highlighted text */
240 div.CodeMirror span.marked-text {
241   background: rgba(255,207,0,0.2);
242   border: 1px dashed rgba(156, 156, 255, 0.6);
243   -moz-margin-start: -1px;
244   -moz-margin-end: -1px;
245 }
246
247 /* Highlight for evaluating current statement. */
248 div.CodeMirror span.eval-text {
249   background-color: #403800;
250 }
251
252 .cm-s-mozilla .CodeMirror-linenumber { /* line number text */
253   color: #A09090;
254 }
255
256 .cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
257   border-right-color: #A09090;
258   background-color: #402800;
259 }
260
261 .cm-s-markup-view pre {
262   line-height: 1.4em;
263   min-height: 1.4em;
264 }
265
266 /* Twisty and checkbox controls */
267 .theme-twisty, .theme-checkbox {
268   width: 14px;
269   height: 14px;
270   background-repeat: no-repeat;
271   background-image: url("chrome://browser/skin/devtools/controls.png");
272   background-size: 28px 28px;
273 }
274
275 .theme-twisty {
276   cursor: pointer;
277   background-position: -0px -14px;
278 }
279
280 .theme-twisty:-moz-focusring {
281   outline-style: none;
282 }
283
284 .theme-twisty[open] {
285   background-position: -14px -14px;
286 }
287
288 .theme-checkbox {
289   display: inline-block;
290   border: 0;
291   padding: 0;
292   outline: none;
293   background-position: 0 0;
294 }
295
296 .theme-checkbox[checked] {
297   background-position: -14px 0;
298 }
299
300 @media (min-resolution: 2dppx) {
301   .theme-twisty, .theme-checkbox {
302     background-image: url("chrome://browser/skin/devtools/controls@2x.png");
303   }
304 }
305
306 /* XUL panel styling (see browser/devtools/shared/widgets/Tooltip.js) */
307
308 .theme-tooltip-panel .panel-arrowcontent {
309 /*  padding: 5px; */
310   background: rgba(0, 0, 0, .9);
311 /*  border-radius: 5px;
312   box-shadow: none;
313   border: 3px solid #9C9CFF; */
314 }
315
316 /* Overring panel arrow images to fit with our light and dark themes */
317 /*
318 .theme-tooltip-panel .panel-arrow[side="top"] {
319   list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
320   margin-bottom: -4px;
321 }
322
323 .theme-tooltip-panel .panel-arrow[side="bottom"] {
324   list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
325   margin-top: -4px;
326 }
327
328 .theme-tooltip-panel .panel-arrow[side="left"] {
329   list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
330   margin-right: -4px;
331 }
332
333 .theme-tooltip-panel .panel-arrow[side="right"] {
334   list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
335   margin-left: -4px;
336 }
337
338 @media (min-resolution: 2dppx) {
339   .theme-tooltip-panel .panel-arrow[side="top"],
340   .theme-tooltip-panel .panel-arrow[side="bottom"] {
341     list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark@2x.png");
342   }
343
344   .theme-tooltip-panel .panel-arrow[side="left"],
345   .theme-tooltip-panel .panel-arrow[side="right"] {
346     list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark@2x.png");
347   }
348 }
349 */
350 .theme-tooltip-panel .devtools-tooltip-simple-text {
351 /*  color: white; */
352   border-bottom: 1px solid #A09090;
353 }
354
355 .theme-tooltip-panel .devtools-tooltip-simple-text:last-child {
356  border-bottom: 0;
357 }
358
359 .devtools-horizontal-splitter {
360 }
361
362 .devtools-side-splitter {
363 }
364
365 .devtools-textinput,
366 .devtools-searchinput {
367   background-color: #000000;
368   color: #E7ADE7;
369 }
370
371 .CodeMirror-Tern-fname {
372   color: #A09090;
373 }
374
375 .CodeMirror-hints,
376 .CodeMirror-Tern-tooltip {
377   background-color: #000000;
378   color: #FF9F00;
379 }
380
381 /* === BEGIN toolbars.inc.css === */
382
383 .devtools-toolbar {
384 }
385
386 /* LCARStrek checkbox colors don't work well against toolbar background */
387 .devtools-toolbar > checkbox {
388   background-color: #000000;
389   padding: 2px;
390 }
391
392 devtools-menulist:-moz-focusring,
393 .devtools-toolbarbutton:-moz-focusring {
394   outline: 1px dotted #008484;
395 }
396
397 .devtools-toolbarbutton > .toolbarbutton-icon {
398 }
399
400 .devtools-toolbarbutton:not([label]) {
401   min-width: 20px;
402 }
403
404 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
405   display: none;
406 }
407
408 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
409   /*-moz-box-orient: horizontal;*/
410 }
411
412 .devtools-menulist,
413 .devtools-toolbarbutton {
414 }
415
416 .devtools-toolbarbutton:not([checked]):hover:active {
417 }
418
419 .devtools-menulist[open=true],
420 .devtools-toolbarbutton[open=true],
421 .devtools-toolbarbutton[checked] {
422 }
423
424 .devtools-toolbarbutton[checked] {
425 }
426
427 .devtools-toolbarbutton[checked]:hover:active {
428 }
429
430 .devtools-option-toolbarbutton {
431   list-style-image: url("chrome://browser/skin/devtools/tool-options-tbutton.svg");
432 /*  background: none;
433   border: none; */
434 }
435
436 .devtools-option-toolbarbutton:hover,
437 .devtools-option-toolbarbutton[open=true] {
438   list-style-image: url("chrome://browser/skin/devtools/tool-options.svg");
439 }
440
441 .devtools-menulist > .menulist-label-box {
442   text-align: center;
443 }
444
445 .devtools-menulist > .menulist-dropmarker {
446 }
447
448 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
449 }
450
451 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
452 }
453
454 .devtools-toolbarbutton[type=menu-button] {
455   padding: 0 1px;
456   -moz-box-align: stretch;
457 }
458
459 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
460 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
461   -moz-box-align: center;
462 }
463
464 /* Toolbar button groups */
465 .devtools-toolbarbutton-group > .devtools-toolbarbutton {
466 }
467
468 .devtools-toolbarbutton-group > .devtools-toolbarbutton:last-of-type {
469 }
470
471 .devtools-toolbarbutton-group {
472 /*
473   margin: 0 2px;
474   -moz-padding-end: 2px;
475   border-left: 3px solid #000000;
476   border-right: 3px solid #000000;
477 */
478 }
479
480 /* Text input */
481
482 .devtools-textinput,
483 .devtools-searchinput {
484 /*  -moz-appearance: none;
485   margin: 0 3px;
486   border: 1px solid rgb(88, 94, 101);
487   border-radius: 2px;
488   background-color: rgba(24, 29, 32, 1);
489   padding: 4px 6px;
490   color: rgba(184, 200, 217, 1);*/
491 }
492
493 .devtools-searchinput {
494 /*  padding-top: 3px;
495   padding-bottom: 3px;*/
496   -moz-padding-start: 22px;
497   -moz-padding-end: 12px;
498   background-position: 8px center;
499   background-size: 11px 11px;
500   background-repeat: no-repeat;
501   font-size: inherit;
502
503   background-image: url("magnifying-glass.png");
504 }
505
506 @media (min-resolution: 2dppx) {
507   .devtools-searchinput {
508     background-image: url("magnifying-glass@2x.png");
509   }
510 }
511
512 .devtools-searchinput:-moz-locale-dir(rtl) {
513   background-position: calc(100% - 8px) center;
514 }
515
516 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
517   display: none;
518 }
519
520 .devtools-no-search-result {
521   border-color: #FF0000 !important;
522 }
523
524 /* Close button */
525
526 .devtools-closebutton {
527   min-width: 16px;
528   width: 16px;
529 }
530
531 .devtools-closebutton > image {
532   width: 16px;
533   height: 16px;
534   -moz-appearance: none;
535   background-size: 32px 16px;
536   background-image: url("chrome://browser/skin/devtools/close@2x.png");
537   background-position: 0 center;
538   background-repeat: no-repeat;
539 }
540
541 .devtools-closebutton:hover > image,
542 .devtools-closebutton:hover:active > image {
543   background-position: -16px center;
544 }
545
546 .devtools-closebutton > .toolbarbutton-text {
547   display: none;
548 }
549
550 /* In-tools sidebar */
551
552 .devtools-sidebar-tabs {
553 }
554
555 .devtools-sidebar-tabs > tabpanels {
556   padding: 0;
557   border: 0;
558 }
559
560 .devtools-sidebar-tabs > tabs {
561   position: static;
562   overflow: hidden;
563 }
564
565 .devtools-sidebar-tabs > tabs > .tabs-right,
566 .devtools-sidebar-tabs > tabs > .tabs-left {
567   display: none;
568 }
569
570 .devtools-sidebar-tabs > tabs > tab {
571   min-width: 78px;
572   text-align: center;
573   -moz-box-flex: 1;
574   position: static;
575   margin-top: 0;
576 }
577
578 .devtools-sidebar-tabs > tabs > tab:-moz-focusring {
579   position: static;
580 }
581
582 .devtools-sidebar-tabs > tabs > tab:last-of-type {
583   -moz-border-end-width: 0;
584 }
585
586 .devtools-sidebar-tabs > tabs > tab:first-of-type {
587   -moz-margin-start: 0;
588 }
589
590 .devtools-sidebar-tabs > tabs > tab {
591 }
592
593 .devtools-sidebar-tabs > tabs > tab:not(:last-of-type) {
594 }
595
596 .devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
597 }
598
599 .devtools-sidebar-tabs > tabs > tab {
600 }
601
602 .devtools-sidebar-tabs > tabs > tab:hover {
603 }
604
605 .devtools-sidebar-tabs > tabs > tab:hover:active {
606 }
607
608 .devtools-sidebar-tabs > tabs > tab[selected] + tab {
609 }
610
611 .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover {
612 }
613
614 .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover:active {
615 }
616
617 .devtools-sidebar-tabs > tabs > tab[selected] {
618 }
619
620 .devtools-sidebar-tabs > tabs > tab[selected]:hover {
621 }
622
623 .devtools-sidebar-tabs > tabs > tab[selected]:hover:active {
624 }
625
626 /* Toolbox - moved from toolbox.css.
627  * Rules that apply to the global toolbox like command buttons,
628  * devtools tabs, docking buttons, etc. */
629
630 #toolbox-controls > toolbarbutton,
631 #toolbox-dock-buttons > toolbarbutton {
632   min-width: 16px;
633 /*  padding: 1px 3px; */
634 }
635
636 #toolbox-dock-buttons > toolbarbutton > image {
637   width: 16px;
638   height: 16px;
639   background-size: 32px 16px;
640   background-position: 0 center;
641   background-repeat: no-repeat;
642 }
643  
644 #toolbox-dock-buttons > toolbarbutton:hover > image {
645   background-position: -16px center;
646 }
647  
648 #toolbox-dock-bottom > image {
649   background-image: url("chrome://browser/skin/devtools/dock-bottom@2x.png");
650 }
651  
652 #toolbox-dock-side > image {
653   background-image: url("chrome://browser/skin/devtools/dock-side@2x.png");
654 }
655
656 #toolbox-dock-window > image {
657   background-image: url("chrome://browser/skin/devtools/undock@2x.png");
658 }
659
660 #toolbox-dock-window,
661 #toolbox-dock-bottom,
662 #toolbox-dock-side {
663 }
664
665 #toolbox-dock-window:hover,
666 #toolbox-dock-bottom:hover,
667 #toolbox-dock-side:hover {
668 }
669
670 #toolbox-controls-separator {
671   width: 2px;
672 }
673
674 #toolbox-controls-separator[invisible] {
675   visibility: hidden;
676 }
677
678 /* Command buttons */
679
680 .command-button {
681 /*  padding: 1px 4px; */
682   min-width: 16px;
683 }
684
685 .command-button:hover {
686 }
687 .command-button:hover:active {
688 }
689
690 .command-button > image {
691   width: 16px;
692   height: 16px;
693   background-size: 32px 16px;
694   background-position: 0 center;
695   background-repeat: no-repeat;
696 }
697
698 .command-button:hover > image,
699 .command-button:hover:active > image,
700 .command-button[checked=true] > image {
701   background-position: -16px center;
702 }
703
704 #command-button-paintflashing > image {
705   background-image: url("chrome://browser/skin/devtools/command-paintflashing.png");
706 }
707
708 #command-button-screenshot > image {
709   background-image: url("chrome://browser/skin/devtools/command-screenshot.png");
710 }
711
712 #command-button-responsive > image {
713   background-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
714 }
715
716 #command-button-tilt > image {
717   background-image: url("chrome://browser/skin/devtools/command-tilt.png");
718 }
719
720 #command-button-scratchpad > image {
721   background-image: url("chrome://browser/skin/devtools/command-scratchpad.png");
722 }
723
724 #command-button-pick > image {
725   background-image: url("chrome://browser/skin/devtools/command-pick.png");
726 }
727
728 #command-button-splitconsole > image {
729   background-image: url("chrome://browser/skin/devtools/command-console.png");
730 }
731
732 #command-button-eyedropper > image {
733   background-image: url("chrome://browser/skin/devtools/command-eyedropper.png");
734 }
735
736 @media (min-resolution: 2dppx) {
737   #command-button-paintflashing > image {
738     background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
739   }
740
741   #command-button-screenshot > image {
742     background-image: url("chrome://browser/skin/devtools/command-screenshot@2x.png");
743   }
744
745   #command-button-responsive > image {
746     background-image: url("chrome://browser/skin/devtools/command-responsivemode@2x.png");
747   }
748
749   #command-button-tilt > image {
750     background-image: url("chrome://browser/skin/devtools/command-tilt@2x.png");
751   }
752
753   #command-button-scratchpad > image {
754     background-image: url("chrome://browser/skin/devtools/command-scratchpad@2x.png");
755   }
756
757   #command-button-pick > image {
758     background-image: url("chrome://browser/skin/devtools/command-pick@2x.png");
759   }
760
761   #command-button-splitconsole > image {
762     background-image: url("chrome://browser/skin/devtools/command-console@2x.png");
763   }
764
765   #command-button-eyedropper > image {
766     background-image: url("chrome://browser/skin/devtools/command-eyedropper@2x.png");
767   }
768 }
769
770 /* Tabs */
771
772 .devtools-tabbar {
773 }
774
775 #toolbox-tabs {
776   margin: 0 2px;
777   -moz-padding-start: 3px;
778   background-color: #000000;
779   color: #FFCF00;
780 }
781
782 .devtools-tab {
783   min-width: 32px;
784   max-width: 110px;
785   color: #000000;
786   margin: 0;
787   -moz-margin-end: 3px;
788   padding: 1px;
789   -moz-padding-start: 3px;
790   background-color: #C09070;
791   border-radius: 8px 8px 0 0;
792 }
793
794 .devtools-tab > image {
795   -moz-margin-end: 0px;
796 /*  -moz-margin-start: 4px; */
797   max-height: 16px;
798   width: 16px; /* Prevents collapse during theme switching */
799 }
800
801 .devtools-tab:hover > image {
802 }
803
804 .devtools-tab:active > image,
805 .devtools-tab[selected] > image {
806 }
807
808 .devtools-tab:hover,
809 .devtools-tab:hover:active {
810   background-color: #FFCF00;
811   color: #000000;
812 }
813
814 .devtools-tab[selected] {
815   background-color: #008484;
816   color: #000000;
817 }
818
819 .devtools-tab > spacer {
820   max-width: 0;
821   -moz-box-flex: 0;
822 }
823
824 .devtools-tab > image {
825   -moz-margin-end: 0;
826   -moz-margin-start: 0;
827 }
828
829 #toolbox-option-container {
830   background-color: #000000;
831   -moz-padding-start: 3px;
832 }
833
834 #toolbox-tab-options {
835   min-width: 20px;
836 }
837
838 #toolbox-tab-options > image {
839   -moz-margin-end: 3px;
840 }
841
842 .devtools-tab:not([highlighted]) > .highlighted-icon,
843 .devtools-tab[selected] > .highlighted-icon,
844 .devtools-tab:not([selected])[highlighted] > .default-icon {
845   visibility: collapse;
846 }
847
848 .devtools-tab:not([selected])[highlighted] {
849   color: #FFCF00;
850 }
851
852 .devtools-tab:not([highlighted]) > .highlighted-icon,
853 .devtools-tab[selected] > .highlighted-icon,
854 .devtools-tab:not([selected])[highlighted] > .default-icon {
855   visibility: collapse;
856 }
857
858 /* The options tab is special - it doesn't have the same parent
859    as the other tabs (toolbox-option-container vs toolbox-tabs) */
860 #toolbox-option-container .devtools-tab:not([selected]) {
861 /*  background-color: transparent;*/
862 }
863 #toolbox-option-container .devtools-tab {
864 /*  border-color: transparent;
865   border-width: 0;
866   -moz-padding-start: 1px;*/
867 }
868 #toolbox-tab-options > image {
869 /*  margin: 0 8px;*/
870 }
871
872 .hidden-labels-box:not(.visible) > label,
873 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
874   display: none;
875 }
876
877 /* === END toolbars.inc.css === */