--- /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;
+}
+
+#body {
+ background-color: #000000;
+}
+
+#content {
+ background-color: #000000;
+}
+
+/* Reload and waiting notices */
+
+.notice-container {
+ background-color: #000000;
+ margin-top: -50vh;
+ color: #FF9F00;
+}
+
+#reload-notice {
+ font-size: 120%;
+}
+
+#waiting-notice {
+ font-size: 110%;
+}
+
+#waiting-notice::before {
+ display: inline-block;
+ content: "";
+ background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
+ width: 16px;
+ height: 16px;
+ -moz-margin-end: 6px;
+}
+
+#requests-menu-reload-notice-button {
+ min-height: 2em;
+}
+
+/* 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 {
+ -moz-appearance: none;
+ background: none;
+ background-image: url("itemToggle.png");
+ background-repeat: no-repeat;
+ background-clip: content-box;
+ background-size: 32px 16px;
+ background-position: -16px 0;
+ width: 16px;
+ height: 16px;
+ border: 0;
+}
+
+.side-menu-widget-item-checkbox[checked] .checkbox-check {
+ background-position: 0 0;
+}
+
+.side-menu-widget-item-checkbox:not([checked]) ~ .side-menu-widget-item-contents {
+ color: #8050B0;
+}
+
+/* Shader source editors */
+
+#editors-splitter {
+ border-color: #000000;
+}
+
+.editor-label {
+ background-color: #A09090;
+ padding: 1px 12px;
+ color: #000000;
+}
+
+.editor-label[selected] {
+ background-color: #008484;
+ color: #FFCF00;
+}
+
+/* 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]) {
+ }
+}