browser/themes/shared/devtools/toolbars.inc.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

     1 %if 0
     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 %endif
     6 %filter substitution
     7 %define smallSeparatorDark linear-gradient(transparent 15%, #5a6169 15%, #5a6169 85%, transparent 85%)
     8 %define smallSeparatorLight linear-gradient(transparent 15%, #aaa 15%, #aaa 85%, transparent 85%)
     9 %define solidSeparatorDark linear-gradient(#2d5b7d, #2d5b7d)
    10 %define solidSeparatorLight linear-gradient(#aaa, #aaa)
    13 .devtools-toolbar {
    14   -moz-appearance: none;
    15   padding: 4px 3px;
    16   border-bottom-width: 1px;
    17   border-bottom-style: solid;
    18 }
    20 .devtools-menulist,
    21 .devtools-toolbarbutton {
    22   -moz-appearance: none;
    23   -moz-box-align: center;
    24   min-width: 78px;
    25   min-height: 22px;
    26   text-shadow: none;
    27   border: 1px solid hsla(210,8%,5%,.45);
    28   border-radius: 3px;
    29   margin: 0 3px;
    30 }
    32 .devtools-menulist:-moz-focusring,
    33 .devtools-toolbarbutton:-moz-focusring {
    34   outline: 1px dotted hsla(210,30%,85%,0.7);
    35   outline-offset: -4px;
    36 }
    38 .devtools-toolbarbutton > .toolbarbutton-icon {
    39   margin: 0;
    40 }
    42 .devtools-toolbarbutton:not([label]) {
    43   min-width: 32px;
    44 }
    46 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
    47   display: none;
    48 }
    50 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
    51   -moz-box-orient: horizontal;
    52 }
    54 .theme-dark .devtools-menulist,
    55 .theme-dark .devtools-toolbarbutton {
    56   background: linear-gradient(hsla(212,7%,57%,.35), hsla(212,7%,57%,.1)) padding-box;
    57   color: inherit;
    58   box-shadow: 0 1px 0 hsla(210,16%,76%,.15) inset, 0 0 0 1px hsla(210,16%,76%,.15) inset, 0 1px 0 hsla(210,16%,76%,.15);
    59 }
    61 .theme-light .devtools-menulist,
    62 .theme-light .devtools-toolbarbutton {
    63   background: #f7f7f7;
    64   color: #18191a;
    65   border-color: #bbb;
    66 }
    68 .theme-light .devtools-menulist[open=true],
    69 .theme-light .devtools-toolbarbutton[open=true],
    70 .theme-light .devtools-toolbarbutton[open=true]:hover,
    71 .theme-light .devtools-toolbarbutton[open=true]:hover:active,
    72 .theme-light .devtools-toolbarbutton[checked=true],
    73 .theme-light .devtools-toolbarbutton[checked=true]:hover  {
    74   background: #ddd;
    75 }
    77 .theme-light .devtools-toolbarbutton:hover {
    78   background: #eee;
    79 }
    81 .theme-light .devtools-toolbarbutton:hover:active,
    82 .theme-light .devtools-toolbarbutton[checked=true]:hover:active {
    83   background: #e8e8e8;
    84 }
    86 .theme-light .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
    87   color: #667380;
    88 }
    90 .theme-light .devtools-toolbarbutton[type=menu-button][checked=true] > .toolbarbutton-menubutton-button {
    91   color: #18191a;
    92 }
    94 .theme-dark .devtools-toolbarbutton:not([checked]):hover:active {
    95   border-color: hsla(210,8%,5%,.6);
    96   background: linear-gradient(hsla(220,6%,10%,.3), hsla(212,7%,57%,.15) 65%, hsla(212,7%,57%,.3));
    97   box-shadow: 0 0 3px hsla(210,8%,5%,.25) inset, 0 1px 3px hsla(210,8%,5%,.25) inset, 0 1px 0 hsla(210,16%,76%,.15);
    98 }
   100 .theme-dark .devtools-menulist[open=true],
   101 .theme-dark .devtools-toolbarbutton[open=true],
   102 .theme-dark .devtools-toolbarbutton[checked=true] {
   103   border-color: hsla(210,8%,5%,.6) !important;
   104   background: linear-gradient(hsla(220,6%,10%,.6), hsla(210,11%,18%,.45) 75%, hsla(210,11%,30%,.4));
   105   box-shadow: 0 1px 3px hsla(210,8%,5%,.25) inset, 0 1px 3px hsla(210,8%,5%,.25) inset, 0 1px 0 hsla(210,16%,76%,.15);
   106 }
   108 .theme-dark .devtools-toolbarbutton[checked=true] {
   109   color: hsl(208,100%,60%);
   110 }
   112 .theme-dark .devtools-toolbarbutton[checked=true]:hover {
   113   background-color: transparent !important;
   114 }
   116 .theme-dark .devtools-toolbarbutton[checked=true]:hover:active {
   117   background-color: hsla(210,8%,5%,.2) !important;
   118 }
   120 .devtools-option-toolbarbutton {
   121   -moz-appearance: none;
   122   list-style-image: url("chrome://browser/skin/devtools/tool-options.svg");
   123   background: none;
   124   opacity: .8;
   125   border: none;
   126 }
   128 .devtools-option-toolbarbutton[open=true] {
   129   opacity: 1;
   130 }
   132 .devtools-menulist > .menulist-label-box {
   133   text-align: center;
   134 }
   136 .devtools-menulist > .menulist-dropmarker {
   137   -moz-appearance: none;
   138   display: -moz-box;
   139   list-style-image: url("chrome://browser/skin/devtools/dropmarker.png");
   140   -moz-box-align: center;
   141   min-width: 16px;
   142 }
   144 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
   145   -moz-appearance: none;
   146   color: inherit;
   147   border-width: 0;
   148 }
   150 .theme-dark .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
   151   -moz-border-end: 1px solid hsla(210,8%,5%,.45);
   152   box-shadow: -1px 0 0 hsla(210,16%,76%,.15) inset, 1px 0 0 hsla(210,16%,76%,.15);
   153 }
   155 .theme-dark .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
   156   box-shadow: 1px 0 0 hsla(210,16%,76%,.15) inset, -1px 0 0 hsla(210,16%,76%,.15);
   157 }
   159 .theme-light .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
   160   -moz-border-end: 1px solid #bbb;
   161 }
   163 .devtools-toolbarbutton[type=menu-button] {
   164   padding: 0 1px;
   165   -moz-box-align: stretch;
   166 }
   168 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
   169 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
   170   -moz-appearance: none !important;
   171   list-style-image: url("chrome://browser/skin/devtools/dropmarker.png");
   172   -moz-box-align: center;
   173   padding: 0 3px;
   174 }
   176 /* Toolbar button groups */
   177 .theme-light .devtools-toolbarbutton-group > .devtools-toolbarbutton,
   178 .theme-dark .devtools-toolbarbutton-group > .devtools-toolbarbutton {
   179   margin: 0;
   180   box-shadow: none;
   181   border-radius: 0;
   182   border-width: 0;
   183   -moz-border-end-width: 1px;
   184   outline-offset: -3px;
   185 }
   187 .devtools-toolbarbutton-group > .devtools-toolbarbutton:last-of-type {
   188   -moz-border-end-width: 0;
   189 }
   191 .devtools-toolbarbutton-group {
   192   border-radius: 3px;
   193   margin: 0 3px;
   194 }
   196 .theme-dark .devtools-toolbarbutton-group {
   197   box-shadow: 0 1px 0 hsla(210,16%,76%,.15) inset,
   198               0 0 0 1px hsla(210,16%,76%,.15) inset,
   199               0 1px 0 hsla(210,16%,76%,.15);
   200   border: 1px solid hsla(210,8%,5%,.45);
   201 }
   203 .theme-light .devtools-toolbarbutton-group {
   204   border: 1px solid #bbb;
   205 }
   207 /* Text input */
   209 .devtools-textinput,
   210 .devtools-searchinput {
   211   -moz-appearance: none;
   212   margin: 0 3px;
   213   border: 1px solid;
   214 %ifdef XP_MACOSX
   215   border-radius: 20px;
   216 %else
   217   border-radius: 2px;
   218 %endif
   219   padding: 4px 6px;
   220 }
   222 .theme-dark .devtools-textinput,
   223 .theme-dark .devtools-searchinput {
   224   border-color: rgb(88, 94, 101);
   225 }
   227 .theme-light .devtools-textinput,
   228 .theme-light .devtools-searchinput {
   229   border-color: #aaa; /* Match the splitter color */
   230 }
   232 .devtools-searchinput {
   233   padding-top: 3px;
   234   padding-bottom: 3px;
   235   -moz-padding-start: 22px;
   236   -moz-padding-end: 12px;
   237   background-position: 8px center;
   238   background-size: 11px 11px;
   239   background-repeat: no-repeat;
   240   font-size: inherit;
   241 }
   243 .theme-dark .devtools-searchinput {
   244   background-image: url(magnifying-glass.png);
   245 }
   247 .theme-light .devtools-searchinput {
   248   background-image: url(magnifying-glass-light.png);
   249 }
   251 @media (min-resolution: 2dppx) {
   252   .theme-dark .devtools-searchinput {
   253     background-image: url(magnifying-glass@2x.png);
   254   }
   256   .theme-light .devtools-searchinput {
   257     background-image: url(magnifying-glass-light@2x.png);
   258   }
   259 }
   261 .devtools-searchinput:-moz-locale-dir(rtl) {
   262   background-position: calc(100% - 8px) center;
   263 }
   265 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
   266   display: none;
   267 }
   269 .devtools-no-search-result {
   270   border-color: #eb5368 !important;
   271 }
   273 /* Close button */
   275 .devtools-closebutton {
   276   -moz-appearance: none;
   277   border: none;
   278   margin: 0 4px;
   279   min-width: 16px;
   280   width: 16px;
   281   opacity: 0.6;
   282 }
   284 .devtools-closebutton > image {
   285   width: 16px;
   286   height: 16px;
   287   -moz-appearance: none;
   288   background-size: 16px 16px;
   289   background-image: url("chrome://browser/skin/devtools/close@2x.png");
   290   background-position: center center;
   291   background-repeat: no-repeat;
   292 }
   294 .devtools-closebutton > .toolbarbutton-icon {
   295   /* XXX Buttons have padding in widget/ that we don't want here but can't override with good CSS, so we must
   296      use evil CSS to give the impression of smaller content */
   297   margin: -4px;
   298 }
   300 .devtools-closebutton > .toolbarbutton-text {
   301   display: none;
   302 }
   304 .devtools-closebutton:hover {
   305   opacity: 0.8;
   306 }
   308 .devtools-closebutton:hover:active {
   309   opacity: 1;
   310 }
   312 /* In-tools sidebar */
   314 .devtools-sidebar-tabs {
   315   -moz-appearance: none;
   316   margin: 0;
   317 }
   319 .devtools-sidebar-tabs > tabpanels {
   320   -moz-appearance: none;
   321   background: transparent;
   322   padding: 0;
   323   border: 0;
   324 }
   326 .theme-light .devtools-sidebar-tabs > tabpanels {
   327   background: #f7f7f7;
   328   color: #18191a;
   329 }
   331 .devtools-sidebar-tabs > tabs {
   332   -moz-appearance: none;
   333   position: static;
   334   font: inherit;
   335   margin-bottom: 0;
   336   padding: 0;
   337   border-width: 0 0 1px 0;
   338   border-style: solid;
   339   overflow: hidden;
   340 }
   342 .devtools-sidebar-tabs > tabs > .tabs-right,
   343 .devtools-sidebar-tabs > tabs > .tabs-left {
   344   display: none;
   345 }
   347 .devtools-sidebar-tabs > tabs > tab {
   348   -moz-appearance: none;
   349   /* We want to match the height of a toolbar with a toolbarbutton
   350    * First, we need to replicated the padding of toolbar (4px),
   351    * then we need to take the border of the buttons into account (1px).
   352    */
   353   padding: 5px 3px;
   354   -moz-padding-start: 6px;
   355   margin: 0;
   356   min-width: 78px;
   357   /* toolbar's min-height is button min-height (25px) + padding (2 * 4px): 33px.
   358    * -1px because the parent element (<tabs>) comes with a 1px bottom border.
   359    */
   360   min-height: 32px;
   361   text-align: center;
   362   color: inherit;
   363   -moz-box-flex: 1;
   364   border-width: 0;
   365   position: static;
   366   -moz-margin-start: -1px;
   367   text-shadow: none;
   368 }
   370 .devtools-sidebar-tabs > tabs > tab:first-of-type {
   371   -moz-margin-start: -3px;
   372 }
   374 .devtools-sidebar-tabs > tabs > tab {
   375   background-size: calc(100% - 1px) 100%, 1px 100%;
   376   background-repeat: no-repeat;
   377   background-position: 1px, 0;
   378 }
   380 .devtools-sidebar-tabs > tabs > tab:not(:last-of-type) {
   381   background-size: calc(100% - 2px) 100%, 1px 100%;
   382 }
   384 .devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
   385   background-position: calc(100% - 1px), 100%;
   386 }
   388 .devtools-sidebar-tabs > tabs > tab {
   389   background-color: transparent;
   390 }
   392 .theme-dark .devtools-sidebar-tabs > tabs > tab {
   393   background-image: linear-gradient(transparent, transparent), @smallSeparatorDark@;
   394 }
   396 .theme-dark .devtools-sidebar-tabs > tabs > tab:hover {
   397   background-image: linear-gradient(hsla(206,37%,4%,.2), hsla(206,37%,4%,.2)), @smallSeparatorDark@;
   398 }
   400 .theme-dark .devtools-sidebar-tabs > tabs > tab:hover:active {
   401   background-image: linear-gradient(hsla(206,37%,4%,.4), hsla(206,37%,4%,.4)), @smallSeparatorDark@;
   402 }
   404 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected] + tab {
   405   background-image: linear-gradient(transparent, transparent), @solidSeparatorDark@;
   406 }
   408 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover {
   409   background-image: linear-gradient(hsla(206,37%,4%,.2), hsla(206,37%,4%,.2)), @solidSeparatorDark@;
   410 }
   412 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover:active {
   413   background-image: linear-gradient(hsla(206,37%,4%,.4), hsla(206,37%,4%,.4)), @solidSeparatorDark@;
   414 }
   416 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected] {
   417   color: #f5f7fa;
   418   background-image: linear-gradient(#1d4f73, #1d4f73), @solidSeparatorDark@;
   419 }
   421 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected]:hover {
   422   background-image: linear-gradient(#274f64, #274f64), @solidSeparatorDark@;
   423 }
   425 .theme-dark .devtools-sidebar-tabs > tabs > tab[selected]:hover:active {
   426   background-image: linear-gradient(#1f3e4f, #1f3e4f), @solidSeparatorDark@;
   427 }
   429 .theme-light .devtools-sidebar-tabs > tabs > tab {
   430   background-image: linear-gradient(transparent, transparent), @smallSeparatorLight@;
   431 }
   433 .theme-light .devtools-sidebar-tabs > tabs > tab:hover {
   434   background-image: linear-gradient(#ddd, #ddd), @smallSeparatorLight@;
   435 }
   437 .theme-light .devtools-sidebar-tabs > tabs > tab:hover:active {
   438   background-image: linear-gradient(#ddd, #ddd), @smallSeparatorLight@;
   439 }
   441 .theme-light .devtools-sidebar-tabs > tabs > tab[selected] + tab {
   442   background-image: linear-gradient(transparent, transparent), @solidSeparatorLight@;
   443 }
   445 .theme-light .devtools-sidebar-tabs > tabs > tab[selected] + tab:hover {
   446   background-image: linear-gradient(#ddd, #ddd), @solidSeparatorLight@;
   447 }
   449 .theme-light .devtools-sidebar-tabs > tabs > tab[selected],
   450 .theme-light .devtools-sidebar-tabs > tabs > tab[selected]:hover:active {
   451   color: #f5f7fa;
   452   background-image: linear-gradient(#4c9ed9, #4c9ed9), @solidSeparatorLight@;
   453 }
   455 /* Toolbox - moved from toolbox.css.
   456  * Rules that apply to the global toolbox like command buttons,
   457  * devtools tabs, docking buttons, etc. */
   459 #toolbox-controls {
   460   margin: 0 4px;
   461 }
   463 #toolbox-controls > toolbarbutton,
   464 #toolbox-dock-buttons > toolbarbutton {
   465   -moz-appearance: none;
   466   border: none;
   467   margin: 0 4px;
   468   min-width: 16px;
   469   width: 16px;
   470 }
   472 #toolbox-controls > toolbarbutton > .toolbarbutton-text,
   473 #toolbox-dock-buttons > toolbarbutton > .toolbarbutton-text,
   474 .command-button > .toolbarbutton-text {
   475   display: none;
   476 }
   478 #toolbox-dock-buttons > toolbarbutton > image {
   479   -moz-appearance: none;
   480   width: 16px;
   481   height: 16px;
   482   background-size: 16px 16px;
   483   background-position: 0 center;
   484   background-repeat: no-repeat;
   485 }
   487 #toolbox-dock-bottom > image {
   488   background-image: url("chrome://browser/skin/devtools/dock-bottom@2x.png");
   489 }
   491 #toolbox-dock-side  > image {
   492   background-image: url("chrome://browser/skin/devtools/dock-side@2x.png");
   493 }
   495 #toolbox-dock-window > image {
   496   background-image: url("chrome://browser/skin/devtools/undock@2x.png");
   497 }
   499 #toolbox-dock-window,
   500 #toolbox-dock-bottom,
   501 #toolbox-dock-side {
   502   opacity: 0.6;
   503 }
   505 #toolbox-dock-window:hover,
   506 #toolbox-dock-bottom:hover,
   507 #toolbox-dock-side:hover {
   508   opacity: 1;
   509 }
   511 #toolbox-controls-separator {
   512   width: 3px;
   513   background-image: linear-gradient(hsla(204,45%,98%,0), hsla(204,45%,98%,.1), hsla(204,45%,98%,0)),
   514                     linear-gradient(hsla(206,37%,4%,0), hsla(206,37%,4%,.6), hsla(206,37%,4%,0)),
   515                     linear-gradient(hsla(204,45%,98%,0), hsla(204,45%,98%,.1), hsla(204,45%,98%,0));
   516   background-size: 1px 100%;
   517   background-repeat: no-repeat;
   518   background-position: 0, 1px, 2px;
   519   -moz-margin-start: 8px;
   520 }
   522 /* Command buttons */
   524 .command-button {
   525   -moz-appearance: none;
   526   border: none;
   527   padding: 0 8px;
   528   margin: 0;
   529   width: 32px;
   530   position: relative;
   531 }
   533 .command-button:hover {
   534   background-color: hsla(206,37%,4%,.2);
   535 }
   536 .command-button:hover:active, .command-button[checked=true]:not(:hover) {
   537   background-color: hsla(206,37%,4%,.4);
   538 }
   540 .command-button > image {
   541   -moz-appearance: none;
   542   width: 16px;
   543   height: 16px;
   544   background-size: 64px 16px;
   545   background-position: 0 center;
   546   background-repeat: no-repeat;
   547 }
   548 .command-button:hover > image {
   549   background-position: -16px center;
   550 }
   551 .command-button:hover:active > image {
   552   background-position: -32px center;
   553 }
   554 .command-button[checked=true] > image {
   555   background-position: -48px center;
   556 }
   558 #command-button-paintflashing > image {
   559   background-image: url("chrome://browser/skin/devtools/command-paintflashing.png");
   560 }
   562 #command-button-responsive > image {
   563   background-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
   564 }
   566 #command-button-tilt > image {
   567   background-image: url("chrome://browser/skin/devtools/command-tilt.png");
   568 }
   570 #command-button-scratchpad > image {
   571   background-image: url("chrome://browser/skin/devtools/command-scratchpad.png");
   572   background-size: 48px 16px;
   573 }
   575 #command-button-pick > image {
   576   background-image: url("chrome://browser/skin/devtools/command-pick.png");
   577 }
   579 #command-button-splitconsole > image {
   580   background-image: url("chrome://browser/skin/devtools/command-console.png");
   581 }
   583 #command-button-eyedropper > image {
   584   background-image: url("chrome://browser/skin/devtools/command-eyedropper.png");
   585 }
   587 @media (min-resolution: 2dppx) {
   588   #command-button-paintflashing > image {
   589     background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
   590   }
   592   #command-button-responsive > image {
   593     background-image: url("chrome://browser/skin/devtools/command-responsivemode@2x.png");
   594   }
   596   #command-button-tilt > image {
   597     background-image: url("chrome://browser/skin/devtools/command-tilt@2x.png");
   598   }
   600   #command-button-scratchpad > image {
   601     background-image: url("chrome://browser/skin/devtools/command-scratchpad@2x.png");
   602   }
   604   #command-button-pick > image {
   605     background-image: url("chrome://browser/skin/devtools/command-pick@2x.png");
   606   }
   608   #command-button-splitconsole > image {
   609     background-image: url("chrome://browser/skin/devtools/command-console@2x.png");
   610   }
   612   #command-button-eyedropper > image {
   613     background-image: url("chrome://browser/skin/devtools/command-eyedropper@2x.png");
   614   }
   615 }
   617 /* Tabs */
   619 .devtools-tabbar {
   620   -moz-appearance: none;
   621   min-height: 28px;
   622   border: 0px solid;
   623   border-bottom-width: 1px;
   624   padding: 0;
   625 }
   627 .theme-light .devtools-tabbar {
   628   box-shadow: 0 -2px 0 rgba(170,170,170,.1) inset;
   629   background: #ebeced;
   630   border-bottom-color: #aaa;
   631 }
   633 .theme-dark .devtools-tabbar {
   634   box-shadow: 0 -2px 0 rgba(0,0,0,.1) inset;
   635   background: #252c33;
   636   border-bottom-color: #000;
   637 }
   639 #toolbox-tabs {
   640   margin: 0;
   641 }
   643 .devtools-tab {
   644   -moz-appearance: none;
   645   -moz-binding: url("chrome://global/content/bindings/general.xml#control-item");
   646   -moz-box-align: center;
   647   min-width: 32px;
   648   min-height: 28px;
   649   max-width: 127px;
   650   margin: 0;
   651   padding: 0;
   652   -moz-border-start: 1px solid;
   653   -moz-box-align: center;
   654 }
   656 .theme-dark .devtools-tab {
   657   color: #b6babf;
   658   border-color: #42484f;
   659 }
   661 .theme-light .devtools-tab {
   662   color: #18191a;
   663   border-color: #aaa;
   664 }
   666 .theme-dark .devtools-tab:hover {
   667   background-color: hsla(206,37%,4%,.2);
   668   color: #ced3d9;
   669 }
   671 .theme-light .devtools-tab:hover {
   672   background-color: rgba(170,170,170,.2);
   673 }
   675 .theme-dark .devtools-tab:hover:active {
   676   background-color: hsla(206,37%,4%,.4);
   677   color: #f5f7fa;
   678 }
   680 .theme-light .devtools-tab:hover:active {
   681   background-color: rgba(170,170,170,.4);
   682 }
   684 .theme-dark .devtools-tab:not([selected])[highlighted] {
   685   background-color: hsla(99,100%,14%,.2);
   686   box-shadow: 0 2px 0 #7bc107 inset;
   687 }
   689 .theme-light .devtools-tab:not([selected])[highlighted] {
   690   background-color: rgba(44, 187, 15, .2);
   691 }
   693 .devtools-tab:first-child {
   694   -moz-border-start-width: 0;
   695 }
   697 .theme-light .devtools-tab:last-child {
   698   -moz-border-end: 1px solid #aaa;
   699 }
   701 .theme-dark .devtools-tab:last-child {
   702   -moz-border-end: 1px solid #42484f;
   703 }
   705 .devtools-tab > image {
   706   border: none;
   707   -moz-margin-end: 0;
   708   -moz-margin-start: 4px;
   709   opacity: 0.6;
   710   max-height: 16px;
   711   width: 16px; /* Prevents collapse during theme switching */
   712 }
   714 #toolbox-tab-options > image {
   715   margin: 0 8px;
   716 }
   718 .devtools-tab > label {
   719   white-space: nowrap;
   720 }
   722 .devtools-tab:hover > image {
   723   opacity: 0.8;
   724 }
   726 .devtools-tab:active > image,
   727 .devtools-tab[selected] > image {
   728   opacity: 1;
   729 }
   731 .theme-dark #toolbox-tabs .devtools-tab[selected] {
   732   color: #f5f7fa;
   733   background-color: #1a4666;
   734   box-shadow: 0 2px 0 #d7f1ff inset,
   735               0 8px 3px -5px #2b82bf inset,
   736               0 -2px 0 rgba(0,0,0,.2) inset;
   737 }
   739 .theme-light #toolbox-tabs .devtools-tab[selected] {
   740   color: #f5f7fa;
   741   background-color: #4c9ed9;
   742   box-shadow: 0 2px 0 #d7f1ff inset,
   743               0 8px 3px -5px #2b82bf inset,
   744               0 -2px 0 rgba(0,0,0,.06) inset;
   745 }
   747 .devtools-tab[selected]:not(:first-child),
   748 .devtools-tab[highlighted]:not(:first-child) {
   749   border-width: 0;
   750   -moz-padding-start: 1px;
   751 }
   753 .devtools-tab[selected]:last-child,
   754 .devtools-tab[highlighted]:last-child {
   755   -moz-padding-end: 1px;
   756 }
   758 .devtools-tab[selected] + .devtools-tab,
   759 .devtools-tab[highlighted] + .devtools-tab {
   760   -moz-border-start-width: 0;
   761   -moz-padding-start: 1px;
   762 }
   764 .devtools-tab:not([highlighted]) > .highlighted-icon,
   765 .devtools-tab[selected] > .highlighted-icon,
   766 .devtools-tab:not([selected])[highlighted] > .default-icon {
   767   visibility: collapse;
   768 }
   770 /* Invert the colors of certain dark theme images for displaying
   771  * inside of the light theme.
   772  */
   773 .theme-light .devtools-tab[icon-invertable] > image,
   774 .theme-light #toolbox-dock-buttons > toolbarbutton > image,
   775 .theme-light .command-button-invertable > image,
   776 .theme-light .command-button-invertable:active > image,
   777 .theme-light .devtools-closebutton > image,
   778 .theme-light .devtools-toolbarbutton > image,
   779 .theme-light .devtools-option-toolbarbutton > image,
   780 .theme-light #breadcrumb-separator-normal,
   781 .theme-light .scrollbutton-up > .toolbarbutton-icon,
   782 .theme-light .scrollbutton-down > .toolbarbutton-icon,
   783 .theme-light #black-boxed-message-button .button-icon,
   784 .theme-light #canvas-debugging-empty-notice-button .button-icon,
   785 .theme-light #requests-menu-perf-notice-button .button-icon,
   786 .theme-light #requests-menu-network-summary-button .button-icon {
   787   filter: url(filters.svg#invert);
   788 }
   790 /* Since selected backgrounds are blue, we want to use the normal
   791  * (light) icons. */
   792 .theme-light .command-button-invertable[checked=true]:not(:active) > image,
   793 .theme-light .devtools-tab[icon-invertable][selected] > image,
   794 .theme-light .devtools-tab[icon-invertable][highlighted] > image,
   795 .theme-light #resume[checked] > image {
   796   filter: none !important;
   797 }
   799 .theme-light .command-button:hover {
   800   background-color: inherit;
   801 }
   803 .theme-light .command-button:hover:active,
   804 .theme-light .command-button[checked=true]:not(:hover) {
   805   background-color: inherit;
   806 }
   808 .hidden-labels-box:not(.visible) > label,
   809 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
   810   display: none;
   811 }
   813 .devtools-invisible-splitter {
   814   border-color: transparent;
   815 }

mercurial