#log-filters {
    display: none;
}

.table-icon, .table-icon img {
    width: 16px;
}

dt {
    font-weight: bold;
}

dd {
    margin-left: 2em;
}

pre {
    padding: 0;
    margin: 0;
    border: none;
    background: none;
}