body {
    background-color: #f5f6f8;
}
.navbar-brand {
    font-weight: 600;
}
.card {
    border-radius: 0.6rem;
}
pre#log-output {
    border-radius: 0.4rem;
}
@media (max-width: 768px) {
    table.table { font-size: 0.85rem; }
}