The Tor Browser: tools/trace-malloc/spacetrace.css@6474c204b198

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   margin: 0px;

     7   padding: 0px;

     8   font: Arial, sans-serif;

9 }

    11 /* header stuff */

    12 .spacetrace-header {

    13   color: white;

    14   background: green;

    15 /*  min-height: 2em; */

    16 }

    18 .spacetrace-title {

    19   font-size: x-large;

    20   font-weight: bold;

    21   padding: 0.5em;

    22 }

    24 .navigate {

    25 /*  background: lightgrey; */

    26   color: black;

    27   position: absolute;

    28   right: 0px;

    29   margin: 0px;

    30   padding: 2px;

    31 }

    33 .header-item {

    34   border: 1px outset;

    35   color: ButtonText;

    36   background: ButtonFace;

    37   margin: 0px;

    38   padding: 2px;

    39 }

    41 .header-item > a {

    42   font-weight: bold;

    43   text-decoration: none;

    44 }

    47 .header-item {

    48   font-weight: bold;

    49 }

    51 .category-title {

    52   font-weight: bold;

    53 }

    55 /* footer stuff */

    56 .footer-separator {

    57   border: 1px inset;

    58   display: none;

    59 }

    61 .footer {

    62   text-align: right;

    63   display: none;

    64 }

    66 .footer-text {

    67   font-style: italic;

    68 }

    70 .option-box {

    71   border: solid black;

    72   background: grey;

    73   padding-left: .5em;

    74   padding-right: .5em;

    75   margin: .5em;

    76 }

    78 .option-name {

    79   font-weight: bold;

    80   margin: 1em;

    81 }

    83 .option-box input[type=text]

    84 {

    85   border: inset thin;

    86   padding: 2px;

    87 }

    89 .option-help {

    90   white-space: pre;

    91   right: 0px;

    92   background: white;

    93   padding: 0.5em;

    94   border: thin inset;

    95 }

    97 .callsite-header {

    98   padding: 10px;

    99 }

   100 /* data tables */

   101 #callsite-details {

   102   position: absolute;

   103   right: 1px;

   104   top: 40px;

   105   width: 20%;

   106 }

   108 #callsites {

   109   width: 75%;

   110   height: 40%;

   111   overflow: scroll;

   112 }

   114 #caller-stack {

   115   height: 45%;

   116   width: 75%;

   117   overflow: scroll;

   118   padding-top: 5px;

   119 }

   121 #allocations {

   122   position: absolute;

   123   right: 1px;

   124   bottom: 1px;

   125   height: 40%;

   126   width: 20%;

   127   overflow: scroll;

   128 }

   130 /* headers at the top of specific call site pages */

   132 table.summary {

   133   border: 1px solid black;

   134 }

   136 /* lists of callsites/etc */

   137 table.data td {

   138   border-top: 1px solid;

   139   padding: 5px;

   140 }

   142 table.data {

   143   clear: right;

   144   border-collapse: collapse;

   145 }

   147 tr.row-header {

   148   background: #009090;

   149   width: 100%;

   150 }

   152 table.data th {

   153   padding: 5px;

   154   margin: 0px;

   155   text-align: right;

   156 }

   158 th.callsite {

   159   text-align: left !important;

   160 }

   162 /* links to source */

   163 .source-extra {

   164   display: none;

   165 }

   167 a.source, a.callsite {

   168   text-decoration: none;

   169 }

The Tor Browser / file revision