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

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

     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   color: #000;

    52   white-space: nowrap;

    53   text-align: right;

    54   vertical-align: top;

    55   width: 10%;

    56 }

    58 .property-value {

    59   padding-right: 5px;

    60   font-size: 11px;

    61   word-wrap: break-word;

    62   width: 90%;

    63 }

    65 div.group {

    66   margin-top: 10px;

    67 }

    69 div.group,

    70 #header {

    71   background: #FFF;

    72   border-color: #E1E1E1;

    73   border-style: solid;

    74   border-width: 1px;

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

    76   border-radius: 4px 4px 4px 4px;

    77 }

    79 img#responseImageNode {

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

    81   max-width: 100%;

    82 }

    84 #responseImageNodeDiv {

    85   padding: 5px;

    86 }

    88 #responseBodyFetchLink, #requestBodyFetchLink {

    89   padding: 5px;

    90   margin: 0;

    91   cursor: pointer;

    92   font-weight: bold;

    93   font-size: 1.1em;

    94   text-decoration: underline;

    95 }

    97 .longStringEllipsis {

    98   margin-left: 0.6em;

    99 }

The Tor Browser / file revision