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;
37 #requests-menu-reload-notice-button {
47 #shaders-pane + .devtools-side-splitter {
48 border-color: transparent;
51 .side-menu-widget-item-checkbox {
52 -moz-appearance: none;
54 transition: opacity .15s ease-out 0s;
57 /* Only show the checkbox when the source is hovered over, is selected, or if it
59 .side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
60 .side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
61 .side-menu-widget-item-checkbox:not([checked]) {
63 transition: opacity .15s ease-out 0s;
66 .side-menu-widget-item-checkbox .checkbox-check {
67 background-image: url("itemToggle.png");
68 background-color: transparent;
69 background-repeat: no-repeat;
70 background-clip: content-box;
71 background-size: 32px 16px;
72 background-position: -16px 0;
78 @media (min-resolution: 2dppx) {
79 .side-menu-widget-item-checkbox .checkbox-check {
80 background-image: url("itemToggle@2x.png");
84 .side-menu-widget-item-checkbox[checked] .checkbox-check {
85 background-position: 0 0;
88 /* Shader source editors */
91 border-color: #000000;
95 background-color: #A09090;
100 .editor-label[selected] {
101 background-color: #008484;
105 /* Responsive sidebar */
107 @media (max-width: 700px) {
112 .side-menu-widget-container {
113 box-shadow: none !important;
116 .side-menu-widget-item-arrow {
117 background-image: none !important;
120 .devtools-side-splitter {
121 border-top-color: transparent !important;
125 -moz-box-ordinal-group: 0;
128 .editor-label:not([selected]) {