first part of syncing LCARStrek with Firefox 52 browser windows theme changes
[themes.git] / LCARStrek / 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
a1ba87af
RK
5window {
6 padding: 0;
7}
8
a1ba87af
RK
9/* Reload and waiting notices */
10
11.notice-container {
a1ba87af 12 margin-top: -50vh;
28e80a05 13 color: var(--theme-body-color);
a1ba87af
RK
14}
15
16#reload-notice {
17 font-size: 120%;
18}
19
20#waiting-notice {
21 font-size: 110%;
22}
23
a1ba87af
RK
24/* Shaders pane */
25
26#shaders-pane {
27 min-width: 150px;
28}
29
7d6161c5
RK
30.program-item {
31 padding: 2px 0px;
a1ba87af
RK
32}
33
34.side-menu-widget-item-checkbox {
35 -moz-appearance: none;
36 opacity: 0;
37 transition: opacity .15s ease-out 0s;
38}
39
40/* Only show the checkbox when the source is hovered over, is selected, or if it
41 * is not checked. */
42.side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
43.side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
44.side-menu-widget-item-checkbox:not([checked]) {
45 opacity: 1;
46 transition: opacity .15s ease-out 0s;
47}
48
49.side-menu-widget-item-checkbox .checkbox-check {
1ad21b1f 50 background-image: url("images/itemToggle.svg");
3d64e0ce 51 background-color: transparent;
a1ba87af
RK
52 width: 16px;
53 height: 16px;
54 border: 0;
55}
56
1ad21b1f
RK
57side-menu-widget-item-checkbox:not([checked]) .checkbox-check,
58.side-menu-widget-item-checkbox:not([checked]) + vbox {
59 opacity: 0.3;
a1ba87af
RK
60}
61
a1ba87af
RK
62/* Shader source editors */
63
64#editors-splitter {
28e80a05 65 border-color: var(--theme-contrastsidebar-bordercolor);
a1ba87af
RK
66}
67
68.editor-label {
a1ba87af 69 padding: 1px 12px;
7d6161c5
RK
70 border-top: 1px solid;
71}
72
73.editor-label {
28e80a05
RK
74 background: var(--theme-contrastsidebar-background);
75 color: var(--theme-contrastsidebar-color);
a1ba87af
RK
76}
77
78.editor-label[selected] {
28e80a05
RK
79 background-color: var(--theme-selection-background);
80 color: var(--theme-selection-color);
a1ba87af
RK
81}
82
83/* Responsive sidebar */
84
85@media (max-width: 700px) {
86 #shaders-pane {
87 max-height: 60vh;
88 }
89
90 .side-menu-widget-container {
91 box-shadow: none !important;
92 }
93
94 .side-menu-widget-item-arrow {
95 background-image: none !important;
96 }
97
a1ba87af
RK
98 .editor-label {
99 -moz-box-ordinal-group: 0;
100 }
a1ba87af 101}