tools/trace-malloc/spacetrace.css@ac0c01689b40 (annotated)
tools/trace-malloc/spacetrace.css
Thu, 15 Jan 2015 15:59:08 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 15:59:08 +0100
- branch
- TOR_BUG_9701
- changeset 10
- ac0c01689b40
- permissions
- -rw-r--r--
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 4 | |
| michael@0 | 5 | body { |
| michael@0 | 6 | margin: 0px; |
| michael@0 | 7 | padding: 0px; |
| michael@0 | 8 | font: Arial, sans-serif; |
| michael@0 | 9 | } |
| michael@0 | 10 | |
| michael@0 | 11 | /* header stuff */ |
| michael@0 | 12 | .spacetrace-header { |
| michael@0 | 13 | color: white; |
| michael@0 | 14 | background: green; |
| michael@0 | 15 | /* min-height: 2em; */ |
| michael@0 | 16 | } |
| michael@0 | 17 | |
| michael@0 | 18 | .spacetrace-title { |
| michael@0 | 19 | font-size: x-large; |
| michael@0 | 20 | font-weight: bold; |
| michael@0 | 21 | padding: 0.5em; |
| michael@0 | 22 | } |
| michael@0 | 23 | |
| michael@0 | 24 | .navigate { |
| michael@0 | 25 | /* background: lightgrey; */ |
| michael@0 | 26 | color: black; |
| michael@0 | 27 | position: absolute; |
| michael@0 | 28 | right: 0px; |
| michael@0 | 29 | margin: 0px; |
| michael@0 | 30 | padding: 2px; |
| michael@0 | 31 | } |
| michael@0 | 32 | |
| michael@0 | 33 | .header-item { |
| michael@0 | 34 | border: 1px outset; |
| michael@0 | 35 | color: ButtonText; |
| michael@0 | 36 | background: ButtonFace; |
| michael@0 | 37 | margin: 0px; |
| michael@0 | 38 | padding: 2px; |
| michael@0 | 39 | } |
| michael@0 | 40 | |
| michael@0 | 41 | .header-item > a { |
| michael@0 | 42 | font-weight: bold; |
| michael@0 | 43 | text-decoration: none; |
| michael@0 | 44 | } |
| michael@0 | 45 | |
| michael@0 | 46 | |
| michael@0 | 47 | .header-item { |
| michael@0 | 48 | font-weight: bold; |
| michael@0 | 49 | } |
| michael@0 | 50 | |
| michael@0 | 51 | .category-title { |
| michael@0 | 52 | font-weight: bold; |
| michael@0 | 53 | } |
| michael@0 | 54 | |
| michael@0 | 55 | /* footer stuff */ |
| michael@0 | 56 | .footer-separator { |
| michael@0 | 57 | border: 1px inset; |
| michael@0 | 58 | display: none; |
| michael@0 | 59 | } |
| michael@0 | 60 | |
| michael@0 | 61 | .footer { |
| michael@0 | 62 | text-align: right; |
| michael@0 | 63 | display: none; |
| michael@0 | 64 | } |
| michael@0 | 65 | |
| michael@0 | 66 | .footer-text { |
| michael@0 | 67 | font-style: italic; |
| michael@0 | 68 | } |
| michael@0 | 69 | |
| michael@0 | 70 | .option-box { |
| michael@0 | 71 | border: solid black; |
| michael@0 | 72 | background: grey; |
| michael@0 | 73 | padding-left: .5em; |
| michael@0 | 74 | padding-right: .5em; |
| michael@0 | 75 | margin: .5em; |
| michael@0 | 76 | } |
| michael@0 | 77 | |
| michael@0 | 78 | .option-name { |
| michael@0 | 79 | font-weight: bold; |
| michael@0 | 80 | margin: 1em; |
| michael@0 | 81 | } |
| michael@0 | 82 | |
| michael@0 | 83 | .option-box input[type=text] |
| michael@0 | 84 | { |
| michael@0 | 85 | border: inset thin; |
| michael@0 | 86 | padding: 2px; |
| michael@0 | 87 | } |
| michael@0 | 88 | |
| michael@0 | 89 | .option-help { |
| michael@0 | 90 | white-space: pre; |
| michael@0 | 91 | right: 0px; |
| michael@0 | 92 | background: white; |
| michael@0 | 93 | padding: 0.5em; |
| michael@0 | 94 | border: thin inset; |
| michael@0 | 95 | } |
| michael@0 | 96 | |
| michael@0 | 97 | .callsite-header { |
| michael@0 | 98 | padding: 10px; |
| michael@0 | 99 | } |
| michael@0 | 100 | /* data tables */ |
| michael@0 | 101 | #callsite-details { |
| michael@0 | 102 | position: absolute; |
| michael@0 | 103 | right: 1px; |
| michael@0 | 104 | top: 40px; |
| michael@0 | 105 | width: 20%; |
| michael@0 | 106 | } |
| michael@0 | 107 | |
| michael@0 | 108 | #callsites { |
| michael@0 | 109 | width: 75%; |
| michael@0 | 110 | height: 40%; |
| michael@0 | 111 | overflow: scroll; |
| michael@0 | 112 | } |
| michael@0 | 113 | |
| michael@0 | 114 | #caller-stack { |
| michael@0 | 115 | height: 45%; |
| michael@0 | 116 | width: 75%; |
| michael@0 | 117 | overflow: scroll; |
| michael@0 | 118 | padding-top: 5px; |
| michael@0 | 119 | } |
| michael@0 | 120 | |
| michael@0 | 121 | #allocations { |
| michael@0 | 122 | position: absolute; |
| michael@0 | 123 | right: 1px; |
| michael@0 | 124 | bottom: 1px; |
| michael@0 | 125 | height: 40%; |
| michael@0 | 126 | width: 20%; |
| michael@0 | 127 | overflow: scroll; |
| michael@0 | 128 | } |
| michael@0 | 129 | |
| michael@0 | 130 | /* headers at the top of specific call site pages */ |
| michael@0 | 131 | |
| michael@0 | 132 | table.summary { |
| michael@0 | 133 | border: 1px solid black; |
| michael@0 | 134 | } |
| michael@0 | 135 | |
| michael@0 | 136 | /* lists of callsites/etc */ |
| michael@0 | 137 | table.data td { |
| michael@0 | 138 | border-top: 1px solid; |
| michael@0 | 139 | padding: 5px; |
| michael@0 | 140 | } |
| michael@0 | 141 | |
| michael@0 | 142 | table.data { |
| michael@0 | 143 | clear: right; |
| michael@0 | 144 | border-collapse: collapse; |
| michael@0 | 145 | } |
| michael@0 | 146 | |
| michael@0 | 147 | tr.row-header { |
| michael@0 | 148 | background: #009090; |
| michael@0 | 149 | width: 100%; |
| michael@0 | 150 | } |
| michael@0 | 151 | |
| michael@0 | 152 | table.data th { |
| michael@0 | 153 | padding: 5px; |
| michael@0 | 154 | margin: 0px; |
| michael@0 | 155 | text-align: right; |
| michael@0 | 156 | } |
| michael@0 | 157 | |
| michael@0 | 158 | th.callsite { |
| michael@0 | 159 | text-align: left !important; |
| michael@0 | 160 | } |
| michael@0 | 161 | |
| michael@0 | 162 | /* links to source */ |
| michael@0 | 163 | .source-extra { |
| michael@0 | 164 | display: none; |
| michael@0 | 165 | } |
| michael@0 | 166 | |
| michael@0 | 167 | a.source, a.callsite { |
| michael@0 | 168 | text-decoration: none; |
| michael@0 | 169 | } |
| michael@0 | 170 |
