body { font-size: 0.95rem; }
.card-header { background-color: #105e9e; color: #fff; }
.navbar-brand { letter-spacing: .3px; }
textarea.font-monospace { font-size: .85rem; }

/* The validation summary renders even with no errors; hide it until it has some. */
.validation-summary-valid { display: none; }
.input-validation-error { border-color: var(--bs-danger); }