michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public michael@0: * License, v. 2.0. If a copy of the MPL was not distributed with this file, michael@0: * You can obtain one at http://mozilla.org/MPL/2.0/. */ michael@0: michael@0: /* Reload and waiting notices */ michael@0: michael@0: .notice-container { michael@0: margin-top: -50vh; michael@0: } michael@0: michael@0: .theme-dark .notice-container { michael@0: background: url(background-noise-toolbar.png), #343c45; /* Toolbars */ michael@0: color: #f5f7fa; /* Light foreground text */ michael@0: } michael@0: michael@0: .theme-light .notice-container { michael@0: background: url(background-noise-toolbar.png), #f0f1f2; /* Toolbars */ michael@0: color: #585959; /* Grey foreground text */ michael@0: } michael@0: michael@0: #reload-notice { michael@0: font-size: 120%; michael@0: } michael@0: michael@0: #waiting-notice { michael@0: font-size: 110%; michael@0: } michael@0: michael@0: #waiting-notice::before { michael@0: display: inline-block; michael@0: content: ""; michael@0: background: url("chrome://global/skin/icons/loading_16.png") center no-repeat; michael@0: width: 16px; michael@0: height: 16px; michael@0: -moz-margin-end: 6px; michael@0: } michael@0: michael@0: #requests-menu-reload-notice-button { michael@0: min-height: 2em; michael@0: } michael@0: michael@0: /* Shaders pane */ michael@0: michael@0: #shaders-pane { michael@0: min-width: 150px; michael@0: } michael@0: michael@0: #shaders-pane + .devtools-side-splitter { michael@0: border-color: transparent; michael@0: } michael@0: michael@0: .program-item { michael@0: padding: 2px 0px; michael@0: } michael@0: michael@0: .side-menu-widget-item-checkbox { michael@0: -moz-appearance: none; michael@0: opacity: 0; michael@0: transition: opacity .15s ease-out 0s; michael@0: } michael@0: michael@0: /* Only show the checkbox when the source is hovered over, is selected, or if it michael@0: * is not checked. */ michael@0: .side-menu-widget-item:hover > .side-menu-widget-item-checkbox, michael@0: .side-menu-widget-item.selected > .side-menu-widget-item-checkbox, michael@0: .side-menu-widget-item-checkbox:not([checked]) { michael@0: opacity: 1; michael@0: transition: opacity .15s ease-out 0s; michael@0: } michael@0: michael@0: .side-menu-widget-item-checkbox .checkbox-check { michael@0: -moz-appearance: none; michael@0: background: url(itemToggle.png); michael@0: background-repeat: no-repeat; michael@0: background-clip: content-box; michael@0: background-size: 32px 16px; michael@0: background-position: -16px 0; michael@0: width: 16px; michael@0: height: 16px; michael@0: border: 0; michael@0: } michael@0: michael@0: .side-menu-widget-item-checkbox[checked] .checkbox-check { michael@0: background-position: 0 0; michael@0: } michael@0: michael@0: /* Shader source editors */ michael@0: michael@0: .editor-label { michael@0: padding: 1px 12px; michael@0: border-top: 1px solid; michael@0: } michael@0: michael@0: .theme-dark .editor-label { michael@0: background: #343c45; /* Dark toolbars */ michael@0: border-color: #000; /* Match the splitter color. */ michael@0: color: #f5f7fa; /* Light foreground text */ michael@0: } michael@0: michael@0: .theme-light .editor-label { michael@0: background: #f0f1f2; /* Light toolbars */ michael@0: border-color: #aaa; /* Match the splitter color. */ michael@0: color: #585959; /* Grey foreground text */ michael@0: } michael@0: michael@0: .theme-dark .editor-label[selected] { michael@0: background-color: #1d4f73; /* Select Highlight Blue */ michael@0: color: #f5f7fa; /* Light foreground text */ michael@0: } michael@0: michael@0: .theme-light .editor-label[selected] { michael@0: background-color: #4c9ed9; /* Select Highlight Blue */ michael@0: color: #f5f7fa; /* Light foreground text */ michael@0: } michael@0: michael@0: /* Responsive sidebar */ michael@0: michael@0: @media (max-width: 700px) { michael@0: #shaders-pane { michael@0: max-height: 60vh; michael@0: } michael@0: michael@0: #editors-splitter { michael@0: border-color: transparent; michael@0: } michael@0: michael@0: .side-menu-widget-container { michael@0: box-shadow: none !important; michael@0: } michael@0: michael@0: .side-menu-widget-item-arrow { michael@0: background-image: none !important; michael@0: } michael@0: michael@0: .editor-label { michael@0: -moz-box-ordinal-group: 0; michael@0: border-bottom: 1px solid; michael@0: } michael@0: }