--- /dev/null
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+/* === file identical to shadereditor.inc.css === */
+
+window {
+ padding: 0;
+}
+
+/* Reload and waiting notices */
+
+.notice-container {
+ margin-top: -50vh;
+ background-color: var(--theme-toolbar-background);
+ color: var(--theme-body-color);
+}
+
+#reload-notice {
+ font-size: 120%;
+}
+
+#waiting-notice {
+ font-size: 110%;
+}
+
+/* Shaders pane */
+
+#shaders-pane {
+ min-width: 150px;
+}
+
+#shaders-pane + .devtools-side-splitter {
+ border-color: transparent;
+}
+
+.side-menu-widget-item-checkbox {
+ -moz-appearance: none;
+ opacity: 0;
+ transition: opacity .15s ease-out 0s;
+}
+
+/* Only show the checkbox when the source is hovered over, is selected, or if it
+ * is not checked. */
+.side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
+.side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
+.side-menu-widget-item-checkbox:not([checked]) {
+ opacity: 1;
+ transition: opacity .15s ease-out 0s;
+}
+
+.side-menu-widget-item-checkbox .checkbox-check {
+ background-image: url("itemToggle.png");
+ background-color: transparent;
+ background-repeat: no-repeat;
+ background-clip: content-box;
+ background-size: 32px 16px;
+ background-position: -16px 0;
+ width: 16px;
+ height: 16px;
+ border: 0;
+}
+
+@media (min-resolution: 1.1dppx) {
+ .side-menu-widget-item-checkbox .checkbox-check {
+ background-image: url("itemToggle@2x.png");
+ }
+}
+
+.side-menu-widget-item-checkbox[checked] .checkbox-check {
+ background-position: 0 0;
+}
+
+/* Shader source editors */
+
+#editors-splitter {
+ border-color: var(--theme-contrastsidebar-bordercolor);
+}
+
+.editor-label {
+ padding: 1px 12px;
+ background: var(--theme-contrastsidebar-background);
+ color: var(--theme-contrastsidebar-color);
+}
+
+.editor-label[selected] {
+ background-color: var(--theme-selection-background);
+ color: var(--theme-selection-color);
+}
+
+/* Responsive sidebar */
+
+@media (max-width: 700px) {
+ #shaders-pane {
+ max-height: 60vh;
+ }
+
+ .side-menu-widget-container {
+ box-shadow: none !important;
+ }
+
+ .side-menu-widget-item-arrow {
+ background-image: none !important;
+ }
+
+ .devtools-side-splitter {
+ border-top-color: transparent !important;
+ }
+
+ .editor-label {
+ -moz-box-ordinal-group: 0;
+ }
+
+ .editor-label:not([selected]) {
+ }
+}