/*
 * Table of commits: no cell border and no vertical space between the cells,
 * because our tables are actually more like very long lists.
 */
table {
  white-space: nowrap;
  border-spacing: 0px;
}
th {
  background-color: lightskyblue;
  height: 18pt;
}
th.last { /* Last column is very large, we can't see the title if it is centered. '*/
  text-align: left;
  padding-left: 6pt;
}
td {
  padding-left:  6pt;
  padding-right: 6pt;
  vertical-align: top;
}
td.rev { /* Column for revision number. */
  text-align: right;
}
td.unav { /* Unavailable commit (no granted rights) */
  font-weight: bold;
}
/*
 * Table of changes.
 */
table.changes {
  border-style: solid;
  border-width: 2pt;
}
table.changes > tr > td {
    border-top-style: dashed;
    border-top-width: 1px;
    border-left-style: solid;
    border-left-width: 1px;
}
pre {
  font-size: 9pt;
}
span.add {
  color: forestgreen;
}
span.del {
  color: firebrick;
}