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 .theme-firebug {
  10   --toolbar-tab-hover: #FFCF00;
  11   --toolbar-tab-hover-active: #FF9F00;
  12   --searchbox-background-color: #000000;
  13   --searchbox-border-color: #9C9CFF;
  14   --searcbox-no-match-background-color: #400000;
  15   --searcbox-no-match-border-color: #FF0000;
  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);
  19   --icon-filter: invert(1);
  20   --checked-icon-filter: url(images/filters.svg#checked-icon-state);
  21   --toolbar-button-border-color: #A09090;
  22 }
  23
  24 /* Toolbars */
  25 .devtools-toolbar,
  26 .devtools-sidebar-tabs tabs {
  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;
  38 }
  39
  40 .devtools-toolbar {
  41   border-bottom: 3px solid var(--theme-body-background);
  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
  57 /* HTML Checkboxes - a lot copied from global/in-content/common.css */
  58 /* Hide the actual checkbox */
  59 input[type="checkbox"]:not(#browser-style-checkbox),
  60 #browser-style-checkbox:not([label]) { /* not()s are workaround for old placement of checkbox in label */
  61   opacity: 0;
  62   width: 0;
  63   pointer-events: none;
  64   position: absolute;
  65 }
  66
  67 /* Create a box to style as the checkbox */
  68 input[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 */
  75 input[type="checkbox"] + label {
  76   line-height: 0px;
  77   color: var(--theme-capped-toolbar-text);
  78 }
  79
  80 input[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
  93 input[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 */
  97 input[type="checkbox"]:not(:disabled) + label:hover {
  98   color: var(--theme-hover-background);
  99 }
 100 input[type="checkbox"]:checked + label::before {
 101   background-image: url("chrome://global/skin/in-content/check.svg#check");
 102 }
 103
 104 input[type="checkbox"]:checked:disabled + label::before {
 105   background-image: url("chrome://global/skin/in-content/check.svg#check-disabled");
 106 }
 107 input[type="checkbox"]:checked:not(:disabled) + label:hover::before {
 108   background-image: url("chrome://global/skin/in-content/check.svg#check-hover");
 109 }
 110 input[type="checkbox"]:disabled + label::before {
 111   border-color: var(--theme-body-color-inactive);
 112 }
 113 input[type="checkbox"]:disabled + label {
 114   color: var(--theme-body-color-inactive);
 115 }
 116
 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
 126 /* HTML toolbars - style them LCARStrek-like */
 127
 128 div.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
 136 div.devtools-toolbar::before,
 137 div.devtools-toolbar::after {
 138   display: flex;
 139   content: "";
 140   width: 12px;
 141   min-height: 16px;
 142   background-color: var(--theme-toolbar-caps);
 143 }
 144
 145 div.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
 152 div.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
 159 /* Toolbar buttons */
 160
 161 .devtools-menulist,
 162 .devtools-toolbarbutton,
 163 .devtools-button {
 164 }
 165
 166 .devtools-menulist,
 167 .devtools-toolbarbutton {
 168 }
 169
 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;
 181   border: none;
 182   border-radius: 3px;
 183   min-width: 18px;
 184   height: 100%;
 185   margin-inline-start: 2px;
 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;
 215 /*  background-size: cover;
 216   background-repeat: no-repeat;*/
 217 /*  transition: opacity 0.05s ease-in-out;*/
 218 }
 219
 220 .devtools-button:-moz-focusring {
 221   outline: none;
 222 }
 223
 224 /* Standalone buttons */
 225 .devtools-button[standalone],
 226 .devtools-button[data-standalone],
 227 .devtools-toolbarbutton[standalone],
 228 .devtools-toolbarbutton[data-standalone],
 229 .menu-filter-button {
 230   border: none;
 231 /*  min-height: 32px; */
 232   background-color: var(--theme-button-background);
 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,
 240 .devtools-toolbarbutton[data-standalone]:hover,
 241 .menu-filter-button:hover {
 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,
 249 .devtools-toolbarbutton[data-standalone]:hover:active,
 250 .menu-filter-button:hover:active {
 251   background-color: var(--theme-active-background);
 252   color: var(--theme-active-color);
 253 }
 254
 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
 264 .devtools-toolbarbutton[standalone], .devtools-toolbarbutton[data-standalone] {
 265 }
 266
 267 .devtools-toolbarbutton[label][standalone] {
 268 }
 269
 270 .devtools-menulist,
 271 .devtools-toolbarbutton,
 272 .devtools-button {
 273   min-height: 18px;
 274 }
 275
 276 /* Icon button styles */
 277 .devtools-toolbarbutton:not([label]),
 278 .devtools-toolbarbutton[text-as-image] {
 279   min-width: 16px;
 280 }
 281
 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;
 286 }
 287
 288 #toolbox-picker-container {
 289   display: flex;
 290   margin-inline-start: 1px;
 291 }
 292
 293 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
 294   display: none;
 295 }
 296
 297 .devtools-toolbar .devtools-toolbarbutton {
 298   margin-inline-start: 2px;
 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
 343 .devtools-button[standalone]::before,
 344 .devtools-button[data-standalone]::before,
 345 .devtools-button:not([disabled]):hover::before,
 346 .devtools-button:not([disabled]):hover:active::before,
 347 .devtools-button[checked]:empty::before,
 348 .devtools-button[open]:empty::before,
 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 {
 355   filter: var(--checked-icon-filter);
 356 }
 357
 358 .devtools-button[disabled]::before,
 359 .devtools-toolbarbutton[disabled] > image {
 360   filter: url(images/filters.svg#disabled-icon-state);
 361 }
 362
 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
 369 /* Text-only buttons */
 370 .devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]),
 371 .devtools-toolbarbutton[data-text-only],
 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
 408 :root {
 409   --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
 410 }
 411
 412 .devtools-button.devtools-clear-icon::before {
 413   background-image: var(--clear-icon-url);
 414 }
 415
 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);
 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
 433 /* Text input */
 434
 435 .devtools-textinput,
 436 .devtools-searchinput,
 437 .devtools-filterinput {
 438 /*  -moz-appearance: none;
 439   margin: 1 3px;
 440   border: 1px solid;
 441   border-radius: 2px;
 442   padding: 4px 6px;
 443   border-color: var(--theme-splitter-color);
 444   font: message-box;*/
 445   margin-top: 0;
 446   margin-bottom: 0;
 447 }
 448
 449 :root[platform="mac"] .devtools-searchinput,
 450 :root[platform="mac"] .devtools-textinput {
 451 /*  border-radius: 20px;*/
 452 }
 453
 454 .devtools-searchinput,
 455 .devtools-filterinput {
 456 /*  margin-top: 1px;
 457   margin-bottom: 1px;
 458   padding: 0;*/
 459   padding-inline-start: 22px;
 460   padding-inline-end: 4px;
 461   background-position: 8px center;
 462   background-size: 11px 11px;
 463   background-repeat: no-repeat;
 464   font-size: inherit;
 465 }
 466
 467 .devtools-searchinput {
 468   background-image: var(--magnifying-glass-image);
 469 }
 470
 471 .devtools-filterinput {
 472   background-image: var(--filter-image);
 473 }
 474
 475 .devtools-searchinput:-moz-locale-dir(rtl),
 476 .devtools-searchinput:dir(rtl),
 477 .devtools-filterinput:-moz-locale-dir(rtl),
 478 .devtools-filterinput:dir(rtl) {
 479   background-position: calc(100% - 8px) center;
 480 }
 481
 482 .devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon,
 483 .devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-icon {
 484   visibility: hidden;
 485 }
 486
 487 .devtools-searchinput .textbox-input::placeholder,
 488 .devtools-filterinput .textbox-input::placeholder {
 489   font-style: normal;
 490 }
 491
 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
 499 /* The spacing is accomplished with a padding on the searchbox */
 500 .devtools-searchbox > .devtools-textinput,
 501 .devtools-searchbox > .devtools-searchinput {
 502 }
 503
 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
 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,
 516 .devtools-toolbar > .devtools-searchinput:first-child,
 517 .devtools-toolbar > .devtools-filterinput:first-child {
 518 }
 519 .devtools-toolbar > .devtools-textinput:last-child,
 520 .devtools-toolbar > .devtools-searchinput:last-child,
 521 .devtools-toolbar > .devtools-filterinput:last-child {
 522 }
 523 .devtools-toolbar > .devtools-searchbox:first-child {
 524 }
 525 .devtools-toolbar > .devtools-searchbox:last-child {
 526 }
 527
 528 .devtools-rule-searchbox {
 529   -moz-box-flex: 1;
 530   width: 100%;
 531 /*  font: inherit;*/
 532 }
 533
 534 .devtools-rule-searchbox[filled] {
 535   background-color: var(--searchbox-background-color);
 536   border-color: var(--searchbox-border-color);
 537   padding-inline-end: 23px;
 538 }
 539
 540 .devtools-style-searchbox-no-match {
 541   background-color: var(--searchbox-no-match-background-color) !important;
 542   border-color: var(--searchbox-no-match-border-color) !important;
 543 }
 544
 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
 558 .devtools-searchinput-clear:dir(rtl) {
 559   right: unset;
 560   left: 7px;
 561 }
 562
 563 .devtools-searchinput-clear {
 564   background-image: url("chrome://devtools/skin/images/search-clear.svg");
 565 }
 566
 567 .devtools-style-searchbox-no-match + .devtools-searchinput-clear {
 568   background-image: url("chrome://devtools/skin/images/search-clear-failed.svg") !important;
 569 }
 570
 571 .devtools-searchinput-clear:hover {
 572   background-position: -16px 0;
 573 }
 574
 575 .devtools-searchinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear,
 576 .devtools-filterinput > .textbox-input-box > .textbox-search-icons > .textbox-search-clear {
 577   list-style-image: url("chrome://devtools/skin/images/search-clear.svg");
 578   -moz-image-region: rect(0, 16px, 16px, 0);
 579 }
 580
 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 {
 583   -moz-image-region: rect(0, 32px, 16px, 16px);
 584 }
 585
 586 /* In-tools sidebar */
 587
 588 .devtools-sidebar-tabs {
 589   height: 100%;
 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 {
 603 /*  -moz-appearance: none;
 604   height: 24px;
 605   line-height: 24px;
 606   padding: 0 4px;
 607   margin: 0;
 608   border-width: 0 0 1px 0;
 609   border-inline-start-width: 1px;
 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 {
 635   margin-inline-start: 0;
 636 }
 637
 638 .devtools-sidebar-tabs tabs > tab:last-of-type {
 639   border-inline-end-width: 0;
 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
 658 .devtools-sidebar-tabs tabs > tab[selected],
 659 .devtools-sidebar-tabs tabs > tab[selected]:hover:active {
 660 }
 661
 662 .hidden-labels-box:not(.visible) > label,
 663 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
 664   display: none;
 665 }
 666
 667 .devtools-invisible-splitter {
 668   border-color: transparent;
 669   background-color: transparent;
 670 }
 671
 672 .devtools-horizontal-splitter,
 673 .devtools-side-splitter {
 674 /*  background-color: var(--theme-splitter-color);*/
 675 }
 676
 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
 701 /* Throbbers */
 702
 703 .devtools-throbber::before {
 704   content: "";
 705   display: inline-block;
 706   vertical-align: bottom;
 707   margin-inline-end: 0.5em;
 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 }