html {
  background: #efefef;
  font-family: Arial, Verdana, sans-serif;
  font-size: 13px;
}

body {
  padding: 0;
  margin: 0;
}

.header {
  background: #000;
  padding: 8px 5% 0 5%;
  border-bottom: 1px solid #444;
  border-bottom: 5px solid #0080FF;
}

.header h1 {
  color: #333;
  font-size: 90%;
  font-weight: bold;
  margin-bottom: 6px;
}

.header ul li {
  display: inline;
}

.header ul li a {
  color: #fff;
  text-decoration: none;
  margin-right: 10px;
  display: inline-block;
  padding: 8px;
  -webkit-border-top-right-radius: 6px;
  -webkit-border-top-left-radius: 6px;
  -moz-border-radius-topleft: 6px;
  -moz-border-radius-topright: 6px;
}

.header ul li a:hover {
  background: #333;
}

.header ul li.current a {
  background: #0080FF;
  font-weight: bold;
  color: #fff;
}

#main {
  padding: 10px 5%;
  background: #fff;
  overflow: hidden;
}

#main .logo {
  float: right;
  margin: 10px;
}

#main span.hl {
  background: #efefef;
  padding: 2px;
}

#main h1 {
  margin: 10px 0;
  font-size: 190%;
  font-weight: bold;
  color: #0080FF;
}

#main table {
  width: 100%;
  margin: 10px 0;
}

#main table tr td, #main table tr th {
  border: 1px solid #ccc;
  padding: 6px;
}

#main table tr th {
  background: #efefef;
  color: #888;
  font-size: 80%;
  font-weight: bold;
}

#main table tr td.no-data {
  text-align: center;
  padding: 40px 0;
  color: #999;
  font-style: italic;
  font-size: 130%;
}

#main a {
  color: #111;
}

#main p {
  margin: 5px 0;
}

#main p.intro {
  margin-bottom: 15px;
  font-size: 85%;
  color: #999;
  margin-top: 0;
  line-height: 1.3;
}

#main h1.wi {
  margin-bottom: 5px;
}

#main p.sub {
  font-size: 95%;
  color: #999;
}

.experiment {
  width: 60%;
  border-top:1px solid #eee;
  margin:15px 0;
}

.experiment h2 {
  margin: 10px 0;
  font-size: 130%;
  font-weight:bold;
  float:left;
}

.experiment h2 .version{
  font-style:italic;
  font-size:0.8em;
  color:#bbb;
  font-weight:normal;
}

.experiment table em{
  font-style:italic;
  font-size:0.9em;
  color:#bbb;
}

.experiment table .totals td {
  background: #eee;
  font-weight: bold;
}

#footer {
  padding: 10px 5%;
  background: #efefef;
  color: #999;
  font-size: 85%;
  line-height: 1.5;
  border-top: 5px solid #ccc;
  padding-top: 10px;
}

#footer p a {
  color: #999;
}

.inline-controls {
  float:right;
}

.inline-controls form {
  display: inline-block;
  font-size: 10px;
  line-height: 38px;
}

.inline-controls input {
  margin-left: 10px;
}

.worse, .better {
  color: #F00;
  font-size: 10px;
}

.better {
  color: #00D500;
}