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/. */
7 * https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
10 --theme-body-background: #000000;
11 --theme-sidebar-background: #000000;
12 --theme-contrast-background: #402800;
13 --theme-contrast-border: #A09090;
14 --theme-contrast-background2: #795900;
16 /* --theme-tab-toolbar-background: #.252c33; */
17 --theme-toolbar-background: #000000;
18 --theme-hover-background: #FFCF00;
19 --theme-hover-color: #000000;
20 --theme-active-background: #FFCF00;
21 --theme-active-color: #000000;
22 --theme-selection-background: #008484;
23 --theme-selection-color: #000000;
24 --theme-selection-background2: #004242;
25 --theme-selection-color2: #FF9F00;
26 --theme-selection-background-semitransparent: rgba(0, 132, 132, .5);
27 --theme-splitter-color: #9C9CFF;
28 --theme-comment: #A09090;
30 --theme-contrastsidebar-background: #A09090;
31 --theme-contrastsidebar-color: #000000;
32 --theme-contrastsidebar-bordercolor: #000000;
34 --theme-body-color: #FF9F00;
35 --theme-body-color-alt: #A09090;
36 --theme-content-color1: #FF9F00;
37 --theme-content-color2: #A09090;
38 --theme-content-color3: #FF9F00;
39 --theme-content-disabled: #8050B0;
41 --theme-text-blue: #3333FF;
42 --theme-highlight-green: #008484;
43 --theme-highlight-blue: #9C9CFF;
44 --theme-highlight-bluegrey: #A09090;
45 --theme-highlight-purple: #C09070;
46 --theme-highlight-darkpurple: #6000CF;
47 --theme-highlight-lightorange: #FFCF00;
48 --theme-highlight-orange: #FF9F00;
49 --theme-highlight-red: #FF0000;
50 --theme-highlight-pink: #E7ADE7;
54 background: var(--theme-body-background);
55 color: var(--theme-body-color);
59 background: var(--theme-sidebar-background);
60 color: var(--theme-content-color1);
64 background-color: var(--theme-selection-background);
65 color: var(--theme-selection-color);
69 background: var(--theme-selection-background-semitransparent);
73 .CodeMirror-hint-active {
74 background-color: var(--theme-selection-background2);
75 color: var(--theme-selection-color2);
79 .variable-or-property:not([overridden])[changed] {
80 background: var(--theme-contrast-background);
84 .cm-s-mozilla .cm-link { /* original: blue */
85 color: var(--theme-text-blue);
89 * FIXME: http://bugzil.la/575675 CSS links without :visited set cause assertion
90 * failures in debug builds.
93 .cm-s-mozilla .cm-link:visited,
94 .CodeMirror-Tern-type {
95 color: var(--theme-text-blue);
99 .cm-s-mozilla .cm-meta,
100 .cm-s-mozilla .cm-hr,
101 .cm-s-mozilla .cm-comment,
102 .variable-or-property .token-undefined,
103 .variable-or-property .token-null,
104 .CodeMirror-Tern-completion-unknown:before {
105 color: var(--theme-comment);
109 background-color: #000000;
110 color: var(--theme-content-color3);
111 border-color: #9C9CFF;
114 .theme-separator { /* original: grey */
115 border-color: #8050B0;
119 .cm-s-mozilla .cm-number,
120 .variable-or-property .token-number,
121 .variable-or-property[return] > .title > .name,
122 .variable-or-property[scope] > .title > .name {
123 color: var(--theme-highlight-green);
126 .CodeMirror-Tern-completion-number:before {
127 background-color: #008484;
131 .cm-s-mozilla .cm-attribute,
132 .cm-s-mozilla .cm-variable,
133 .cm-s-mozilla .cm-def,
134 .cm-s-mozilla .cm-property,
135 .cm-s-mozilla .cm-qualifier,
136 .variables-view-variable > .title > .name {
137 color: var(--theme-highlight-blue);
140 .CodeMirror-Tern-completion-object:before {
141 background-color: #9C9CFF;
144 .cm-s-mozilla .cm-unused-line {
145 text-decoration: line-through;
146 text-decoration-color: #8050B0;
149 .cm-s-mozilla .cm-executed-line {
150 background-color: #404000;
154 .cm-s-mozilla .cm-builtin,
155 .cm-s-mozilla .cm-tag,
156 .cm-s-mozilla .cm-header,
157 .cm-s-mozilla .cm-bracket,
158 .variables-view-property > .title > .name,
159 .variable-or-property[safe-getter] > .title > .name {
160 color: var(--theme-highlight-pink);
163 .CodeMirror-Tern-completion-array:before {
164 color: var(--theme-highlight-pink); /* var(--theme-highlight-bluegrey) */
168 color: var(--theme-highlight-purple);
172 .cm-s-mozilla .cm-keyword {
173 color: var(--theme-highlight-lightorange);
177 .cm-s-mozilla .cm-string,
178 .cm-s-mozilla .cm-string-2,
179 .variable-or-property .token-string,
180 .CodeMirror-Tern-farg {
181 color: var(--theme-highlight-pink); /* -orange? */
184 .CodeMirror-Tern-completion-string:before,
185 .CodeMirror-Tern-completion-fn:before {
186 background-color: #E7ADE7;
190 .cm-s-mozilla .cm-atom,
191 .cm-s-mozilla .cm-quote,
192 .cm-s-mozilla .cm-error,
193 .variable-or-property .token-boolean,
194 .variable-or-property .token-domnode,
195 .variable-or-property[exception] > .title > .name {
196 color: var(--theme-highlight-red);
199 .CodeMirror-Tern-completion-bool:before {
200 background-color: #FF0000;
203 .variable-or-property .token-domnode {
209 .devtools-sidebar-tabs > tabs,
210 .CodeMirror-dialog { /* General toolbar styling */
211 /* color: var(--theme-body-color-alt);
212 background-color: var(--theme-toolbar-background);*/
216 .theme-fg-contrast { /* To be used for text on theme-bg-contrast */
220 .ruleview-colorswatch,
221 .computedview-colorswatch,
222 .ruleview-bezierswatch {
223 /* box-shadow: 0 0 0 1px #818181; */
226 .variables-view-scope:focus > .title,
227 .variable-or-property:focus > .title {
228 background-color: #008484; /* fg-color2 */
232 /* CodeMirror specific styles.
233 * Best effort to match the existing theme, some of the colors
234 * are duplicated here to prevent weirdness in the main theme. */
236 .CodeMirror { /* Inherit platform specific font sizing and styles */
237 font-family: inherit;
239 background: transparent;
243 .cm-s-mozilla .cm-variable-2,
244 .cm-s-mozilla .cm-variable-3,
245 .cm-s-mozilla .cm-operator,
246 .cm-s-mozilla .cm-special {
247 color: var(--theme-content-color1);
250 .cm-s-mozilla .CodeMirror-lines .CodeMirror-cursor {
251 border-left: solid 1px #FF9F00;
254 .cm-s-mozilla.CodeMirror-focused .CodeMirror-selected { /* selected text (focused) */
259 .cm-s-mozilla .CodeMirror-selected { /* selected text (unfocused) */
264 .cm-s-mozilla .CodeMirror-activeline-background { /* selected color with alpha */
265 background: rgba(0, 132, 132, .25);
268 div.cm-s-mozilla span.CodeMirror-matchingbracket { /* highlight brackets */
269 outline: solid 1px rgba(0, 132, 132, .4);
273 /* Highlight for a line that contains an error. */
274 div.CodeMirror div.error-line {
275 background: rgba(255, 0, 0, 0.2);
278 /* Highlight for a line that represents a stack frame's location. */
279 div.CodeMirror div.debug-line {
280 background: rgba(156, 156, 255, 0.2);
283 /* Generic highlighted text */
284 div.CodeMirror span.marked-text {
285 background: rgba(255,207,0,0.2);
286 border: 1px dashed rgba(156, 156, 255, 0.6);
287 -moz-margin-start: -1px;
288 -moz-margin-end: -1px;
291 /* Highlight for evaluating current statement. */
292 div.CodeMirror span.eval-text {
293 background-color: #403800;
296 .cm-s-mozilla .CodeMirror-linenumber { /* line number text */
297 color: var(--theme-content-color2);
300 .cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
301 border-right-color: var(--theme-contrast-border);
302 background-color: var(--theme-contrast-background);
305 .cm-s-markup-view pre {
310 /* Twisty and checkbox controls */
311 .theme-twisty, .theme-checkbox {
314 background-repeat: no-repeat;
315 background-image: url("chrome://browser/skin/devtools/controls.png");
316 background-size: 28px 28px;
321 background-position: -0px -14px;
324 .theme-twisty:-moz-focusring {
328 .theme-twisty[open] {
329 background-position: -14px -14px;
332 .theme-twisty[invisible] {
337 display: inline-block;
341 background-position: 0 0;
344 .theme-checkbox[checked] {
345 background-position: -14px 0;
348 @media (min-resolution: 2dppx) {
349 .theme-twisty, .theme-checkbox {
350 background-image: url("chrome://browser/skin/devtools/controls@2x.png");
354 /* XUL panel styling (see browser/devtools/shared/widgets/Tooltip.js) */
356 .theme-tooltip-panel .panel-arrowcontent {
358 background: rgba(0, 0, 0, .9);
359 /* border-radius: 5px;
361 border: 3px solid #9C9CFF; */
364 /* Overring panel arrow images to fit with our light and dark themes */
366 .theme-tooltip-panel .panel-arrow[side="top"] {
367 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
371 .theme-tooltip-panel .panel-arrow[side="bottom"] {
372 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
376 .theme-tooltip-panel .panel-arrow[side="left"] {
377 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
381 .theme-tooltip-panel .panel-arrow[side="right"] {
382 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
386 @media (min-resolution: 2dppx) {
387 .theme-tooltip-panel .panel-arrow[side="top"],
388 .theme-tooltip-panel .panel-arrow[side="bottom"] {
389 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark@2x.png");
392 .theme-tooltip-panel .panel-arrow[side="left"],
393 .theme-tooltip-panel .panel-arrow[side="right"] {
394 list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark@2x.png");
398 .theme-tooltip-panel .devtools-tooltip-simple-text {
400 border-bottom: 1px solid #A09090;
403 .theme-tooltip-panel .devtools-tooltip-simple-text:last-child {
408 .devtools-searchinput {
409 background-color: #000000;
413 .CodeMirror-Tern-fname {
418 .CodeMirror-Tern-tooltip {
419 background-color: #000000;
420 color: var(--theme-body-color);
423 /* === BEGIN toolbars.inc.css === */
427 .devtools-sidebar-tabs > tabs {
433 .devtools-toolbar checkbox {
434 /* LCARStrek checkbox colors don't work well against toolbar background */
435 background-color: var(--theme-toolbar-background);
438 .devtools-toolbar checkbox .checkbox-check {
440 .devtools-toolbar checkbox .checkbox-label-box {
442 .devtools-toolbar checkbox .checkbox-label-box .checkbox-label {
445 /* Toolbar buttons */
447 .devtools-toolbarbutton {
448 /* transition: background 0.05s ease-in-out; */
451 .devtools-menulist:-moz-focusring,
452 .devtools-toolbarbutton:-moz-focusring {
453 outline: 1px dotted var(--theme-selection-color);
456 .devtools-toolbarbutton[standalone] {
458 .devtools-toolbarbutton[label][standalone] {
461 .devtools-toolbarbutton:not([label]),
462 .devtools-toolbarbutton[text-as-image] {
466 #toolbox-buttons .devtools-toolbarbutton[text-as-image] {
467 -moz-padding-start: 5px;
468 -moz-padding-end: 5px;
472 /* Command buttons with menupopups should be styled slightly differently -
473 no background color and a bit more narrow */
474 #toolbox-buttons .devtools-toolbarbutton:not([text-as-image]):not(:hover):not([open=true]) {
475 background: transparent;
477 #toolbox-buttons .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker {
481 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
485 .devtools-toolbar .devtools-toolbarbutton {
486 -moz-margin-start: 2px;
489 .devtools-toolbarbutton > .toolbarbutton-icon {
492 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
493 /* -moz-box-orient: horizontal; */
496 .devtools-toolbarbutton[type=menu-button] {
499 .devtools-toolbarbutton > .toolbarbutton-menubutton-button > .toolbarbutton-icon {
502 .devtools-menulist > .menulist-dropmarker {
505 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
506 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
510 .devtools-toolbarbutton {
513 /* Text-only buttons */
514 .devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]),
515 #toolbox-buttons .devtools-toolbarbutton[text-as-image] {
516 /* background-color: rgba(0, 0, 0, .2); / Splitter */
520 .devtools-toolbarbutton:not([disabled]):hover,
521 #toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover,
522 .devtools-toolbarbutton:not([disabled])[label]:not([text-as-image]):not([type=menu-button]):hover {
523 /* background: rgba(0, 0, 0, .3); / Splitters */
526 .devtools-toolbarbutton:not([disabled]):hover:active,
527 #toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover:active,
528 .devtools-toolbarbutton:not([disabled])[label]:not([text-as-image]):not([type=menu-button]):hover:active {
529 /* background: rgba(0, 0, 0, .4); / Splitters */
532 /* Menu type buttons and checked states */
533 .devtools-toolbarbutton[checked=true],
534 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
535 /* background: rgba(29, 79, 115, .7); / Select highlight blue /
536 color: var(--theme-selection-color); */
539 .devtools-menulist[open=true],
540 .devtools-toolbarbutton[open=true],
541 .devtools-toolbarbutton[open=true]:hover,
542 .devtools-toolbarbutton[open=true]:hover:active,
543 .devtools-toolbarbutton[checked=true],
544 .devtools-toolbarbutton[checked=true]:hover,
545 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
546 /* background: rgba(29, 79, 115, .8); / Select highlight blue /
547 color: var(--theme-selection-color); */
550 .devtools-toolbarbutton[checked=true]:hover {
553 .devtools-option-toolbarbutton {
554 list-style-image: url("chrome://browser/skin/devtools/tool-options-tbutton.svg");
559 .devtools-option-toolbarbutton:hover,
560 .devtools-option-toolbarbutton[open=true] {
561 list-style-image: url("chrome://browser/skin/devtools/tool-options.svg");
564 /* Toolbar button groups */
565 .devtools-toolbarbutton-group > .devtools-toolbarbutton {
568 .devtools-toolbarbutton-group > .devtools-toolbarbutton:last-child {
571 .devtools-toolbarbutton-group + .devtools-toolbarbutton {
574 .devtools-separator + .devtools-toolbarbutton {
577 /* HTML buttons, similar to toolbar buttons, but work in HTML documents */
580 border: 0 solid var(--theme-splitter-color);
581 background: var(--theme-toolbar-background);
586 /* The icon is absolutely positioned in the button using ::before */
590 .devtools-button[standalone] {
596 .devtools-button:not([disabled]):hover {
597 background: var(--theme-hover-background);
598 color: var(--theme-hover-color);
601 .devtools-button:not([disabled]):hover:active {
602 background: var(--theme-active-background);
603 color: var(--theme-active-color);
606 /* Menu type buttons and checked states */
607 .devtools-button[checked] {
608 background: var(--theme-selection-background);
609 color: var(--theme-selection-color);
612 .devtools-button::before {
620 margin: -8px 0 0 -8px;
621 background-repeat: no-repeat;
624 @media (min-resolution: 2dppx) {
625 .devtools-button::before {
626 background-size: 32px;
633 .devtools-searchinput {
634 /* -moz-appearance: none;
636 border: 1px solid rgb(88, 94, 101);
638 background-color: rgba(24, 29, 32, 1);
640 color: rgba(184, 200, 217, 1);*/
643 .devtools-searchinput {
647 -moz-padding-start: 22px;
648 -moz-padding-end: 12px;
649 background-position: 8px center;
650 background-size: 11px 11px;
651 background-repeat: no-repeat;
654 background-image: url("magnifying-glass.png");
657 @media (min-resolution: 2dppx) {
658 .devtools-searchinput {
659 background-image: url("magnifying-glass@2x.png");
663 .devtools-searchinput:-moz-locale-dir(rtl) {
664 background-position: calc(100% - 8px) center;
667 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
671 .devtools-no-search-result {
672 border-color: var(--theme-highlight-red) !important;
677 .devtools-closebutton {
682 .devtools-closebutton > image {
685 -moz-appearance: none;
686 background-size: 32px 16px;
687 background-image: url("chrome://browser/skin/devtools/close@2x.png");
688 background-position: 0 center;
689 background-repeat: no-repeat;
692 .devtools-closebutton:hover > image,
693 .devtools-closebutton:hover:active > image {
694 background-position: -16px center;
697 .devtools-closebutton > .toolbarbutton-text {
701 /* In-tools sidebar */
703 .devtools-sidebar-tabs {
706 .devtools-sidebar-tabs > tabpanels {
711 .devtools-sidebar-tabs > tabs {
716 .devtools-sidebar-tabs > tabs > .tabs-right,
717 .devtools-sidebar-tabs > tabs > .tabs-left {
721 .devtools-sidebar-tabs > tabs > tab {
729 .devtools-sidebar-tabs > tabs > tab:-moz-focusring {
733 .devtools-sidebar-tabs > tabs > tab:last-of-type {
734 -moz-border-end-width: 0;
737 .devtools-sidebar-tabs > tabs > tab:first-child {
740 .devtools-sidebar-tabs > tabs > tab:hover {
743 .devtools-sidebar-tabs > tabs > tab:hover:active {
746 .devtools-sidebar-tabs > tabs > tab[selected] + tab {
749 .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover {
752 .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover:active {
755 .devtools-sidebar-tabs > tabs > tab[selected],
756 .devtools-sidebar-tabs > tabs > tab[selected]:hover:active {
759 /* Toolbox - moved from toolbox.css.
760 * Rules that apply to the global toolbox like command buttons,
761 * devtools tabs, docking buttons, etc. */
763 #toolbox-controls > toolbarbutton,
764 #toolbox-dock-buttons > toolbarbutton {
766 /* padding: 1px 3px; */
769 #toolbox-dock-buttons > toolbarbutton > image {
772 background-size: 32px 16px;
773 background-position: 0 center;
774 background-repeat: no-repeat;
777 #toolbox-dock-buttons > toolbarbutton:hover > image {
778 background-position: -16px center;
781 #toolbox-dock-bottom > image {
782 background-image: url("chrome://browser/skin/devtools/dock-bottom@2x.png");
785 #toolbox-dock-side > image {
786 background-image: url("chrome://browser/skin/devtools/dock-side@2x.png");
789 #toolbox-dock-window > image {
790 background-image: url("chrome://browser/skin/devtools/undock@2x.png");
793 #toolbox-dock-window,
794 #toolbox-dock-bottom,
798 #toolbox-dock-window:hover,
799 #toolbox-dock-bottom:hover,
800 #toolbox-dock-side:hover {
803 .devtools-separator {
808 #toolbox-buttons:empty + .devtools-separator,
809 .devtools-separator[invisible] {
813 #toolbox-controls-separator {
817 /* Command buttons */
820 /* padding: 1px 4px; */
824 .command-button:hover {
826 .command-button:hover:active {
829 .command-button > image {
832 background-size: 32px 16px;
833 background-position: 0 center;
834 background-repeat: no-repeat;
837 .command-button:hover > image,
838 .command-button:hover:active > image,
839 .command-button[checked=true] > image,
840 .command-button[open=true] > image {
841 background-position: -16px center;
844 #command-button-paintflashing > image {
845 background-image: url("chrome://browser/skin/devtools/command-paintflashing.png");
848 #command-button-screenshot > image {
849 background-image: url("chrome://browser/skin/devtools/command-screenshot.png");
852 #command-button-responsive > image {
853 background-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
856 #command-button-tilt > image {
857 background-image: url("chrome://browser/skin/devtools/command-tilt.png");
860 #command-button-scratchpad > image {
861 background-image: url("chrome://browser/skin/devtools/command-scratchpad.png");
864 #command-button-pick > image {
865 background-image: url("chrome://browser/skin/devtools/command-pick.png");
868 #command-button-frames > image {
869 background-image: url("chrome://browser/skin/devtools/command-frames.png");
872 #command-button-splitconsole > image {
873 background-image: url("chrome://browser/skin/devtools/command-console.png");
876 #command-button-eyedropper > image {
877 background-image: url("chrome://browser/skin/devtools/command-eyedropper.png");
880 @media (min-resolution: 2dppx) {
881 #command-button-paintflashing > image {
882 background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
885 #command-button-screenshot > image {
886 background-image: url("chrome://browser/skin/devtools/command-screenshot@2x.png");
889 #command-button-responsive > image {
890 background-image: url("chrome://browser/skin/devtools/command-responsivemode@2x.png");
893 #command-button-tilt > image {
894 background-image: url("chrome://browser/skin/devtools/command-tilt@2x.png");
897 #command-button-scratchpad > image {
898 background-image: url("chrome://browser/skin/devtools/command-scratchpad@2x.png");
901 #command-button-pick > image {
902 background-image: url("chrome://browser/skin/devtools/command-pick@2x.png");
905 #command-button-frames > image {
906 background-image: url("chrome://browser/skin/devtools/command-frames@2x.png");
909 #command-button-splitconsole > image {
910 background-image: url("chrome://browser/skin/devtools/command-console@2x.png");
913 #command-button-eyedropper > image {
914 background-image: url("chrome://browser/skin/devtools/command-eyedropper@2x.png");
925 -moz-padding-start: 3px;
926 background-color: #000000;
935 -moz-margin-end: 3px;
937 -moz-padding-start: 3px;
938 background-color: #C09070;
939 border-radius: 8px 8px 0 0;
942 .devtools-tab > image {
943 -moz-margin-end: 0px;
944 /* -moz-margin-start: 4px; */
946 width: 16px; /* Prevents collapse during theme switching */
949 .devtools-tab:hover > image {
952 .devtools-tab:active > image,
953 .devtools-tab[selected] > image {
957 .devtools-tab:hover:active {
958 background-color: var(--theme-hover-background);
959 color: var(--theme-hover-color);
962 .devtools-tab[selected] {
963 background-color: var(--theme-selection-background);
964 color: var(--theme-selection-color);
967 .devtools-tab > spacer {
972 .devtools-tab > image {
974 -moz-margin-start: 0;
977 #toolbox-option-container {
978 background-color: #000000;
979 -moz-padding-start: 3px;
982 #toolbox-tab-options {
986 #toolbox-tab-options > image {
987 -moz-margin-end: 3px;
990 .devtools-tab:not([highlighted]) > .highlighted-icon,
991 .devtools-tab[selected] > .highlighted-icon,
992 .devtools-tab:not([selected])[highlighted] > .default-icon {
993 visibility: collapse;
996 .devtools-tab:not([selected])[highlighted] {
1000 .devtools-tab:not([highlighted]) > .highlighted-icon,
1001 .devtools-tab[selected] > .highlighted-icon,
1002 .devtools-tab:not([selected])[highlighted] > .default-icon {
1003 visibility: collapse;
1006 /* The options tab is special - it doesn't have the same parent
1007 as the other tabs (toolbox-option-container vs toolbox-tabs) */
1008 #toolbox-option-container .devtools-tab:not([selected]) {
1009 /* background-color: transparent;*/
1011 #toolbox-option-container .devtools-tab {
1012 /* border-color: transparent;
1014 -moz-padding-start: 1px;*/
1016 #toolbox-tab-options > image {
1020 .hidden-labels-box:not(.visible) > label,
1021 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
1025 .devtools-horizontal-splitter {
1026 /* border-bottom: 1px solid var(--theme-splitter-color); */
1029 .devtools-side-splitter {
1030 /* -moz-border-end: 1px solid var(--theme-splitter-color);
1031 border-color: var(--theme-splitter-color); / Needed for responsive container at low width. */
1034 /* === END toolbars.inc.css === */