<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">code {
  color: green;
}
table {
  margin-left: 3em;
  font-family: sans-serif;
}
td {
  padding: 8px;  /* override default of 5px */
}
h3, h4 {
  color: darkgreen;
}

/* these two tables are side by side */
#shells, #hosts, #raw_times {
  display: inline-block;
  vertical-align: top;
}

/* columns */
#osh, #osh-ovm, #osh-cpython, #osh-native, #oil-native {
  background-color: oldlace;
}
/* rows */
.special {
  background-color: oldlace;
}

/* Make it lighter */
hr {
  border: none;
  height: 1px;
  background-color: #BBB;
}

</pre></body></html>