The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/tools/trace-malloc/spacetrace.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,170 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +body {
     1.9 +  margin: 0px;
    1.10 +  padding: 0px;
    1.11 +  font: Arial, sans-serif;
    1.12 +}
    1.13 +
    1.14 +/* header stuff */
    1.15 +.spacetrace-header {
    1.16 +  color: white;
    1.17 +  background: green;
    1.18 +/*  min-height: 2em; */
    1.19 +}
    1.20 +
    1.21 +.spacetrace-title {
    1.22 +  font-size: x-large;
    1.23 +  font-weight: bold;
    1.24 +  padding: 0.5em;
    1.25 +}
    1.26 +
    1.27 +.navigate {
    1.28 +/*  background: lightgrey; */
    1.29 +  color: black;
    1.30 +  position: absolute;
    1.31 +  right: 0px;
    1.32 +  margin: 0px;
    1.33 +  padding: 2px;
    1.34 +}
    1.35 +
    1.36 +.header-item {
    1.37 +  border: 1px outset;
    1.38 +  color: ButtonText;
    1.39 +  background: ButtonFace;
    1.40 +  margin: 0px;
    1.41 +  padding: 2px;
    1.42 +}
    1.43 +
    1.44 +.header-item > a {
    1.45 +  font-weight: bold;
    1.46 +  text-decoration: none;
    1.47 +}
    1.48 +
    1.49 +
    1.50 +.header-item {
    1.51 +  font-weight: bold;
    1.52 +}
    1.53 +
    1.54 +.category-title {
    1.55 +  font-weight: bold;
    1.56 +}
    1.57 +
    1.58 +/* footer stuff */
    1.59 +.footer-separator {
    1.60 +  border: 1px inset;
    1.61 +  display: none;
    1.62 +}
    1.63 +
    1.64 +.footer {
    1.65 +  text-align: right;
    1.66 +  display: none;
    1.67 +}
    1.68 +
    1.69 +.footer-text {
    1.70 +  font-style: italic;
    1.71 +}
    1.72 +
    1.73 +.option-box {
    1.74 +  border: solid black;
    1.75 +  background: grey;
    1.76 +  padding-left: .5em;
    1.77 +  padding-right: .5em;
    1.78 +  margin: .5em;
    1.79 +}
    1.80 +
    1.81 +.option-name {
    1.82 +  font-weight: bold;
    1.83 +  margin: 1em;
    1.84 +}
    1.85 +
    1.86 +.option-box input[type=text]
    1.87 +{
    1.88 +  border: inset thin;
    1.89 +  padding: 2px;
    1.90 +}
    1.91 +
    1.92 +.option-help {
    1.93 +  white-space: pre;
    1.94 +  right: 0px;
    1.95 +  background: white;
    1.96 +  padding: 0.5em;
    1.97 +  border: thin inset;
    1.98 +}
    1.99 +
   1.100 +.callsite-header {
   1.101 +  padding: 10px;
   1.102 +}
   1.103 +/* data tables */
   1.104 +#callsite-details {
   1.105 +  position: absolute;
   1.106 +  right: 1px;
   1.107 +  top: 40px;
   1.108 +  width: 20%;
   1.109 +}
   1.110 +
   1.111 +#callsites {
   1.112 +  width: 75%;
   1.113 +  height: 40%;
   1.114 +  overflow: scroll;
   1.115 +}
   1.116 +
   1.117 +#caller-stack {
   1.118 +  height: 45%;
   1.119 +  width: 75%;
   1.120 +  overflow: scroll;
   1.121 +  padding-top: 5px;
   1.122 +}
   1.123 +
   1.124 +#allocations {
   1.125 +  position: absolute;
   1.126 +  right: 1px;
   1.127 +  bottom: 1px;
   1.128 +  height: 40%;
   1.129 +  width: 20%;
   1.130 +  overflow: scroll;
   1.131 +}
   1.132 +
   1.133 +/* headers at the top of specific call site pages */
   1.134 +
   1.135 +table.summary {
   1.136 +  border: 1px solid black;
   1.137 +}
   1.138 +
   1.139 +/* lists of callsites/etc */
   1.140 +table.data td {
   1.141 +  border-top: 1px solid;
   1.142 +  padding: 5px;
   1.143 +}
   1.144 +
   1.145 +table.data {
   1.146 +  clear: right;
   1.147 +  border-collapse: collapse;
   1.148 +}
   1.149 +
   1.150 +tr.row-header {
   1.151 +  background: #009090;
   1.152 +  width: 100%;
   1.153 +}
   1.154 +
   1.155 +table.data th {
   1.156 +  padding: 5px;
   1.157 +  margin: 0px;
   1.158 +  text-align: right;
   1.159 +}
   1.160 +
   1.161 +th.callsite {
   1.162 +  text-align: left !important;
   1.163 +}
   1.164 +
   1.165 +/* links to source */
   1.166 +.source-extra {
   1.167 +  display: none;
   1.168 +}
   1.169 +
   1.170 +a.source, a.callsite {
   1.171 +  text-decoration: none;
   1.172 +}
   1.173 +