The Tor Browser: browser/themes/shared/devtools/app-manager/index.css@b8a032363ba2

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

     1 /* This Source Code Form is subject to the terms of the Mozilla Public

     2  * License, v. 2.0. If a copy of the MPL was not distributed with this

     3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

     5 * {

     6   margin: 0;

     7   padding: 0;

     8   box-sizing: border-box;

     9   font-family: Lucida Grande, Helvetica, Helvetica Neue, sans-serif;

    10 }

    12 #tabs {

    13   box-shadow: inset -4px 0 0 rgba(0,0,0,0.3);

    14   background: #252C33;

    15 }

    17 #toolbox-tabs {

    18   overflow-y: auto;

    19 }

    21 .button {

    22   width: 80px;

    23   height: 85px;

    24   padding-bottom: 5px;

    25   -moz-appearance: none;

    26   border: none;

    27   border-bottom: 1px solid #121214;

    28   background-color: transparent;

    29   color: #B5B8BB;

    30   cursor: pointer;

    31   text-align: center;

    32   -moz-box-align: end;

    33   font-size: 10px;

    34   text-shadow: 0 1px 0 #333;

    35   color: #9FA6AD;

    36 }

    38 .button:first-child {

    39   border-top: none;

    40 }

    42 .button[selected] {

    43   box-shadow: inset -4px 0 0 rgba(0,0,0,0.3), inset 2px 0 0 #DEFFFF, inset 3px 0 0 #8DC7E8, inset 4px 0 1px #1D6496;

    44   color: #DCE8F3;

    45   background-color: #1A4766;

    46   border-color: #191B1E;

    47 }

    49 .button::-moz-focus-inner {

    50   border-width: 0;

    51 }

    53 .panel {

    54   border-width: 0;

    55 }

    57 .panel:not([selected="true"]) {

    58   display: none;

    59 }

    61 .button.toolbox {

    62   background-repeat: no-repeat;

    63   background-position: center 15px;

    64   background-size: 40px 40px;

    65 }

    67 .projects-button {

    68   background: url('chrome://browser/skin/devtools/app-manager/index-icons.svg') no-repeat;

    69   background-position: left -5px;

    70 }

    72 .projects-button[selected] {

    73   background-position: right -5px;

    74 }

    76 .device-button {

    77   background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');

    78   background-position: left -85px, top left;

    79   background-repeat: no-repeat, no-repeat;

    80   background-size: 160px 240px, 2px 80px;

    81 }

    83 .device-button[selected] {

    84   background-position: right -85px, top left;

    85 }

    87 .help-button {

    88   border-bottom: 0;

    89   background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');

    90   background-position: left -165px, top left;

    91   background-repeat: no-repeat, no-repeat;

    92   background-size: 160px 240px, 2px 80px;

    93 }

    95 .help-button[selected] {

    96   background-position: right -165px, top left;

    97 }

    99 #connection-footer {

   100   border-width: 0;

   101   height: 50px;

   102   min-height: 50px;

   103 }

The Tor Browser / file revision