The Tor Browser: browser/themes/osx/devtools/webconsole

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 body {

     6   font-family: sans-serif;

     7   font-size: 11px;

     8   background: #EEE;

     9   color: #000;

    10 }

    12 #header {

    13   padding: 5px;

    14   overflow-x:auto;

    15   display: block;

    16 }

    18 h1 {

    19   font-size: 13px;

    20   line-height: 15px;

    21   padding: 3px 10px;

    22   vertical-align: bottom;

    23   margin: 0px;

    24   background: linear-gradient(#BBB, #999);

    25   border-radius: 2px;

    26   text-shadow: #FFF 0px 1px 0px;

    27 }

    29 h1 .info {

    30   font-size: 11px;

    31   line-height: 15px;

    32   vertical-align: bottom;

    33   float: right;

    34   color: #333;

    35   padding-right: 3px;

    36 }

    38 .property-table {

    39   padding: 2px 5px;

    40   background: linear-gradient(#FFF, #F8F8F8);

    41   color: #333;

    42   width: 100%;

    43   max-height: 330px;

    44   overflow: auto;

    45   display: block;

    46 }

    48 .property-name {

    49   font-size: 11px;

    50   font-weight: bold;

    51   padding-right: 4px;

    52   color: #000;

    53   white-space: nowrap;

    54   text-align: right;

    55   vertical-align: top;

    56   width: 10%;

    57 }

    59 .property-value {

    60   padding-right: 5px;

    61   font-size: 11px;

    62   word-wrap: break-word;

    63   width: 90%;

    64 }

    66 div.group {

    67   margin-top: 10px;

    68 }

    70 div.group,

    71 #header {

    72   background: #FFF;

    73   border-color: #E1E1E1;

    74   border-style: solid;

    75   border-width: 1px;

    76   box-shadow: 0 1px 1.5px rgba(0, 0, 0, 0.2);

    77   border-radius: 4px 4px 4px 4px;

    78 }

    80 img#responseImageNode {

    81   box-shadow: rgba(0,0,0,0.2) 0px 3px 3.5px;

    82   max-width: 100%;

    83 }

    85 #responseImageNodeDiv {

    86   padding: 5px;

    87 }

    89 #responseBodyFetchLink, #requestBodyFetchLink {

    90   padding: 5px;

    91   margin: 0;

    92   cursor: pointer;

    93   font-weight: bold;

    94   font-size: 1.1em;

    95   text-decoration: underline;

    96 }

    98 .longStringEllipsis {

    99   margin-left: 0.6em;

   100 }

The Tor Browser / file revision