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