sync both themes with suite classic theme changes in SeaMonkey 2.48 cycle
[themes.git] / LCARStrek / devtools / toolbars.css
CommitLineData
dadba0f2
RK
1/* vim:set ts=2 sw=2 sts=2 et: */
2/* This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this
4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
5
6/* CSS Variables specific to the devtools toolbar that aren't defined by the themes */
7.theme-light,
7d6161c5
RK
8.theme-dark,
9.theme-firebug {
10 --toolbar-tab-hover: #FFCF00;
11 --toolbar-tab-hover-active: #FF9F00;
dadba0f2
RK
12 --searchbox-background-color: #000000;
13 --searchbox-border-color: #9C9CFF;
14 --searcbox-no-match-background-color: #400000;
15 --searcbox-no-match-border-color: #FF0000;
1e9e1791
RK
16 --magnifying-glass-image: url(images/search.svg);
17 --filter-image: url(images/filter.svg);
18 --tool-options-image: url(images/tool-options-tbutton.svg);
7d6161c5 19 --icon-filter: invert(1);
6f751fd1 20 --checked-icon-filter: url(images/filters.svg#checked-icon-state);
7d6161c5 21 --toolbar-button-border-color: #A09090;
1e9e1791
RK
22}
23
dadba0f2
RK
24/* Toolbars */
25.devtools-toolbar,
26.devtools-sidebar-tabs tabs {
60156ae2
RK
27 padding: 0;
28 border-width: 0;
29/* border-bottom-width: 1px;*/
30 border-style: solid;
31/* height: 24px;
32 line-height: 24px;*/
33 box-sizing: border-box;
34 font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
35}
36.devtools-toolbar {
37 height: 24px;
dadba0f2
RK
38}
39
40.devtools-toolbar {
1e9e1791 41 border-bottom: 3px solid var(--theme-body-background);
dadba0f2
RK
42}
43
44.devtools-toolbar checkbox {
45 /* LCARStrek checkbox colors don't work well against toolbar background */
46 background-color: var(--theme-toolbar-background);
47 padding: 2px;
48 line-height: -moz-block-height;
49}
50.devtools-toolbar checkbox .checkbox-check {
51}
52.devtools-toolbar checkbox .checkbox-label-box {
53}
54.devtools-toolbar checkbox .checkbox-label-box .checkbox-label {
55}
56
60156ae2
RK
57/* HTML Checkboxes - a lot copied from global/in-content/common.css */
58/* Hide the actual checkbox */
c877146a
RK
59input[type="checkbox"]:not(#browser-style-checkbox),
60#browser-style-checkbox:not([label]) { /* not()s are workaround for old placement of checkbox in label */
60156ae2
RK
61 opacity: 0;
62 width: 0;
63 pointer-events: none;
64 position: absolute;
65}
66
67/* Create a box to style as the checkbox */
68input[type="checkbox"] + label::before {
69 display: inline-block;
70 content: "";
71 vertical-align: middle;
72}
73
74.devtools-searchbox + #browser-style-checkbox-label, /* workaround for old placement of checkbox in label */
75input[type="checkbox"] + label {
76 line-height: 0px;
77 color: var(--theme-capped-toolbar-text);
78}
79
80input[type="checkbox"] + label::before {
81 -moz-appearance: none;
82 width: 13px;
83 height: 13px;
84 border-radius: 0;
85 border: 1px solid var(--theme-body-color);
86 margin-inline-end: 3px;
87 margin-inline-start: 2px;
88 background-color: var(--theme-toolbar-background);
89 background-position: center center;
90 background-repeat: no-repeat;
91}
92
93input[type="checkbox"]:not(:disabled) + label:hover::before {
94 border-color: var(--theme-hover-background);
95}
96.devtools-searchbox + #browser-style-checkbox-label:hover, /* workaround for old placement of checkbox in label */
97input[type="checkbox"]:not(:disabled) + label:hover {
98 color: var(--theme-hover-background);
99}
100input[type="checkbox"]:checked + label::before {
101 background-image: url("chrome://global/skin/in-content/check.svg#check");
102}
103
104input[type="checkbox"]:checked:disabled + label::before {
105 background-image: url("chrome://global/skin/in-content/check.svg#check-disabled");
106}
107input[type="checkbox"]:checked:not(:disabled) + label:hover::before {
108 background-image: url("chrome://global/skin/in-content/check.svg#check-hover");
109}
110input[type="checkbox"]:disabled + label::before {
111 border-color: var(--theme-body-color-inactive);
112}
113input[type="checkbox"]:disabled + label {
114 color: var(--theme-body-color-inactive);
115}
116
6f751fd1
RK
117.devtools-separator {
118 margin: 0 2px;
119 width: 2px;
120 background-image: linear-gradient(transparent 15%, var(--theme-splitter-color) 15%, var(--theme-splitter-color) 85%, transparent 85%);
121 background-size: 1px 100%;
122 background-repeat: no-repeat;
123 background-position: 0, 1px, 2px;
124}
125
60156ae2
RK
126/* HTML toolbars - style them LCARStrek-like */
127
128div.devtools-toolbar {
129 background-size: calc(100% - 30px);
130 background-image: linear-gradient(90deg, var(--theme-capped-toolbar-background), var(--theme-capped-toolbar-background));
131 background-repeat: no-repeat;
132 background-position: center center;
133 display: flex;
134}
135
136div.devtools-toolbar::before,
137div.devtools-toolbar::after {
138 display: flex;
139 content: "";
140 width: 12px;
141 min-height: 16px;
142 background-color: var(--theme-toolbar-caps);
143}
144
145div.devtools-toolbar::before {
146 border-radius: 8px 0px 0px 8px;
147 border: none;
148 border-inline-end: 3px solid black;
149 margin-inline-end: 2px;
150}
151
152div.devtools-toolbar::after {
153 border-radius: 0px 8px 8px 0px;
154 border: none;
155 border-inline-start: 3px solid black;
156 margin-inline-start: auto; /* originally 2px, but auto makes us able to get flexible free space */
157}
158
dadba0f2
RK
159/* Toolbar buttons */
160
161.devtools-menulist,
162.devtools-toolbarbutton,
163.devtools-button {
dadba0f2
RK
164}
165
166.devtools-menulist,
167.devtools-toolbarbutton {
168}
169
dadba0f2
RK
170.devtools-toolbarbutton:not([label]) > .toolbarbutton-icon,
171.devtools-button::before {
172 width: 16px;
173 height: 16px;
174/* transition: opacity 0.05s ease-in-out;*/
175}
176
177/* HTML buttons */
178.devtools-button {
179 margin: 0;
180 padding: 0;
1e9e1791
RK
181 border: none;
182 border-radius: 3px;
6f751fd1 183 min-width: 18px;
1e9e1791
RK
184 height: 100%;
185 margin-inline-start: 2px;
dadba0f2
RK
186 background: var(--theme-toolbar-background);
187 color: var(--theme-body-color);
188 /* The icon is absolutely positioned in the button using ::before */
189 position: relative;
190}
191
192.devtools-button:not([disabled]):hover {
193 background: var(--theme-hover-background);
194 color: var(--theme-hover-color);
195}
196
197.devtools-button:not([disabled]):hover:active {
198 background: var(--theme-active-background);
199 color: var(--theme-active-color);
200}
201
202/* Menu type buttons and checked states */
203.devtools-button[checked] {
204 background: var(--theme-selection-background);
205 color: var(--theme-selection-color);
206}
207
208.devtools-button::before {
209 content: "";
210 display: block;
211 position: absolute;
212 left: 50%;
213 top: 50%;
214 margin: -8px 0 0 -8px;
6f751fd1
RK
215/* background-size: cover;
216 background-repeat: no-repeat;*/
dadba0f2
RK
217/* transition: opacity 0.05s ease-in-out;*/
218}
219
6f751fd1
RK
220.devtools-button:-moz-focusring {
221 outline: none;
222}
223
dadba0f2
RK
224/* Standalone buttons */
225.devtools-button[standalone],
226.devtools-button[data-standalone],
227.devtools-toolbarbutton[standalone],
60156ae2
RK
228.devtools-toolbarbutton[data-standalone],
229.menu-filter-button {
dadba0f2
RK
230 border: none;
231/* min-height: 32px; */
232 background-color: var(--theme-button-background);
1e9e1791
RK
233 color: var(--theme-button-color);
234 border-radius: 300px;
235}
236
237.devtools-button[standalone]:hover,
238.devtools-button[data-standalone]:hover,
239.devtools-toolbarbutton[standalone]:hover,
60156ae2
RK
240.devtools-toolbarbutton[data-standalone]:hover,
241.menu-filter-button:hover {
1e9e1791
RK
242 background-color: var(--theme-hover-background);
243 color: var(--theme-hover-color);
244}
245
246.devtools-button[standalone]:hover:active,
247.devtools-button[data-standalone]:hover:active,
248.devtools-toolbarbutton[standalone]:hover:active,
60156ae2
RK
249.devtools-toolbarbutton[data-standalone]:hover:active,
250.menu-filter-button:hover:active {
1e9e1791
RK
251 background-color: var(--theme-active-background);
252 color: var(--theme-active-color);
dadba0f2
RK
253}
254
60156ae2
RK
255.menu-filter-button.checked {
256 background: var(--theme-selection-background);
257 color: var(--theme-selection-color);
258}
259
260.menu-filter-button + .menu-filter-button {
261 margin-inline-start: 2px;
262}
263
7d6161c5 264.devtools-toolbarbutton[standalone], .devtools-toolbarbutton[data-standalone] {
dadba0f2 265}
7d6161c5 266
dadba0f2
RK
267.devtools-toolbarbutton[label][standalone] {
268}
269
7d6161c5
RK
270.devtools-menulist,
271.devtools-toolbarbutton,
272.devtools-button {
6f751fd1 273 min-height: 18px;
7d6161c5
RK
274}
275
dadba0f2
RK
276/* Icon button styles */
277.devtools-toolbarbutton:not([label]),
278.devtools-toolbarbutton[text-as-image] {
7d6161c5 279 min-width: 16px;
dadba0f2
RK
280}
281
6f751fd1
RK
282/* Set flex attribute to Toolbox buttons and Picker container so,
283 they don't overlapp with the tab bar */
284#toolbox-buttons {
285 display: flex;
dadba0f2
RK
286}
287
6f751fd1
RK
288#toolbox-picker-container {
289 display: flex;
290 margin-inline-start: 1px;
dadba0f2
RK
291}
292
293.devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
294 display: none;
295}
296
297.devtools-toolbar .devtools-toolbarbutton {
dae45075 298 margin-inline-start: 2px;
dadba0f2
RK
299}
300
301.devtools-toolbarbutton > .toolbarbutton-icon {
302}
303
304/* Menu button styles (eg. web console filters) */
305.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
306/* -moz-box-orient: horizontal; */
307}
308
309.devtools-toolbarbutton[type=menu-button] {
310}
311
312.devtools-toolbarbutton > .toolbarbutton-menubutton-button > .toolbarbutton-icon {
313}
314
315.devtools-menulist > .menulist-dropmarker {
316}
317
318.devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
319.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
320}
321
322/* Icon-only buttons */
323.devtools-button:empty::before,
324.devtools-toolbarbutton:not([label]):not([disabled]) > image {
325/* opacity: 0.8;*/
326}
327
328.devtools-button:hover:empty::before,
329.devtools-button[checked]:empty::before,
330.devtools-button[open]:empty::before,
331.devtools-toolbarbutton:not([label]):hover > image,
332.devtools-toolbarbutton:not([label])[checked=true] > image,
333.devtools-toolbarbutton:not([label])[open=true] > image {
334/* opacity: 1;*/
335}
336
337.devtools-button:disabled,
338.devtools-button[disabled],
339.devtools-toolbarbutton[disabled] {
340/* opacity: 0.5 !important;*/
341}
342
1e9e1791
RK
343.devtools-button[standalone]::before,
344.devtools-button[data-standalone]::before,
1e9e1791
RK
345.devtools-button:not([disabled]):hover::before,
346.devtools-button:not([disabled]):hover:active::before,
dadba0f2
RK
347.devtools-button[checked]:empty::before,
348.devtools-button[open]:empty::before,
1e9e1791
RK
349.devtools-toolbarbutton[standalone] > image,
350.devtools-toolbarbutton[data-standalone] > image,
351.devtools-toolbarbutton:not([disabled]):hover > image,
352.devtools-toolbarbutton:not([disabled]):hover:active > image,
353.devtools-toolbarbutton[checked=true] > image,
354.devtools-toolbarbutton[open=true] > image {
6f751fd1 355 filter: var(--checked-icon-filter);
dadba0f2
RK
356}
357
1e9e1791
RK
358.devtools-button[disabled]::before,
359.devtools-toolbarbutton[disabled] > image {
360 filter: url(images/filters.svg#disabled-icon-state);
361}
362
7d6161c5
RK
363/* Icon-and-text buttons */
364.devtools-toolbarbutton.icon-and-text .toolbarbutton-text {
365 margin-inline-start: .5em !important;
366 font-weight: 600;
367}
368
dadba0f2
RK
369/* Text-only buttons */
370.devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]),
7d6161c5 371.devtools-toolbarbutton[data-text-only],
dadba0f2
RK
372#toolbox-buttons .devtools-toolbarbutton[text-as-image] {
373/* background-color: rgba(0, 0, 0, .2); / Splitter */
374}
375
376/* Text-only button states */
377.devtools-button:not(:empty):not([disabled]):hover,
378#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover,
379.devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover {
380/* background: rgba(0, 0, 0, .3); / Splitters */
381}
382
383.devtools-button:not(:empty):not([disabled]):hover:active,
384#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover:active,
385.devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover:active {
386/* background: rgba(0, 0, 0, .4); / Splitters */
387}
388
389.devtools-toolbarbutton:not([disabled])[label][checked=true],
390.devtools-toolbarbutton:not([disabled])[label][open],
391.devtools-button:not(:empty)[checked=true],
392#toolbox-buttons .devtools-toolbarbutton[text-as-image][checked=true] {
393/* background: rgba(29, 79, 115, .7); / Select highlight blue /
394 color: var(--theme-selection-color); */
395}
396
397.devtools-menulist[open=true],
398.devtools-toolbarbutton[open=true],
399.devtools-toolbarbutton[open=true]:hover,
400.devtools-toolbarbutton[open=true]:hover:active,
401.devtools-toolbarbutton[checked=true],
402.devtools-toolbarbutton[checked=true]:hover,
403#toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
404/* background: rgba(29, 79, 115, .8); / Select highlight blue /
405 color: var(--theme-selection-color); */
406}
407
7d6161c5
RK
408:root {
409 --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
dadba0f2
RK
410}
411
7d6161c5
RK
412.devtools-button.devtools-clear-icon::before {
413 background-image: var(--clear-icon-url);
dadba0f2
RK
414}
415
7d6161c5
RK
416.devtools-toolbarbutton.devtools-clear-icon {
417 list-style-image: var(--clear-icon-url);
418}
419
420.devtools-option-toolbarbutton {
421 list-style-image: var(--tool-options-image);
dadba0f2
RK
422}
423
424.devtools-toolbarbutton-group > .devtools-toolbarbutton:last-child {
425}
426
427.devtools-toolbarbutton-group + .devtools-toolbarbutton {
428}
429
430.devtools-separator + .devtools-toolbarbutton {
431}
432
dadba0f2
RK
433/* Text input */
434
435.devtools-textinput,
6f751fd1
RK
436.devtools-searchinput,
437.devtools-filterinput {
dadba0f2 438/* -moz-appearance: none;
7d6161c5
RK
439 margin: 1 3px;
440 border: 1px solid;
dadba0f2 441 border-radius: 2px;
dadba0f2 442 padding: 4px 6px;
6f751fd1
RK
443 border-color: var(--theme-splitter-color);
444 font: message-box;*/
1e9e1791
RK
445 margin-top: 0;
446 margin-bottom: 0;
dadba0f2
RK
447}
448
6f751fd1
RK
449:root[platform="mac"] .devtools-searchinput,
450:root[platform="mac"] .devtools-textinput {
dadba0f2
RK
451/* border-radius: 20px;*/
452}
453
6f751fd1
RK
454.devtools-searchinput,
455.devtools-filterinput {
dadba0f2
RK
456/* margin-top: 1px;
457 margin-bottom: 1px;
458 padding: 0;*/
dae45075
RK
459 padding-inline-start: 22px;
460 padding-inline-end: 4px;
dadba0f2
RK
461 background-position: 8px center;
462 background-size: 11px 11px;
463 background-repeat: no-repeat;
464 font-size: inherit;
dadba0f2
RK
465}
466
6f751fd1
RK
467.devtools-searchinput {
468 background-image: var(--magnifying-glass-image);
469}
470
471.devtools-filterinput {
60156ae2 472 background-image: var(--filter-image);
6f751fd1
RK
473}
474
dadba0f2 475.devtools-searchinput:-moz-locale-dir(rtl),
6f751fd1
RK
476.devtools-searchinput:dir(rtl),
477.devtools-filterinput:-moz-locale-dir(rtl),
478.devtools-filterinput:dir(rtl) {
dadba0f2
RK
479 background-position: calc(100% - 8px) center;
480}
481
6f751fd1
RK
482.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon,
483.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon {
dadba0f2
RK
484 visibility: hidden;
485}
486
689d5552
RK
487.devtools-searchinput .textbox-input::placeholder,
488.devtools-filterinput .textbox-input::placeholder {
6f751fd1
RK
489 font-style: normal;
490}
491
dadba0f2
RK
492/* Searchbox is a div container element for a search input element */
493.devtools-searchbox {
494 display: flex;
495 flex: 1;
496 position: relative;
497}
498
7d6161c5
RK
499/* The spacing is accomplished with a padding on the searchbox */
500.devtools-searchbox > .devtools-textinput,
501.devtools-searchbox > .devtools-searchinput {
502}
503
6f751fd1
RK
504.devtools-textinput:focus,
505.devtools-searchinput:focus,
506.devtools-filterinput:focus {
507 border-color: var(--theme-focus-border-color-textbox);
508/* box-shadow: var(--theme-focus-box-shadow-textbox);*/
509 transition: all 0.2s ease-in-out;
510 outline: none;
511}
512
7d6161c5
RK
513/* Don't add 'double spacing' for inputs that are at beginning / end
514 of a toolbar (since the toolbar has it's own spacing). */
515.devtools-toolbar > .devtools-textinput:first-child,
6f751fd1
RK
516.devtools-toolbar > .devtools-searchinput:first-child,
517.devtools-toolbar > .devtools-filterinput:first-child {
7d6161c5
RK
518}
519.devtools-toolbar > .devtools-textinput:last-child,
6f751fd1
RK
520.devtools-toolbar > .devtools-searchinput:last-child,
521.devtools-toolbar > .devtools-filterinput:last-child {
7d6161c5
RK
522}
523.devtools-toolbar > .devtools-searchbox:first-child {
524}
525.devtools-toolbar > .devtools-searchbox:last-child {
526}
527
dadba0f2
RK
528.devtools-rule-searchbox {
529 -moz-box-flex: 1;
530 width: 100%;
60156ae2 531/* font: inherit;*/
dadba0f2
RK
532}
533
534.devtools-rule-searchbox[filled] {
535 background-color: var(--searchbox-background-color);
536 border-color: var(--searchbox-border-color);
dae45075 537 padding-inline-end: 23px;
dadba0f2
RK
538}
539
540.devtools-style-searchbox-no-match {
60156ae2
RK
541 background-color: var(--searchbox-no-match-background-color) !important;
542 border-color: var(--searchbox-no-match-border-color) !important;
dadba0f2
RK
543}
544
dadba0f2
RK
545.devtools-searchinput-clear {
546 position: absolute;
547 top: 3.5px;
548 right: 7px;
549 padding: 0;
550 border: 0;
551 width: 16px;
552 height: 16px;
553 background-position: 0 0;
554 background-repeat: no-repeat;
555 background-color: transparent;
556}
557
dae45075 558.devtools-searchinput-clear:dir(rtl) {
dadba0f2
RK
559 right: unset;
560 left: 7px;
561}
562
563.devtools-searchinput-clear {
7d6161c5 564 background-image: url("chrome://devtools/skin/images/search-clear.svg");
dadba0f2
RK
565}
566
567.devtools-style-searchbox-no-match + .devtools-searchinput-clear {
7d6161c5 568 background-image: url("chrome://devtools/skin/images/search-clear-failed.svg") !important;
dadba0f2
RK
569}
570
571.devtools-searchinput-clear:hover {
572 background-position: -16px 0;
573}
574
6f751fd1
RK
575.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear,
576.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear {
7d6161c5 577 list-style-image: url("chrome://devtools/skin/images/search-clear.svg");
dadba0f2
RK
578 -moz-image-region: rect(0, 16px, 16px, 0);
579}
580
6f751fd1
RK
581.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear:hover,
582.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear:hover {
dadba0f2
RK
583 -moz-image-region: rect(0, 32px, 16px, 16px);
584}
585
dadba0f2
RK
586/* In-tools sidebar */
587
6f751fd1 588.devtools-sidebar-tabs {
1e9e1791 589 height: 100%;
dadba0f2
RK
590}
591
592.devtools-sidebar-tabs > tabpanels {
593 padding: 0;
594 border: 0;
595}
596
597.devtools-sidebar-tabs tabs {
598 position: static;
599 overflow: hidden;
600}
601
602.devtools-sidebar-alltabs {
7d6161c5
RK
603/* -moz-appearance: none;
604 height: 24px;
dadba0f2
RK
605 line-height: 24px;
606 padding: 0 4px;
607 margin: 0;
608 border-width: 0 0 1px 0;
dae45075 609 border-inline-start-width: 1px;
dadba0f2
RK
610 border-style: solid;*/
611}
612
613.devtools-sidebar-alltabs .toolbarbutton-icon {
614 display: none;
615}
616
617.devtools-sidebar-tabs tabs > .tabs-right,
618.devtools-sidebar-tabs tabs > .tabs-left {
619 display: none;
620}
621
622.devtools-sidebar-tabs tabs > tab {
623 min-width: 78px;
624 text-align: center;
625 -moz-box-flex: 1;
626 position: static;
627 margin-top: 0;
628}
629
630.devtools-sidebar-tabs tabs > tab:-moz-focusring {
631 position: static;
632}
633
634.devtools-sidebar-tabs tabs > tab:first-of-type {
dae45075 635 margin-inline-start: 0;
dadba0f2
RK
636}
637
638.devtools-sidebar-tabs tabs > tab:last-of-type {
dae45075 639 border-inline-end-width: 0;
dadba0f2
RK
640}
641
642.devtools-sidebar-tabs tabs > tab {
643}
644
645.devtools-sidebar-tabs tabs > tab[selected],
646.devtools-sidebar-tabs tabs > tab[selected] + tab {
647}
648
649.devtools-sidebar-tabs tabs > tab:first-child {
650}
651
652.devtools-sidebar-tabs tabs > tab:hover {
653}
654
655.devtools-sidebar-tabs tabs > tab:hover:active {
656}
657
dadba0f2
RK
658.devtools-sidebar-tabs tabs > tab[selected],
659.devtools-sidebar-tabs tabs > tab[selected]:hover:active {
660}
661
dadba0f2
RK
662.hidden-labels-box:not(.visible) > label,
663.hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
664 display: none;
665}
666
7d6161c5
RK
667.devtools-invisible-splitter {
668 border-color: transparent;
669 background-color: transparent;
670}
671
6f751fd1
RK
672.devtools-horizontal-splitter,
673.devtools-side-splitter {
674/* background-color: var(--theme-splitter-color);*/
675}
676
60156ae2
RK
677/* HACK around hardcoded stylings for the HTML-based sidebar tabs */
678.tabs .tabs-menu-item,
679.theme-dark .tabs .tabs-menu-item,
680.theme-light .tabs .tabs-menu-item {
681 margin: 0;
682 margin-inline-end: 3px !important;
683 padding: 0 !important;
684 border-radius: 8px 8px 0 0;
685 border: 0 !important;
686 background-color: var(--theme-button-background);
687}
688.tabs .tabs-menu-item a {
689 color: var(--theme-button-color) !important;
690 padding: 0px 3px !important;
691}
692.tabs .tabs-menu-item.is-active {
693 height: auto !important;
694}
695.tabs .tabs-navigation {
696 height: auto !important;
697 border: 0 !important;
698 border-bottom: 3px solid var(--theme-body-background) !important;
699}
700
dadba0f2
RK
701/* Throbbers */
702
703.devtools-throbber::before {
704 content: "";
705 display: inline-block;
706 vertical-align: bottom;
dae45075 707 margin-inline-end: 0.5em;
dadba0f2
RK
708 width: 1em;
709 height: 1em;
710 border: 2px solid currentColor;
711 border-right-color: transparent;
712 border-radius: 50%;
713 animation: 1.1s linear throbber-spin infinite;
714}
715
716@keyframes throbber-spin {
717 from {
718 transform: none;
719 }
720 to {
721 transform: rotate(360deg);
722 }
723}