/* Project specific style */

td.benchmark {
  text-align: center;
}

td.benchmark_title {
  text-align: center;
  padding: 0.2em 1em 0.2em 1em;
}

table.results td {
  font-size: smaller;
  text-align: center;
}