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;
}