benchmarks/style.css

hr {
  border: 1px solid;
  border-color: #36C;
  margin: 1em 0;
}

h1, h2, h3, h4 {
  margin: 0;
  margin-bottom: 0;
}

h1 {
  font-size: 154%;
  height: 1.2em;
}


li {
  margin: .3em 0 1em 0;
}

body {
  font-family: Helvetica,Arial,sans-serif;
  color: #000;
  background-color: #fff;
}

div.title {
  background-color: rgb(229, 236, 249);
  border-top: 1px solid rgb(51, 102, 204);
  text-align: center;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  margin-bottom: 20px;
}

div.subtitle {
  border-bottom: 1px solid rgb(51, 102, 204);
  margin-top: 2em;
}

td.contents {
  text-align: left;
}

div.run {
  margin: 20px;
  width: 300px;
  height: 300px;
  float: right;
  background-color: rgb(229, 236, 249);
  background-image: url(v8-logo.png);
  background-position: center center;
  background-repeat: no-repeat;
  border: 1px solid rgb(51, 102, 204);
}

div.warning { 
  background: #ffffd9;
  border: 1px solid #d2d26a;
  display: none;
  margin: 1em 0 2em;
  padding: 8px;
  text-align: center; 
}

#status {
  text-align: center;
  margin-top: 50px;
  font-size: 120%;
  font-weight: bold;
}

#results {
  text-align: left;
  margin: 30px 0 0 90px;
}