body {
    padding-top: 64px;
    padding-bottom: 40px;
}

.main-content {
    padding-top: 12px;
}

.table-sm td, .table-sm th {
    font-size: 0.875rem;
}

pre.output {
    background: #1e1e1e;
    color: #d4d4d4;
    padding: 1rem;
    border-radius: 4px;
    white-space: pre-wrap;
}

.stat-box {
    border-radius: 6px;
    color: #fff;
    padding: 1rem 1.25rem;
}

.stat-box h3 {
    font-size: 2.2rem;
    margin: 0;
}

.stat-box a {
    color: rgba(255, 255, 255, 0.85);
    text-decoration: none;
    font-size: 0.85rem;
}

.status-ok { color: #198754; }
.status-err { color: #dc3545; }