perf/perf-report/report.css

   1 body {
   2   font-family: Arial, sans-serif;
   3   font-size: 14pt;
   4   background-color: #ffffff;
   5   margin-top: 10pt;
   6   margin-left: 30pt;
   7   margin-right: 30pt;
   8   margin-botttom: 30pt; }
   9
  10 #logo {
  11   float: left;
  12   margin: 0;
  13   margin-right: 6pt;
  14   margin-bottom: 6pt;
  15 }
  16
  17 h1 {
  18   font-size: 20pt;
  19   margin-bottom: 5pt;
  20   color: #a40000; }
  21
  22 h2 {
  23   font-size: 11pt;
  24   color: #888;
  25   margin: 0;
  26 }
  27
  28 h3 {
  29   font-size: 14pt;
  30   color: #888;
  31   margin: 0pt; }
  32
  33 .header {
  34   margin: 10pt;
  35   padding: 0pt;
  36   margin-bottom: 20pt; }
  37
  38 .container {
  39   margin-left: auto;
  40   margin-right: auto;
  41   width: 500pt;
  42   background-color: #ddd;
  43   padding: 5pt; }
  44
  45 .item p {
  46   font-family: DejaVu Sans Mono, Courier New, monospace;
  47   font-size: 8pt;
  48   margin: 0pt;
  49   margin-top: 1pt;}
  50
  51 .item {
  52   padding: 5pt;
  53   margin: 10pt;
  54   background-color: #ffffff;
  55   color: #888;
  56   clear: both;
  57   min-height: 52px;
  58   border: 1px solid #bbb; }
  59
  60 .details {
  61   display: none;
  62   clear: both;
  63   margin-top: 60px; }
  64
  65 .detail {
  66   padding: 3pt;
  67   margin: 3pt;
  68   background-color: #eee;
  69   color: #bbbbbb;
  70   clear: both;
  71   font-size: 8pt;
  72   font-family: DejaVu Sans Mono, Courier New, monospace;
  73   height: 8pt;
  74 }
  75
  76 .red {
  77   background-color: #f00;
  78   color: #fff; }
  79
  80 .black {
  81   background-color: #000;
  82   color: #fff; }
  83
  84 .green {
  85   background-color: #0f0;
  86   color: #fff; }
  87
  88 .normal {
  89 }
  90
  91 .left {
  92   float: left;
  93   margin: 0; }
  94
  95 .right {
  96   float: right;
  97   margin: 0; }
  98
  99 .changelog {
 100   display: none;
 101   type: }
 102
 103 #tooltip pre {
 104    font-size: 8pt; }
 105
 106 #tooltip {
 107         position: absolute;
 108         z-index: 3000;
 109         border: 1px solid #111;
 110         background-color: #eee;
 111         padding: 5px;
 112         opacity: 0.85; }
 113
 114 #tooltip h3, #tooltip div { margin: 0; }