+++ /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/. */
-
-window {
- padding: 0;
-}
-
-/* Reload and waiting notices */
-
-.notice-container {
- margin-top: -50vh;
- color: var(--theme-body-color);
-}
-
-#reload-notice {
- font-size: 120%;
-}
-
-#waiting-notice {
- font-size: 110%;
-}
-
-/* Shaders pane */
-
-#shaders-pane {
- min-width: 150px;
-}
-
-.program-item {
- padding: 2px 0px;
-}
-
-.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("images/itemToggle.svg");
- background-color: transparent;
- width: 16px;
- height: 16px;
- border: 0;
-}
-
-side-menu-widget-item-checkbox:not([checked]) .checkbox-check,
-.side-menu-widget-item-checkbox:not([checked]) + vbox {
- opacity: 0.3;
-}
-
-/* Shader source editors */
-
-#editors-splitter {
- border-color: var(--theme-contrastsidebar-bordercolor);
-}
-
-.editor-label {
- padding: 1px 12px;
- border-top: 1px solid;
-}
-
-.editor-label {
- 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;
- }
-
- .editor-label {
- -moz-box-ordinal-group: 0;
- }
-}