nav.navbar { background-color: #003082; }
nav.navbar a:hover { color: #6c757d }
nav .navbar-brand { font-weight: bold }

.card-body pre { white-space: pre-wrap; }

.htmx-indicator {
    display: none;
}
.htmx-request .htmx-indicator,
.htmx-request.htmx-indicator {
    display: inline-block;
    opacity: 1;
    visibility: visible;
    transition: opacity 200ms ease-in;
}