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);
27 #waiting-notice::before {
28 display: inline-block;
30 background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
42 #shaders-pane + .devtools-side-splitter {
43 border-color: transparent;
46 .side-menu-widget-item-checkbox {
47 -moz-appearance: none;
49 transition: opacity .15s ease-out 0s;
52 /* Only show the checkbox when the source is hovered over, is selected, or if it
54 .side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
55 .side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
56 .side-menu-widget-item-checkbox:not([checked]) {
58 transition: opacity .15s ease-out 0s;
61 .side-menu-widget-item-checkbox .checkbox-check {
62 background-image: url("itemToggle.png");
63 background-color: transparent;
64 background-repeat: no-repeat;
65 background-clip: content-box;
66 background-size: 32px 16px;
67 background-position: -16px 0;
73 @media (min-resolution: 2dppx) {
74 .side-menu-widget-item-checkbox .checkbox-check {
75 background-image: url("itemToggle@2x.png");
79 .side-menu-widget-item-checkbox[checked] .checkbox-check {
80 background-position: 0 0;
83 /* Shader source editors */
86 border-color: var(--theme-contrastsidebar-bordercolor);
91 background: var(--theme-contrastsidebar-background);
92 color: var(--theme-contrastsidebar-color);
95 .editor-label[selected] {
96 background-color: var(--theme-selection-background);
97 color: var(--theme-selection-color);
100 /* Responsive sidebar */
102 @media (max-width: 700px) {
107 .side-menu-widget-container {
108 box-shadow: none !important;
111 .side-menu-widget-item-arrow {
112 background-image: none !important;
115 .devtools-side-splitter {
116 border-top-color: transparent !important;
120 -moz-box-ordinal-group: 0;
123 .editor-label:not([selected]) {