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 */
16 background-color: #000000;
28 #waiting-notice::before {
29 display: inline-block;
31 background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
43 #shaders-pane + .devtools-side-splitter {
44 border-color: transparent;
47 .side-menu-widget-item-checkbox {
48 -moz-appearance: none;
50 transition: opacity .15s ease-out 0s;
53 /* Only show the checkbox when the source is hovered over, is selected, or if it
55 .side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
56 .side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
57 .side-menu-widget-item-checkbox:not([checked]) {
59 transition: opacity .15s ease-out 0s;
62 .side-menu-widget-item-checkbox .checkbox-check {
63 background-image: url("itemToggle.png");
64 background-color: transparent;
65 background-repeat: no-repeat;
66 background-clip: content-box;
67 background-size: 32px 16px;
68 background-position: -16px 0;
74 @media (min-resolution: 2dppx) {
75 .side-menu-widget-item-checkbox .checkbox-check {
76 background-image: url("itemToggle@2x.png");
80 .side-menu-widget-item-checkbox[checked] .checkbox-check {
81 background-position: 0 0;
84 /* Shader source editors */
87 border-color: #000000;
91 background-color: #A09090;
96 .editor-label[selected] {
97 background-color: #008484;
101 /* Responsive sidebar */
103 @media (max-width: 700px) {
108 .side-menu-widget-container {
109 box-shadow: none !important;
112 .side-menu-widget-item-arrow {
113 background-image: none !important;
116 .devtools-side-splitter {
117 border-top-color: transparent !important;
121 -moz-box-ordinal-group: 0;
124 .editor-label:not([selected]) {