.container-fluid {
  max-width: 1140px;
}

.font-mono {
  font-family: monospace;
}

.CodeMirror {
  font-size: 0.8em;
  border-top: 1px solid var(--bs-border-color); border-bottom: 1px solid var(--bs-border-color);
}

.CodeMirror pre.CodeMirror-placeholder { color: #999; }

.text-diff-ADDED {
  color: #198754;
  background-color: var(--bs-success-bg-subtle) !important;
  font-size: 0.875em;
}

.text-diff-CHANGED {
  color: #fd7e14;
  background-color: var(--bs-warning-bg-subtle) !important;
  font-size: 0.875em;
}

.text-diff-REMOVED {
  color: #dc3545;
  background-color: var(--bs-danger-bg-subtle) !important;
  font-size: 0.875em;
}