web/build_farm.css

   1
   2 /* log is the id on the build log divisions */
   3 #log .name, #log .status {
   4         display: inline;
   5         font-weight: bold;
   6         font-family: sans-serif;
   7 }
   8 #log .status.failed {
   9         color: rgb(153, 0, 0);;
  10 }
  11 #log .status.passed {
  12         color: rgb(0, 153, 0);
  13 }
  14 #log .status.skipped {
  15         color: rgb(0, 0, 153);
  16 }
  17 #log .output {
  18         color: rgb(0, 0, 0);
  19         font-family: monospace;
  20 }
  21 #log div.unit {
  22         margin: 5px;
  23         padding: 10px;
  24         border: 2px solid black;
  25 }
  26 #log div.unit.passed {
  27         background-color: rgb(180, 255, 180);
  28 }
  29 #log div.unit.failed {
  30         background-color: rgb(255, 180, 180);
  31 }
  32 #log div.unit.skipped {
  33         background-color: rgb(180, 180, 255);
  34 }
  35 #log .unit.failed .output {
  36         display: block;
  37 }
  38 #log .unit.skipped .output {
  39         display: block;
  40 }
  41 #log .unit.passed .output {
  42         display: none;
  43 }
  44 #log div.output-stderr-0 {
  45         display: none;
  46 }
  47 #log img {
  48         border: none;
  49 }
  50 #log a {
  51         text-decoration: none;
  52 }
  53 #log a:hover, #log a:active {
  54         text-decoration: underline;
  55 }
  56
  57 /* generically, status correspond to the ok/ok/ok/ok strings */
  58 .status.passed {
  59         color: rgb(0, 128, 0);
  60 }
  61
  62 .status.failed {
  63         color: rgb(255, 0, 0);
  64 }
  65
  66 .panic {
  67         color: rgb(255, 0, 0);
  68         font-weight: bold;
  69 }
  70 .status.unknown {
  71         color: rgb(0, 0, 255);
  72 }
  73
  74 .summary td.status {
  75         text-align: center;
  76 }
  77
  78 .summary .tree {
  79         font-weight: bold;
  80 }
  81
  82 .summary .age {
  83         text-align: right;
  84 }
  85 .age .old {
  86         color: rgb(210, 0, 0);
  87 }
  88
  89 div.host.summary {
  90         float: left;
  91 }
  92 div.host.summary h3 {
  93         margin-bottom: 2px;
  94 }
  95 div.summary {
  96         margin: 4px;
  97 }
  98 div.build-section {
  99         clear: both;
 100         width: 100%;
 101 }
 102 #logo>.build_logo {
 103         background-image:url(build_logo.png);
 104         background-position:center;
 105         background-repeat:no-repeat;
 106 }
 107 .build_logo {
 108         position:absolute;
 109         width:399px;
 110         height:208px;
 111         margin-top:-42px;
 112         margin-left:1px;
 113         z-index:1;
 114 }
 115
 116 #banner {
 117         position:absolute;
 118         top:0;
 119         left:0;
 120         text-align: center;
 121         height:90px;
 122         width:100%;
 123         padding-top:4px;
 124         background-color:#FFFF64;
 125 }
 126 .stripe {
 127         position:absolute;
 128         top:40px;
 129         left:0;
 130         text-align: center;
 131         height:55px;
 132         width:100%;
 133         background-color:#3878CD;
 134         border-top:2px solid #575756;
 135         border-bottom:2px solid #575756;
 136 }
 137
 138 #build-menu {
 139         position: absolute;
 140         top: 0;
 141         left: 250px;
 142         margin-top: 5px;
 143         z-index: 10;
 144 }
 145 #build-menu input {
 146         margin: 20px 10px 0px 0px;
 147 }
 148
 149 /* Styles for main content (center column) */
 150 #content>.center {
 151         position:absolute;
 152         top:100px;
 153         left:175px;
 154         margin:0;
 155 }
 156 .center {
 157         margin:100px 10px 0 175px;
 158         padding-top:30px;
 159         padding-left:35px;
 160         padding-bottom:50px;
 161         padding-right:15px;
 162         background-color:#FFF;
 163         border-left:1px solid #FFFF64;
 164         border-right:1px solid #FFFF64;
 165 }
 166
 167 #logo>.build_logo {
 168         background-image:url(build_logo.png);
 169         background-position:center;
 170         background-repeat:no-repeat;
 171 }
 172 #logo img {
 173         border:0;
 174 }
 175 #logo a:hover {
 176         background:transparent;
 177 }
 178
 179 .diff_index {
 180         color: blue;
 181 }
 182 .diff_removed {
 183         color: #a00000;
 184 }
 185 .diff_added {
 186         color: #0a0;
 187 }
 188 .diff_fragment_header {
 189         color: purple;
 190 }
 191 .diff_separator {
 192         color: green;
 193 }
 194 .diff_diff {
 195         color: red;
 196 }
 197
 198 .history_row {
 199         background-color: #E5E9F5;
 200         margin-bottom: 10px;
 201         padding: 2px;
 202 }
 203
 204 .history_row .label {
 205         font-style: italic;
 206 }
 207
 208 .history_row .date,
 209 .history_row .diff .html {
 210         font-weight: bold;
 211 }