/*
 * Table format: no cell border and no vertical space between the cells, because our
 * tables are actually more like very long lists. We use different background colors
 * for making easier to identify different sections in those lists.
 */
table {
  margin-top: 48px;
  border-spacing: 0px;
  white-space: nowrap;
  background-color: aliceblue;
}
tr.HL > td {
  background-color: #d0ebf6;
}
th {
  background-color: LightSteelBlue;
  padding-top: 8px;
  padding-bottom: 8px;
}
th.left-align {
  padding-left:  6px;
  text-align: left;
}
td {
  padding-left:  6px;
  padding-right: 6px;
  vertical-align: top;
}
tr.separator > td {
  font-weight: bold;
  padding-left: 1em;
  background-color: white;
  padding-top: 18px;
}
td.narrow {
  padding-left:  0;
  padding-right: 0;
}
td.error {
  color: red;
}
td.warning {
  color: darkred;
  font-style: italic;
}
del {
  color: gray;
}
td a {
  text-decoration: none;
  color: black;
}

td a:hover {
  color: #1b97c4
}