/* 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: #000000; 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; } /* 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]) { } }