div.list-nav p.list-title {
    font-weight: bolder;
    margin-bottom: 0.4em;
}

div.list-nav li.spacer {
    font-size: 0.4em;
    line-height: 0.4em;
}

div#default-header img.default-logo {
    padding-top: 0.5em;
    padding-bottom: 0.5em;
}

span.timestamp.timestamp-recent {
    font-style: italic;
}

a.inherit-color {
    color: inherit;
}

table.table-last-col-right td:last-child, table.table-last-col-right th:last-child {
  text-align: right;
}