LCARStrek/devtools/toolbars.css

   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,
   8 .theme-dark {
   9   --searchbox-background-color: #000000;
  10   --searchbox-border-color: #9C9CFF;
  11   --searcbox-no-match-background-color: #400000;
  12   --searcbox-no-match-border-color: #FF0000;
  13
  14   /* Toolbox buttons */
  15   --command-paintflashing-image: url(images/command-paintflashing.svg);
  16   --command-screenshot-image: url(images/command-screenshot.svg);
  17   --command-responsive-image: url(images/command-responsivemode.svg);
  18   --command-scratchpad-image: url(images/command-scratchpad.svg);
  19   --command-pick-image: url(images/command-pick.svg);
  20   --command-frames-image: url(images/command-frames.svg);
  21   --command-splitconsole-image: url(images/command-console.svg);
  22   --command-noautohide-image: url(images/command-noautohide.svg);
  23   --command-eyedropper-image: url(images/command-eyedropper.svg);
  24   --command-rulers-image: url(images/command-rulers.svg);
  25   --command-measure-image: url(images/command-measure.svg);
  26 }
  27
  28 /* Toolbars */
  29 .devtools-toolbar,
  30 .devtools-sidebar-tabs tabs {
  31 }
  32
  33 .devtools-toolbar {
  34 }
  35
  36 .devtools-toolbar checkbox {
  37   /* LCARStrek checkbox colors don't work well against toolbar background */
  38   background-color: var(--theme-toolbar-background);
  39   padding: 2px;
  40   line-height: -moz-block-height;
  41 }
  42 .devtools-toolbar checkbox .checkbox-check {
  43 }
  44 .devtools-toolbar checkbox .checkbox-label-box {
  45 }
  46 .devtools-toolbar checkbox .checkbox-label-box .checkbox-label {
  47 }
  48
  49 /* Toolbar buttons */
  50
  51 .devtools-menulist,
  52 .devtools-toolbarbutton,
  53 .devtools-button {
  54 /*  transition: background 0.05s ease-in-out; */
  55 }
  56
  57 .devtools-menulist,
  58 .devtools-toolbarbutton {
  59 }
  60
  61 .devtools-menulist:-moz-focusring,
  62 .devtools-toolbarbutton:-moz-focusring {
  63   outline: 1px dotted var(--theme-selection-color);
  64 }
  65
  66 .devtools-toolbarbutton:not([label]) > .toolbarbutton-icon,
  67 .devtools-button::before {
  68   width: 16px;
  69   height: 16px;
  70 /*  transition: opacity 0.05s ease-in-out;*/
  71 }
  72
  73 /* HTML buttons */
  74 .devtools-button {
  75   margin: 0;
  76   padding: 0;
  77   min-width: 32px;
  78   background: var(--theme-toolbar-background);
  79   color: var(--theme-body-color);
  80   /* The icon is absolutely positioned in the button using ::before */
  81   position: relative;
  82 }
  83
  84 .devtools-button:not([disabled]):hover {
  85   background: var(--theme-hover-background);
  86   color: var(--theme-hover-color);
  87 }
  88
  89 .devtools-button:not([disabled]):hover:active {
  90   background: var(--theme-active-background);
  91   color: var(--theme-active-color);
  92 }
  93
  94 /* Menu type buttons and checked states */
  95 .devtools-button[checked] {
  96   background: var(--theme-selection-background);
  97   color: var(--theme-selection-color);
  98 }
  99
 100 .devtools-button::before {
 101   content: "";
 102   display: block;
 103   position: absolute;
 104   left: 50%;
 105   top: 50%;
 106   margin: -8px 0 0 -8px;
 107   background-size: cover;
 108   background-repeat: no-repeat;
 109 /*  transition: opacity 0.05s ease-in-out;*/
 110 }
 111
 112 /* Standalone buttons */
 113 .devtools-button[standalone],
 114 .devtools-button[data-standalone],
 115 .devtools-toolbarbutton[standalone],
 116 .devtools-toolbarbutton[data-standalone] {
 117   border: none;
 118 /*  min-height: 32px; */
 119   background-color: var(--theme-button-background);
 120 }
 121
 122 .devtools-toolbarbutton[standalone] {
 123 }
 124 .devtools-toolbarbutton[label][standalone] {
 125 }
 126
 127 /* Icon button styles */
 128 .devtools-toolbarbutton:not([label]),
 129 .devtools-toolbarbutton[text-as-image] {
 130   min-width: 20px;
 131 }
 132
 133 #toolbox-buttons .devtools-toolbarbutton[text-as-image] {
 134   -moz-padding-start: 5px;
 135   -moz-padding-end: 5px;
 136   min-width: inherit;
 137 }
 138
 139 #toolbox-buttons .devtools-toolbarbutton:not([text-as-image]):not(:hover):not([open=true]) {
 140 /*  background: transparent; */
 141 }
 142 #toolbox-buttons .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker {
 143   padding: 0 2px;
 144 }
 145
 146 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
 147   display: none;
 148 }
 149
 150 .devtools-toolbar .devtools-toolbarbutton {
 151   -moz-margin-start: 2px;
 152 }
 153
 154 .devtools-toolbarbutton > .toolbarbutton-icon {
 155 }
 156
 157 /* Menu button styles (eg. web console filters) */
 158 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
 159 /*  -moz-box-orient: horizontal; */
 160 }
 161
 162 .devtools-toolbarbutton[type=menu-button] {
 163 }
 164
 165 .devtools-toolbarbutton > .toolbarbutton-menubutton-button > .toolbarbutton-icon {
 166 }
 167
 168 .devtools-menulist > .menulist-dropmarker {
 169 }
 170
 171 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
 172 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
 173 }
 174
 175 /* Icon-only buttons */
 176 .devtools-button:empty::before,
 177 .devtools-toolbarbutton:not([label]):not([disabled]) > image {
 178 /*  opacity: 0.8;*/
 179 }
 180
 181 .devtools-button:hover:empty::before,
 182 .devtools-button[checked]:empty::before,
 183 .devtools-button[open]:empty::before,
 184 .devtools-toolbarbutton:not([label]):hover > image,
 185 .devtools-toolbarbutton:not([label])[checked=true] > image,
 186 .devtools-toolbarbutton:not([label])[open=true] > image {
 187 /*  opacity: 1;*/
 188 }
 189
 190 .devtools-button:disabled,
 191 .devtools-button[disabled],
 192 .devtools-toolbarbutton[disabled] {
 193 /*  opacity: 0.5 !important;*/
 194 }
 195
 196 .devtools-button[checked]:empty::before,
 197 .devtools-button[open]:empty::before,
 198 .devtools-toolbarbutton:not([label]):hover > image,
 199 .devtools-toolbarbutton:not([label]):hover:active > image,
 200 .devtools-toolbarbutton:not([label])[checked=true] > image,
 201 .devtools-toolbarbutton:not([label])[open=true] > image {
 202   filter: url(images/filters.svg#checked-icon-state);
 203 }
 204
 205 /* Text-only buttons */
 206 .devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]),
 207 #toolbox-buttons .devtools-toolbarbutton[text-as-image] {
 208 /*  background-color: rgba(0, 0, 0, .2); / Splitter */
 209 }
 210
 211 /* Text-only button states */
 212 .devtools-button:not(:empty):not([disabled]):hover,
 213 #toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover,
 214 .devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover {
 215 /*  background: rgba(0, 0, 0, .3); / Splitters */
 216 }
 217
 218 .devtools-button:not(:empty):not([disabled]):hover:active,
 219 #toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover:active,
 220 .devtools-toolbarbutton:not(:-moz-any([checked=true],[disabled],[text-as-image]))[label]:hover:active {
 221 /*  background: rgba(0, 0, 0, .4); / Splitters */
 222 }
 223
 224 .devtools-toolbarbutton:not([disabled])[label][checked=true],
 225 .devtools-toolbarbutton:not([disabled])[label][open],
 226 .devtools-button:not(:empty)[checked=true],
 227 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked=true] {
 228 /*  background: rgba(29, 79, 115, .7); / Select highlight blue /
 229   color: var(--theme-selection-color); */
 230 }
 231
 232 .devtools-menulist[open=true],
 233 .devtools-toolbarbutton[open=true],
 234 .devtools-toolbarbutton[open=true]:hover,
 235 .devtools-toolbarbutton[open=true]:hover:active,
 236 .devtools-toolbarbutton[checked=true],
 237 .devtools-toolbarbutton[checked=true]:hover,
 238 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
 239 /*  background: rgba(29, 79, 115, .8); / Select highlight blue /
 240   color: var(--theme-selection-color); */
 241 }
 242
 243 .devtools-toolbarbutton[checked=true]:hover {
 244 }
 245
 246 .devtools-option-toolbarbutton {
 247   list-style-image: url("chrome://devtools/skin/images/tool-options-tbutton.svg");
 248 }
 249
 250 /* Toolbar button groups */
 251 .devtools-toolbarbutton-group > .devtools-toolbarbutton {
 252 }
 253
 254 .devtools-toolbarbutton-group > .devtools-toolbarbutton:last-child {
 255 }
 256
 257 .devtools-toolbarbutton-group + .devtools-toolbarbutton {
 258 }
 259
 260 .devtools-separator + .devtools-toolbarbutton {
 261 }
 262
 263 :root {
 264   --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
 265 }
 266
 267 .devtools-button.devtools-clear-icon::before {
 268   background-image: var(--clear-icon-url);
 269 }
 270
 271 .devtools-toolbarbutton.devtools-clear-icon {
 272   list-style-image: var(--clear-icon-url);
 273 }
 274
 275 /* Text input */
 276
 277 .devtools-textinput,
 278 .devtools-searchinput {
 279 /*  -moz-appearance: none;
 280   margin: 0 3px;
 281   border: 1px solid rgb(88, 94, 101);
 282   border-radius: 2px;
 283   background-color: rgba(24, 29, 32, 1);
 284   padding: 4px 6px;
 285   color: rgba(184, 200, 217, 1);*/
 286 }
 287
 288 :root[platform="mac"] .devtools-textinput,
 289 :root[platform="mac"] .devtools-searchinput {
 290 /*  border-radius: 20px;*/
 291 }
 292
 293
 294 .devtools-searchinput {
 295 /*  margin-top: 1px;
 296   margin-bottom: 1px;
 297   padding: 0;*/
 298   -moz-padding-start: 22px;
 299   -moz-padding-end: 4px;
 300   background-position: 8px center;
 301   background-size: 11px 11px;
 302   background-repeat: no-repeat;
 303   font-size: inherit;
 304
 305   background-image: url("images/magnifying-glass.png");
 306 }
 307
 308 .devtools-searchinput:-moz-locale-dir(rtl),
 309 .devtools-searchinput:-moz-dir(rtl) {
 310   background-position: calc(100% - 8px) center;
 311 }
 312
 313 .devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon {
 314   visibility: hidden;
 315 }
 316
 317 /* Searchbox is a div container element for a search input element */
 318 .devtools-searchbox {
 319   display: flex;
 320   flex: 1;
 321   position: relative;
 322 }
 323
 324 .devtools-rule-searchbox {
 325   -moz-box-flex: 1;
 326   width: 100%;
 327   font: inherit;
 328 }
 329
 330 .devtools-rule-searchbox[filled] {
 331   background-color: var(--searchbox-background-color);
 332   border-color: var(--searchbox-border-color);
 333   -moz-padding-end: 23px;
 334 }
 335
 336 .devtools-style-searchbox-no-match {
 337   background-color: var(--searcbox-no-match-background-color) !important;
 338   border-color: var(--searcbox-no-match-border-color) !important;
 339 }
 340
 341 .devtools-no-search-result {
 342   border-color: var(--theme-highlight-red) !important;
 343 }
 344
 345 .devtools-searchinput-clear {
 346   position: absolute;
 347   top: 3.5px;
 348   right: 7px;
 349   padding: 0;
 350   border: 0;
 351   width: 16px;
 352   height: 16px;
 353   background-position: 0 0;
 354   background-repeat: no-repeat;
 355   background-color: transparent;
 356 }
 357
 358 .devtools-searchinput-clear:-moz-dir(rtl) {
 359   right: unset;
 360   left: 7px;
 361 }
 362
 363 .devtools-searchinput-clear {
 364   background-image: url("chrome://devtools/skin/search-clear.svg");
 365 }
 366
 367 .devtools-style-searchbox-no-match + .devtools-searchinput-clear {
 368   background-image: url("chrome://devtools/skin/search-clear-failed.svg") !important;
 369 }
 370
 371 .devtools-searchinput-clear:hover {
 372   background-position: -16px 0;
 373 }
 374
 375 .devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear {
 376   list-style-image: url("chrome://devtools/skin/search-clear.svg");
 377   -moz-image-region: rect(0, 16px, 16px, 0);
 378 }
 379
 380 .devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear:hover {
 381   -moz-image-region: rect(0, 32px, 16px, 16px);
 382 }
 383
 384 @media (min-resolution: 1.1dppx) {
 385   .devtools-searchinput {
 386     background-image: url("images/magnifying-glass@2x.png");
 387   }
 388 }
 389
 390 /* Close button */
 391
 392 .devtools-closebutton {
 393   min-width: 16px;
 394   width: 16px;
 395 }
 396
 397 .devtools-closebutton > image {
 398   width: 16px;
 399   height: 16px;
 400   -moz-appearance: none;
 401   background-size: 32px 16px;
 402   background-image: url("chrome://devtools/skin/close@2x.png");
 403   background-position: 0 center;
 404   background-repeat: no-repeat;
 405 }
 406
 407 .devtools-closebutton:hover > image,
 408 .devtools-closebutton:hover:active > image {
 409   background-position: -16px center;
 410 }
 411
 412 .devtools-closebutton > .toolbarbutton-text {
 413   display: none;
 414 }
 415
 416 #toolbox-close::before {
 417   background-image: url("chrome://devtools/skin/close@2x.png");
 418 }
 419
 420 /* In-tools sidebar */
 421
 422 .devtools-sidebar-tabs {
 423 }
 424
 425 .devtools-sidebar-tabs > tabpanels {
 426   padding: 0;
 427   border: 0;
 428 }
 429
 430 .devtools-sidebar-tabs tabs {
 431   position: static;
 432   overflow: hidden;
 433 }
 434
 435 .devtools-sidebar-alltabs {
 436 /*  height: 24px;
 437   line-height: 24px;
 438   padding: 0 4px;
 439   margin: 0;
 440   border-width: 0 0 1px 0;
 441   -moz-border-start-width: 1px;
 442   border-style: solid;*/
 443 }
 444
 445 .devtools-sidebar-alltabs .toolbarbutton-icon {
 446   display: none;
 447 }
 448
 449 .devtools-sidebar-tabs tabs > .tabs-right,
 450 .devtools-sidebar-tabs tabs > .tabs-left {
 451   display: none;
 452 }
 453
 454 .devtools-sidebar-tabs tabs > tab {
 455   min-width: 78px;
 456   text-align: center;
 457   -moz-box-flex: 1;
 458   position: static;
 459   margin-top: 0;
 460 }
 461
 462 .devtools-sidebar-tabs tabs > tab:-moz-focusring {
 463   position: static;
 464 }
 465
 466 .devtools-sidebar-tabs tabs > tab:first-of-type {
 467   -moz-margin-start: 0;
 468 }
 469
 470 .devtools-sidebar-tabs tabs > tab:last-of-type {
 471   -moz-border-end-width: 0;
 472 }
 473
 474 .devtools-sidebar-tabs tabs > tab {
 475 }
 476
 477 .devtools-sidebar-tabs tabs > tab[selected],
 478 .devtools-sidebar-tabs tabs > tab[selected] + tab {
 479 }
 480
 481 .devtools-sidebar-tabs tabs > tab:first-child {
 482 }
 483
 484 .devtools-sidebar-tabs tabs > tab:hover {
 485 }
 486
 487 .devtools-sidebar-tabs tabs > tab:hover:active {
 488 }
 489
 490 .devtools-sidebar-tabs tabs > tab[selected] + tab:hover {
 491 }
 492
 493 .devtools-sidebar-tabs tabs > tab[selected] + tab:hover:active {
 494 }
 495
 496 .devtools-sidebar-tabs tabs > tab[selected],
 497 .devtools-sidebar-tabs tabs > tab[selected]:hover:active {
 498 }
 499
 500 /* Toolbox - moved from toolbox.css.
 501  * Rules that apply to the global toolbox like command buttons,
 502  * devtools tabs, docking buttons, etc. */
 503
 504 #toolbox-controls > toolbarbutton,
 505 #toolbox-dock-buttons > toolbarbutton {
 506   min-width: 16px;
 507 /*  padding: 1px 3px; */
 508 }
 509
 510 #toolbox-dock-buttons > toolbarbutton > image {
 511   width: 16px;
 512   height: 16px;
 513   background-size: 32px 16px;
 514   background-position: 0 center;
 515   background-repeat: no-repeat;
 516 }
 517
 518 #toolbox-dock-buttons > toolbarbutton:hover > image {
 519   background-position: -16px center;
 520 }
 521
 522 #toolbox-dock-bottom::before,
 523 #toolbox-dock-bottom > image {
 524   background-image: url("chrome://devtools/skin/dock-bottom@2x.png");
 525 }
 526
 527 #toolbox-dock-side::before,
 528 #toolbox-dock-side > image {
 529   background-image: url("chrome://devtools/skin/dock-side@2x.png");
 530 }
 531
 532 #toolbox-dock-window::before,
 533 #toolbox-dock-window > image {
 534   background-image: url("chrome://devtools/skin/undock@2x.png");
 535 }
 536
 537 #toolbox-dock-bottom-minimize {
 538   /* Bug 1177463 - The minimize button is currently hidden until we agree on
 539      the UI for it, and until bug 1173849 is fixed too. */
 540   display: none;
 541 }
 542
 543 #toolbox-dock-bottom-minimize > image {
 544   background-image: url("chrome://devtools/skin/dock-bottom-minimize@2x.png");
 545 }
 546
 547 #toolbox-dock-bottom-minimize.minimized > image {
 548   background-image: url("chrome://devtools/skin/dock-bottom-maximize@2x.png");
 549 }
 550
 551 #toolbox-dock-window,
 552 #toolbox-dock-bottom,
 553 #toolbox-dock-side {
 554 }
 555
 556 #toolbox-dock-window:hover,
 557 #toolbox-dock-bottom:hover,
 558 #toolbox-dock-side:hover {
 559 }
 560
 561 .devtools-separator {
 562   margin: 0 2px;
 563   width: 2px;
 564 }
 565
 566 #toolbox-buttons:empty + .devtools-separator,
 567 .devtools-separator[invisible] {
 568   visibility: hidden;
 569 }
 570
 571 #toolbox-controls-separator {
 572   margin: 0;
 573   width: 1px;
 574 }
 575
 576 /* Command buttons */
 577
 578 .command-button {
 579   -moz-appearance: none;
 580   border: none;
 581 /*  padding: 0 8px; */
 582 /*  margin: 0; */
 583   width: 16px;
 584   position: relative;
 585   -moz-user-focus: normal;
 586 }
 587
 588 .command-button:hover {
 589 /*  background-color: var(--toolbar-tab-hover); */
 590 }
 591 .command-button:hover:active, .command-button[checked=true]:not(:hover) {
 592 /*  background-color: var(--toolbar-tab-hover-active) */
 593 }
 594
 595 #command-button-frames {
 596   width: 32px;
 597 }
 598
 599 #toolbox-close::before,
 600 .toolbox-dock-button::before,
 601 .command-button::before,
 602 .command-button > image {
 603   width: 16px;
 604   height: 16px;
 605   background-size: cover;
 606   background-position: 0 center;
 607   background-repeat: no-repeat;
 608 }
 609
 610 #toolbox-close:hover::before,
 611 #toolbox-close:hover:active::before,
 612 .toolbox-dock-button:hover::before,
 613 .toolbox-dock-button:hover:active::before,
 614 .command-button:hover::before,
 615 .command-button:hover:active::before,
 616 .command-button[checked=true]::before,
 617 .command-button[open=true]::before,
 618 .command-button:hover > image,
 619 .command-button:hover:active > image,
 620 .command-button[checked=true] > image,
 621 .command-button[open=true] > image {
 622   filter: url(images/filters.svg#checked-icon-state);
 623 }
 624
 625 #command-button-paintflashing > image,
 626 #command-button-paintflashing::before {
 627   background-image: var(--command-paintflashing-image);
 628 }
 629
 630 #command-button-screenshot > image,
 631 #command-button-screenshot::before {
 632   background-image: var(--command-screenshot-image);
 633 }
 634
 635 #command-button-responsive > image,
 636 #command-button-responsive::before {
 637   background-image: var(--command-responsive-image);
 638 }
 639
 640 #command-button-scratchpad > image,
 641 #command-button-scratchpad::before {
 642   background-image: var(--command-scratchpad-image);
 643 }
 644
 645 #command-button-pick > image,
 646 #command-button-pick::before {
 647   background-image: var(--command-pick-image);
 648 }
 649
 650 #command-button-splitconsole > image,
 651 #command-button-splitconsole::before {
 652   background-image: var(--command-splitconsole-image);
 653 }
 654
 655 #command-button-noautohide > image,
 656 #command-button-noautohide::before {
 657   background-image: var(--command-noautohide-image);
 658 }
 659
 660 #command-button-eyedropper > image,
 661 #command-button-eyedropper::before {
 662   background-image: var(--command-eyedropper-image);
 663 }
 664
 665 #command-button-rulers > image,
 666 #command-button-rulers::before {
 667   background-image: var(--command-rulers-image);
 668 }
 669
 670 #command-button-measure > image,
 671 #command-button-measure::before {
 672   background-image: var(--command-measure-image);
 673 }
 674
 675 #command-button-frames > image,
 676 #command-button-frames::before {
 677   background-image: var(--command-frames-image);
 678 }
 679
 680 /* Tabs */
 681
 682 .devtools-tabbar {
 683 }
 684
 685 #toolbox-tabs {
 686   padding-inline-start: 3px;
 687   margin-inline-start: 2px; /* this is only needed for the old button design */
 688   margin-inline-end: 3px; /* this is for the new ::before-based button design */
 689   background-color: #000000;
 690   color: #FFCF00;
 691 }
 692
 693 .toolbox-panel {
 694   display: -moz-box;
 695   -moz-box-flex: 1;
 696   visibility: collapse;
 697 }
 698
 699 #toolbox-deck[selectedIndex] > .toolbox-panel, /* workaround for Firefox 47 and older */
 700 .toolbox-panel[selected] {
 701   visibility: visible;
 702 }
 703
 704 .devtools-tab {
 705   min-width: 32px;
 706   max-width: 110px;
 707   color: #000000;
 708   margin: 0;
 709   -moz-margin-end: 3px;
 710   padding: 1px;
 711   -moz-padding-start: 3px;
 712   background-color: #C09070;
 713   border-radius: 8px 8px 0 0;
 714 }
 715
 716 .devtools-tab > image {
 717   -moz-margin-end: 0px;
 718 /*  -moz-margin-start: 4px; */
 719   max-height: 16px;
 720   width: 16px; /* Prevents collapse during theme switching */
 721 }
 722
 723 .devtools-tab:hover > image {
 724 }
 725
 726 .devtools-tab:active > image,
 727 .devtools-tab[selected] > image {
 728 }
 729
 730 .devtools-tab:hover,
 731 .devtools-tab:hover:active {
 732   background-color: var(--theme-hover-background);
 733   color: var(--theme-hover-color);
 734 }
 735
 736 .devtools-tab[selected] {
 737   background-color: var(--theme-selection-background);
 738   color: var(--theme-selection-color);
 739 }
 740
 741 .devtools-tab > spacer {
 742   max-width: 0;
 743   -moz-box-flex: 0;
 744 }
 745
 746 .devtools-tab > image {
 747   -moz-margin-end: 0;
 748   -moz-margin-start: 0;
 749 }
 750
 751 #toolbox-picker-container {
 752   margin-inline-start: 1px;
 753 }
 754
 755 #toolbox-option-container {
 756   background-color: #000000;
 757   padding-inline-start: 3px;
 758   margin-inline-end: 1px;
 759 }
 760
 761 #toolbox-tab-options {
 762   min-width: 20px;
 763 }
 764
 765 #toolbox-tab-options > image {
 766   -moz-margin-end: 3px;
 767 }
 768
 769 .devtools-tab:not([highlighted]) > .highlighted-icon,
 770 .devtools-tab[selected] > .highlighted-icon,
 771 .devtools-tab:not([selected])[highlighted] > .default-icon {
 772   visibility: collapse;
 773 }
 774
 775 .devtools-tab:not([selected])[highlighted] {
 776 }
 777
 778 .devtools-tab:not([selected])[highlighted] {
 779   color: #FFCF00;
 780 }
 781
 782 .devtools-tab:not([highlighted]) > .highlighted-icon,
 783 .devtools-tab[selected] > .highlighted-icon,
 784 .devtools-tab:not([selected])[highlighted] > .default-icon {
 785   visibility: collapse;
 786 }
 787
 788 /* The options tab is special - it doesn't have the same parent
 789    as the other tabs (toolbox-option-container vs toolbox-tabs) */
 790 #toolbox-option-container .devtools-tab:not([selected]) {
 791 /*  background-color: transparent;*/
 792 }
 793 #toolbox-option-container .devtools-tab {
 794 /*  border-color: transparent;
 795   border-width: 0;
 796   -moz-padding-start: 1px;*/
 797 }
 798 #toolbox-tab-options > image {
 799 /*  margin: 0 8px;*/
 800 }
 801
 802 .hidden-labels-box:not(.visible) > label,
 803 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
 804   display: none;
 805 }
 806
 807 .devtools-horizontal-splitter {
 808 /*  border-bottom: 1px solid var(--theme-splitter-color); */
 809 }
 810
 811 .devtools-side-splitter {
 812 /*  -moz-border-end: 1px solid var(--theme-splitter-color);
 813   border-color: var(--theme-splitter-color); / Needed for responsive container at low width. */
 814 }
 815 /* Throbbers */
 816
 817 .devtools-throbber::before {
 818   content: "";
 819   display: inline-block;
 820   vertical-align: bottom;
 821   -moz-margin-end: 0.5em;
 822   width: 1em;
 823   height: 1em;
 824   border: 2px solid currentColor;
 825   border-right-color: transparent;
 826   border-radius: 50%;
 827   animation: 1.1s linear throbber-spin infinite;
 828 }
 829
 830 @keyframes throbber-spin {
 831   from {
 832     transform: none;
 833   }
 834   to {
 835     transform: rotate(360deg);
 836   }
 837 }