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 === */
12 background-color: #000000;
16 background-color: #000000;
19 /* Reload and waiting notices */
22 background-color: #000000;
35 #waiting-notice::before {
36 display: inline-block;
38 background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
44 #requests-menu-reload-notice-button {
54 #shaders-pane + .devtools-side-splitter {
55 border-color: transparent;
58 .side-menu-widget-item-checkbox {
59 -moz-appearance: none;
61 transition: opacity .15s ease-out 0s;
64 /* Only show the checkbox when the source is hovered over, is selected, or if it
66 .side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
67 .side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
68 .side-menu-widget-item-checkbox:not([checked]) {
70 transition: opacity .15s ease-out 0s;
73 .side-menu-widget-item-checkbox .checkbox-check {
74 -moz-appearance: none;
76 background-image: url("itemToggle.png");
77 background-repeat: no-repeat;
78 background-clip: content-box;
79 background-size: 32px 16px;
80 background-position: -16px 0;
86 .side-menu-widget-item-checkbox[checked] .checkbox-check {
87 background-position: 0 0;
90 .side-menu-widget-item-checkbox:not([checked]) ~ .side-menu-widget-item-contents {
94 /* Shader source editors */
97 border-color: #000000;
101 background-color: #A09090;
106 .editor-label[selected] {
107 background-color: #008484;
111 /* Responsive sidebar */
113 @media (max-width: 700px) {
118 .side-menu-widget-container {
119 box-shadow: none !important;
122 .side-menu-widget-item-arrow {
123 background-image: none !important;
126 .devtools-side-splitter {
127 border-top-color: transparent !important;
131 -moz-box-ordinal-group: 0;
134 .editor-label:not([selected]) {