body  {
  margin:  0;
  padding: 0;
  font-family: Helvetica,sans-serif;
}
h1 {
  color: #04e;
  font-size: xx-large;
  margin: 0;
  padding: 1ex 1ex 1ex 0;
}
nav {
  margin-top: 0;
  line-height: 2em;
  background: #eef;
  border-bottom: 1px solid #aaf;
}
nav ul { margin-top: 0; padding-top: 1em; }
nav li { list-style-type: none; margin: 0; padding: 0; }
nav b { margin-right: 1em; }
nav a { margin-right: 1ex; }

header {
  margin: 0 1em;
}

main { margin: 1em; }

table.results {
  border-top:    solid 1px #ccc;
  border-bottom: solid 1px #ccc;
}
.results caption {
  text-align: left;
  font-weight: bold;
  font-size: x-large;
  color: #a00;
  margin: 1em 0 0.5em 0;
}
.results thead { position: sticky; top: 0; margin-left: 1em; }
.results thead th {
  background: #bbf;
  border-bottom: solid 2px #fff;
}
.results tbody td { text-align: right; }
.results tbody th:first-child,
.results tbody td:first-child { text-align: left; }
.results tr.count { font-weight: bold; }
.results tbody tr:nth-child(odd)   { background: white; }
.results tbody tr:nth-child(even)  { background: #ddf;  }
.results tbody tr:target           { scroll-margin-top: 4rem; }
.results tbody tr:target > td.YES    { border: 2px solid red; }
.YES,       .YES       a:link, .YES       a:visited { color: green;   font-weight: bold; }
.NO,        .NO        a:link, .NO        a:visited { color: red;     font-weight: bold; }
.ERRONEOUS, .ERRONEOUS a:link, .ERRONEOUS a:visited { color: magenta; font-weight: bold; }
.MAYBE,     .MAYBE     a:link, .MAYBE     a:visited { color: hotpink; }
.ERROR,     .ERROR     a:link, .ERROR     a:visited { color: black; background: red; }
.TIMEOUT,   .TIMEOUT   a:link, .TIMEOUT   a:visited { color: black; background: #dd0; }
.abbreviations caption {
  text-align: left;
  font-weight: bold;
  font-size: x-large;
  color: #a00;
  margin: 1em 0 0.5em 0;
}
.abbreviations th,
.abbreviations td { padding: 0.2ex 1ex 0.2ex 1ex; text-align: left; }
.abbreviations th:first-child { font-weight: bold; }
.abbreviations td:nth-child(3) { color: darkgreen; }