tools/trace-malloc/spacetrace.css

   1 body {
   2   margin: 0px;
   3   padding: 0px;
   4   font: Arial, sans-serif;
   5 }
   6
   7 /* header stuff */
   8 .spacetrace-header {
   9   color: white;
  10   background: green;
  11 /*  min-height: 2em; */
  12 }
  13
  14 .spacetrace-title {
  15   font-size: x-large;
  16   font-weight: bold;
  17   padding: 0.5em;
  18 }
  19
  20 .navigate {
  21 /*  background: lightgrey; */
  22   color: black;
  23   position: absolute;
  24   right: 0px;
  25   margin: 0px;
  26   padding: 2px;
  27 }
  28
  29 .header-item {
  30   border: 1px outset;
  31   color: ButtonText;
  32   background: ButtonFace;
  33   margin: 0px;
  34   padding: 2px;
  35 }
  36
  37 .header-item > a {
  38   font-weight: bold;
  39   text-decoration: none;
  40 }
  41
  42
  43 .header-item {
  44   font-weight: bold;
  45 }
  46
  47 .category-title {
  48   font-weight: bold;
  49 }
  50
  51 /* footer stuff */
  52 .footer-separator {
  53   border: 1px inset;
  54   display: none;
  55 }
  56
  57 .footer {
  58   text-align: right;
  59   display: none;
  60 }
  61
  62 .footer-text {
  63   font-style: italic;
  64 }
  65
  66 .option-box {
  67   border: solid black;
  68   background: grey;
  69   padding-left: .5em;
  70   padding-right: .5em;
  71   margin: .5em;
  72 }
  73
  74 .option-name {
  75   font-weight: bold;
  76   margin: 1em;
  77 }
  78
  79 .option-box input[type=text]
  80 {
  81   border: inset thin;
  82   padding: 2px;
  83 }
  84
  85 .option-help {
  86   white-space: pre;
  87   right: 0px;
  88   background: white;
  89   padding: 0.5em;
  90   border: thin inset;
  91 }
  92
  93 .callsite-header {
  94   padding: 10px;
  95 }
  96 /* data tables */
  97 #callsite-details {
  98   position: absolute;
  99   right: 1px;
 100   top: 40px;
 101   width: 20%;
 102 }
 103
 104 #callsites {
 105   width: 75%;
 106   height: 40%;
 107   overflow: scroll;
 108 }
 109
 110 #caller-stack {
 111   height: 45%;
 112   width: 75%;
 113   overflow: scroll;
 114   padding-top: 5px;
 115 }
 116
 117 #allocations {
 118   position: absolute;
 119   right: 1px;
 120   bottom: 1px;
 121   height: 40%;
 122   width: 20%;
 123   overflow: scroll;
 124 }
 125
 126 /* headers at the top of specific call site pages */
 127
 128 table.summary {
 129   border: 1px solid black;
 130 }
 131
 132 /* lists of callsites/etc */
 133 table.data td {
 134   border-top: 1px solid;
 135   padding: 5px;
 136 }
 137
 138 table.data {
 139   clear: right;
 140   border-collapse: collapse;
 141 }
 142
 143 tr.row-header {
 144   background: #009090;
 145   width: 100%;
 146 }
 147
 148 table.data th {
 149   padding: 5px;
 150   margin: 0px;
 151   text-align: right;
 152 }
 153
 154 th.callsite {
 155   text-align: left !important;
 156 }
 157
 158 /* links to source */
 159 .source-extra {
 160   display: none;
 161 }
 162
 163 a.source, a.callsite {
 164   text-decoration: none;
 165 }
 166