fourth and final part of syncing LCARStrek with Firefox 31 windows theme changes
[themes.git] / LCARStrek / browser / devtools / shadereditor.css
CommitLineData
a1ba87af
RK
1/* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
3 * You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5/* === file identical to shadereditor.inc.css === */
6
7window {
8 padding: 0;
9}
10
a1ba87af
RK
11/* Reload and waiting notices */
12
13.notice-container {
a1ba87af 14 margin-top: -50vh;
45dc7657
RK
15
16 background-color: #000000;
a1ba87af
RK
17 color: #FF9F00;
18}
19
20#reload-notice {
21 font-size: 120%;
22}
23
24#waiting-notice {
25 font-size: 110%;
26}
27
28#waiting-notice::before {
29 display: inline-block;
30 content: "";
31 background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
32 width: 16px;
33 height: 16px;
34 -moz-margin-end: 6px;
35}
36
37#requests-menu-reload-notice-button {
38 min-height: 2em;
39}
40
41/* Shaders pane */
42
43#shaders-pane {
44 min-width: 150px;
45}
46
47#shaders-pane + .devtools-side-splitter {
48 border-color: transparent;
49}
50
51.side-menu-widget-item-checkbox {
52 -moz-appearance: none;
53 opacity: 0;
54 transition: opacity .15s ease-out 0s;
55}
56
57/* Only show the checkbox when the source is hovered over, is selected, or if it
58 * is not checked. */
59.side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
60.side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
61.side-menu-widget-item-checkbox:not([checked]) {
62 opacity: 1;
63 transition: opacity .15s ease-out 0s;
64}
65
66.side-menu-widget-item-checkbox .checkbox-check {
67 -moz-appearance: none;
68 background: none;
69 background-image: url("itemToggle.png");
70 background-repeat: no-repeat;
71 background-clip: content-box;
72 background-size: 32px 16px;
73 background-position: -16px 0;
74 width: 16px;
75 height: 16px;
76 border: 0;
77}
78
79.side-menu-widget-item-checkbox[checked] .checkbox-check {
80 background-position: 0 0;
81}
82
a1ba87af
RK
83/* Shader source editors */
84
85#editors-splitter {
86 border-color: #000000;
87}
88
89.editor-label {
90 background-color: #A09090;
91 padding: 1px 12px;
92 color: #000000;
93}
94
95.editor-label[selected] {
96 background-color: #008484;
97 color: #FFCF00;
98}
99
100/* Responsive sidebar */
101
102@media (max-width: 700px) {
103 #shaders-pane {
104 max-height: 60vh;
105 }
106
107 .side-menu-widget-container {
108 box-shadow: none !important;
109 }
110
111 .side-menu-widget-item-arrow {
112 background-image: none !important;
113 }
114
115 .devtools-side-splitter {
116 border-top-color: transparent !important;
117 }
118
119 .editor-label {
120 -moz-box-ordinal-group: 0;
121 }
122
123 .editor-label:not([selected]) {
124 }
125}