1 /* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
3 * You can obtain one at http://mozilla.org/MPL/2.0/. */
5 /* === file identical to shadereditor.inc.css === */
11 /* Reload and waiting notices */
15 background-color: var(--theme-toolbar-background);
16 color: var(--theme-body-color);
33 #shaders-pane + .devtools-side-splitter {
34 border-color: transparent;
37 .side-menu-widget-item-checkbox {
38 -moz-appearance: none;
40 transition: opacity .15s ease-out 0s;
43 /* Only show the checkbox when the source is hovered over, is selected, or if it
45 .side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
46 .side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
47 .side-menu-widget-item-checkbox:not([checked]) {
49 transition: opacity .15s ease-out 0s;
52 .side-menu-widget-item-checkbox .checkbox-check {
53 background-image: url("itemToggle.png");
54 background-color: transparent;
55 background-repeat: no-repeat;
56 background-clip: content-box;
57 background-size: 32px 16px;
58 background-position: -16px 0;
64 @media (min-resolution: 2dppx) {
65 .side-menu-widget-item-checkbox .checkbox-check {
66 background-image: url("itemToggle@2x.png");
70 .side-menu-widget-item-checkbox[checked] .checkbox-check {
71 background-position: 0 0;
74 /* Shader source editors */
77 border-color: var(--theme-contrastsidebar-bordercolor);
82 background: var(--theme-contrastsidebar-background);
83 color: var(--theme-contrastsidebar-color);
86 .editor-label[selected] {
87 background-color: var(--theme-selection-background);
88 color: var(--theme-selection-color);
91 /* Responsive sidebar */
93 @media (max-width: 700px) {
98 .side-menu-widget-container {
99 box-shadow: none !important;
102 .side-menu-widget-item-arrow {
103 background-image: none !important;
106 .devtools-side-splitter {
107 border-top-color: transparent !important;
111 -moz-box-ordinal-group: 0;
114 .editor-label:not([selected]) {