make network panel look decent even in current nightlies
[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; */
9f6401c2 232 font: inherit;
dadba0f2 233 background-color: var(--theme-button-background);
1e9e1791
RK
234 color: var(--theme-button-color);
235 border-radius: 300px;
236}
237
238.devtools-button[standalone]:hover,
239.devtools-button[data-standalone]:hover,
240.devtools-toolbarbutton[standalone]:hover,
60156ae2
RK
241.devtools-toolbarbutton[data-standalone]:hover,
242.menu-filter-button:hover {
1e9e1791
RK
243 background-color: var(--theme-hover-background);
244 color: var(--theme-hover-color);
245}
246
247.devtools-button[standalone]:hover:active,
248.devtools-button[data-standalone]:hover:active,
249.devtools-toolbarbutton[standalone]:hover:active,
60156ae2
RK
250.devtools-toolbarbutton[data-standalone]:hover:active,
251.menu-filter-button:hover:active {
1e9e1791
RK
252 background-color: var(--theme-active-background);
253 color: var(--theme-active-color);
dadba0f2
RK
254}
255
60156ae2
RK
256.menu-filter-button.checked {
257 background: var(--theme-selection-background);
258 color: var(--theme-selection-color);
259}
260
261.menu-filter-button + .menu-filter-button {
262 margin-inline-start: 2px;
263}
264
7d6161c5 265.devtools-toolbarbutton[standalone], .devtools-toolbarbutton[data-standalone] {
dadba0f2 266}
7d6161c5 267
dadba0f2
RK
268.devtools-toolbarbutton[label][standalone] {
269}
270
7d6161c5
RK
271.devtools-menulist,
272.devtools-toolbarbutton,
273.devtools-button {
6f751fd1 274 min-height: 18px;
7d6161c5
RK
275}
276
dadba0f2
RK
277/* Icon button styles */
278.devtools-toolbarbutton:not([label]),
279.devtools-toolbarbutton[text-as-image] {
7d6161c5 280 min-width: 16px;
dadba0f2
RK
281}
282
6f751fd1
RK
283/* Set flex attribute to Toolbox buttons and Picker container so,
284 they don't overlapp with the tab bar */
285#toolbox-buttons {
286 display: flex;
dadba0f2
RK
287}
288
6f751fd1
RK
289#toolbox-picker-container {
290 display: flex;
291 margin-inline-start: 1px;
dadba0f2
RK
292}
293
294.devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
295 display: none;
296}
297
298.devtools-toolbar .devtools-toolbarbutton {
dae45075 299 margin-inline-start: 2px;
dadba0f2
RK
300}
301
302.devtools-toolbarbutton > .toolbarbutton-icon {
303}
304
305/* Menu button styles (eg. web console filters) */
306.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
307/* -moz-box-orient: horizontal; */
308}
309
310.devtools-toolbarbutton[type=menu-button] {
311}
312
313.devtools-toolbarbutton > .toolbarbutton-menubutton-button > .toolbarbutton-icon {
314}
315
316.devtools-menulist > .menulist-dropmarker {
317}
318
319.devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
320.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
321}
322
323/* Icon-only buttons */
324.devtools-button:empty::before,
325.devtools-toolbarbutton:not([label]):not([disabled]) > image {
326/* opacity: 0.8;*/
327}
328
329.devtools-button:hover:empty::before,
330.devtools-button[checked]:empty::before,
331.devtools-button[open]:empty::before,
332.devtools-toolbarbutton:not([label]):hover > image,
333.devtools-toolbarbutton:not([label])[checked=true] > image,
334.devtools-toolbarbutton:not([label])[open=true] > image {
335/* opacity: 1;*/
336}
337
338.devtools-button:disabled,
339.devtools-button[disabled],
340.devtools-toolbarbutton[disabled] {
341/* opacity: 0.5 !important;*/
342}
343
1e9e1791
RK
344.devtools-button[standalone]::before,
345.devtools-button[data-standalone]::before,
1e9e1791
RK
346.devtools-button:not([disabled]):hover::before,
347.devtools-button:not([disabled]):hover:active::before,
dadba0f2
RK
348.devtools-button[checked]:empty::before,
349.devtools-button[open]:empty::before,
1e9e1791
RK
350.devtools-toolbarbutton[standalone] > image,
351.devtools-toolbarbutton[data-standalone] > image,
352.devtools-toolbarbutton:not([disabled]):hover > image,
353.devtools-toolbarbutton:not([disabled]):hover:active > image,
354.devtools-toolbarbutton[checked=true] > image,
355.devtools-toolbarbutton[open=true] > image {
6f751fd1 356 filter: var(--checked-icon-filter);
dadba0f2
RK
357}
358
1e9e1791
RK
359.devtools-button[disabled]::before,
360.devtools-toolbarbutton[disabled] > image {
361 filter: url(images/filters.svg#disabled-icon-state);
362}
363
7d6161c5
RK
364/* Icon-and-text buttons */
365.devtools-toolbarbutton.icon-and-text .toolbarbutton-text {
366 margin-inline-start: .5em !important;
367 font-weight: 600;
368}
369
dadba0f2
RK
370/* Text-only buttons */
371.devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]),
7d6161c5 372.devtools-toolbarbutton[data-text-only],
dadba0f2
RK
373#toolbox-buttons .devtools-toolbarbutton[text-as-image] {
374/* background-color: rgba(0, 0, 0, .2); / Splitter */
375}
376
377/* Text-only button states */
378.devtools-button:not(:empty):not([disabled]):hover,
379#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover,
380.devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover {
381/* background: rgba(0, 0, 0, .3); / Splitters */
382}
383
384.devtools-button:not(:empty):not([disabled]):hover:active,
385#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover:active,
386.devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover:active {
387/* background: rgba(0, 0, 0, .4); / Splitters */
388}
389
390.devtools-toolbarbutton:not([disabled])[label][checked=true],
391.devtools-toolbarbutton:not([disabled])[label][open],
392.devtools-button:not(:empty)[checked=true],
393#toolbox-buttons .devtools-toolbarbutton[text-as-image][checked=true] {
394/* background: rgba(29, 79, 115, .7); / Select highlight blue /
395 color: var(--theme-selection-color); */
396}
397
398.devtools-menulist[open=true],
399.devtools-toolbarbutton[open=true],
400.devtools-toolbarbutton[open=true]:hover,
401.devtools-toolbarbutton[open=true]:hover:active,
402.devtools-toolbarbutton[checked=true],
403.devtools-toolbarbutton[checked=true]:hover,
404#toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
405/* background: rgba(29, 79, 115, .8); / Select highlight blue /
406 color: var(--theme-selection-color); */
407}
408
7d6161c5
RK
409:root {
410 --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
dadba0f2
RK
411}
412
7d6161c5
RK
413.devtools-button.devtools-clear-icon::before {
414 background-image: var(--clear-icon-url);
dadba0f2
RK
415}
416
7d6161c5
RK
417.devtools-toolbarbutton.devtools-clear-icon {
418 list-style-image: var(--clear-icon-url);
419}
420
421.devtools-option-toolbarbutton {
422 list-style-image: var(--tool-options-image);
dadba0f2
RK
423}
424
425.devtools-toolbarbutton-group > .devtools-toolbarbutton:last-child {
426}
427
428.devtools-toolbarbutton-group + .devtools-toolbarbutton {
429}
430
431.devtools-separator + .devtools-toolbarbutton {
432}
433
dadba0f2
RK
434/* Text input */
435
436.devtools-textinput,
6f751fd1
RK
437.devtools-searchinput,
438.devtools-filterinput {
dadba0f2 439/* -moz-appearance: none;
7d6161c5
RK
440 margin: 1 3px;
441 border: 1px solid;
dadba0f2 442 border-radius: 2px;
dadba0f2 443 padding: 4px 6px;
6f751fd1
RK
444 border-color: var(--theme-splitter-color);
445 font: message-box;*/
1e9e1791
RK
446 margin-top: 0;
447 margin-bottom: 0;
dadba0f2
RK
448}
449
6f751fd1
RK
450:root[platform="mac"] .devtools-searchinput,
451:root[platform="mac"] .devtools-textinput {
dadba0f2
RK
452/* border-radius: 20px;*/
453}
454
6f751fd1
RK
455.devtools-searchinput,
456.devtools-filterinput {
dadba0f2
RK
457/* margin-top: 1px;
458 margin-bottom: 1px;
459 padding: 0;*/
dae45075
RK
460 padding-inline-start: 22px;
461 padding-inline-end: 4px;
dadba0f2
RK
462 background-position: 8px center;
463 background-size: 11px 11px;
464 background-repeat: no-repeat;
465 font-size: inherit;
dadba0f2
RK
466}
467
6f751fd1
RK
468.devtools-searchinput {
469 background-image: var(--magnifying-glass-image);
470}
471
472.devtools-filterinput {
60156ae2 473 background-image: var(--filter-image);
6f751fd1
RK
474}
475
dadba0f2 476.devtools-searchinput:-moz-locale-dir(rtl),
6f751fd1
RK
477.devtools-searchinput:dir(rtl),
478.devtools-filterinput:-moz-locale-dir(rtl),
479.devtools-filterinput:dir(rtl) {
dadba0f2
RK
480 background-position: calc(100% - 8px) center;
481}
482
6f751fd1
RK
483.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon,
484.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon {
dadba0f2
RK
485 visibility: hidden;
486}
487
689d5552
RK
488.devtools-searchinput .textbox-input::placeholder,
489.devtools-filterinput .textbox-input::placeholder {
6f751fd1
RK
490 font-style: normal;
491}
492
dadba0f2
RK
493/* Searchbox is a div container element for a search input element */
494.devtools-searchbox {
495 display: flex;
496 flex: 1;
497 position: relative;
498}
499
9f6401c2
RK
500button + .devtools-searchbox {
501 margin-inline-start: 2px;
502}
503
7d6161c5
RK
504/* The spacing is accomplished with a padding on the searchbox */
505.devtools-searchbox > .devtools-textinput,
506.devtools-searchbox > .devtools-searchinput {
507}
508
6f751fd1
RK
509.devtools-textinput:focus,
510.devtools-searchinput:focus,
511.devtools-filterinput:focus {
512 border-color: var(--theme-focus-border-color-textbox);
513/* box-shadow: var(--theme-focus-box-shadow-textbox);*/
514 transition: all 0.2s ease-in-out;
515 outline: none;
516}
517
7d6161c5
RK
518/* Don't add 'double spacing' for inputs that are at beginning / end
519 of a toolbar (since the toolbar has it's own spacing). */
520.devtools-toolbar > .devtools-textinput:first-child,
6f751fd1
RK
521.devtools-toolbar > .devtools-searchinput:first-child,
522.devtools-toolbar > .devtools-filterinput:first-child {
7d6161c5
RK
523}
524.devtools-toolbar > .devtools-textinput:last-child,
6f751fd1
RK
525.devtools-toolbar > .devtools-searchinput:last-child,
526.devtools-toolbar > .devtools-filterinput:last-child {
7d6161c5
RK
527}
528.devtools-toolbar > .devtools-searchbox:first-child {
529}
530.devtools-toolbar > .devtools-searchbox:last-child {
531}
532
dadba0f2
RK
533.devtools-rule-searchbox {
534 -moz-box-flex: 1;
535 width: 100%;
60156ae2 536/* font: inherit;*/
dadba0f2
RK
537}
538
539.devtools-rule-searchbox[filled] {
540 background-color: var(--searchbox-background-color);
541 border-color: var(--searchbox-border-color);
dae45075 542 padding-inline-end: 23px;
dadba0f2
RK
543}
544
545.devtools-style-searchbox-no-match {
60156ae2
RK
546 background-color: var(--searchbox-no-match-background-color) !important;
547 border-color: var(--searchbox-no-match-border-color) !important;
dadba0f2
RK
548}
549
dadba0f2
RK
550.devtools-searchinput-clear {
551 position: absolute;
552 top: 3.5px;
553 right: 7px;
554 padding: 0;
555 border: 0;
556 width: 16px;
557 height: 16px;
558 background-position: 0 0;
559 background-repeat: no-repeat;
560 background-color: transparent;
561}
562
dae45075 563.devtools-searchinput-clear:dir(rtl) {
dadba0f2
RK
564 right: unset;
565 left: 7px;
566}
567
568.devtools-searchinput-clear {
7d6161c5 569 background-image: url("chrome://devtools/skin/images/search-clear.svg");
dadba0f2
RK
570}
571
572.devtools-style-searchbox-no-match + .devtools-searchinput-clear {
7d6161c5 573 background-image: url("chrome://devtools/skin/images/search-clear-failed.svg") !important;
dadba0f2
RK
574}
575
576.devtools-searchinput-clear:hover {
577 background-position: -16px 0;
578}
579
6f751fd1
RK
580.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear,
581.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear {
7d6161c5 582 list-style-image: url("chrome://devtools/skin/images/search-clear.svg");
dadba0f2
RK
583 -moz-image-region: rect(0, 16px, 16px, 0);
584}
585
6f751fd1
RK
586.devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear:hover,
587.devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear:hover {
dadba0f2
RK
588 -moz-image-region: rect(0, 32px, 16px, 16px);
589}
590
dadba0f2
RK
591/* In-tools sidebar */
592
6f751fd1 593.devtools-sidebar-tabs {
1e9e1791 594 height: 100%;
dadba0f2
RK
595}
596
597.devtools-sidebar-tabs > tabpanels {
598 padding: 0;
599 border: 0;
600}
601
602.devtools-sidebar-tabs tabs {
603 position: static;
604 overflow: hidden;
605}
606
607.devtools-sidebar-alltabs {
7d6161c5
RK
608/* -moz-appearance: none;
609 height: 24px;
dadba0f2
RK
610 line-height: 24px;
611 padding: 0 4px;
612 margin: 0;
613 border-width: 0 0 1px 0;
dae45075 614 border-inline-start-width: 1px;
dadba0f2
RK
615 border-style: solid;*/
616}
617
618.devtools-sidebar-alltabs .toolbarbutton-icon {
619 display: none;
620}
621
622.devtools-sidebar-tabs tabs > .tabs-right,
623.devtools-sidebar-tabs tabs > .tabs-left {
624 display: none;
625}
626
627.devtools-sidebar-tabs tabs > tab {
628 min-width: 78px;
629 text-align: center;
630 -moz-box-flex: 1;
631 position: static;
632 margin-top: 0;
633}
634
635.devtools-sidebar-tabs tabs > tab:-moz-focusring {
636 position: static;
637}
638
639.devtools-sidebar-tabs tabs > tab:first-of-type {
dae45075 640 margin-inline-start: 0;
dadba0f2
RK
641}
642
643.devtools-sidebar-tabs tabs > tab:last-of-type {
dae45075 644 border-inline-end-width: 0;
dadba0f2
RK
645}
646
647.devtools-sidebar-tabs tabs > tab {
648}
649
650.devtools-sidebar-tabs tabs > tab[selected],
651.devtools-sidebar-tabs tabs > tab[selected] + tab {
652}
653
654.devtools-sidebar-tabs tabs > tab:first-child {
655}
656
657.devtools-sidebar-tabs tabs > tab:hover {
658}
659
660.devtools-sidebar-tabs tabs > tab:hover:active {
661}
662
dadba0f2
RK
663.devtools-sidebar-tabs tabs > tab[selected],
664.devtools-sidebar-tabs tabs > tab[selected]:hover:active {
665}
666
dadba0f2
RK
667.hidden-labels-box:not(.visible) > label,
668.hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
669 display: none;
670}
671
7d6161c5
RK
672.devtools-invisible-splitter {
673 border-color: transparent;
674 background-color: transparent;
675}
676
6f751fd1
RK
677.devtools-horizontal-splitter,
678.devtools-side-splitter {
679/* background-color: var(--theme-splitter-color);*/
680}
681
60156ae2
RK
682/* HACK around hardcoded stylings for the HTML-based sidebar tabs */
683.tabs .tabs-menu-item,
684.theme-dark .tabs .tabs-menu-item,
685.theme-light .tabs .tabs-menu-item {
686 margin: 0;
687 margin-inline-end: 3px !important;
688 padding: 0 !important;
689 border-radius: 8px 8px 0 0;
690 border: 0 !important;
691 background-color: var(--theme-button-background);
692}
693.tabs .tabs-menu-item a {
694 color: var(--theme-button-color) !important;
695 padding: 0px 3px !important;
696}
697.tabs .tabs-menu-item.is-active {
698 height: auto !important;
699}
700.tabs .tabs-navigation {
701 height: auto !important;
702 border: 0 !important;
703 border-bottom: 3px solid var(--theme-body-background) !important;
704}
705
dadba0f2
RK
706/* Throbbers */
707
708.devtools-throbber::before {
709 content: "";
710 display: inline-block;
711 vertical-align: bottom;
dae45075 712 margin-inline-end: 0.5em;
dadba0f2
RK
713 width: 1em;
714 height: 1em;
715 border: 2px solid currentColor;
716 border-right-color: transparent;
717 border-radius: 50%;
718 animation: 1.1s linear throbber-spin infinite;
719}
720
721@keyframes throbber-spin {
722 from {
723 transform: none;
724 }
725 to {
726 transform: rotate(360deg);
727 }
728}