/* ============================================================================= */
/* PULL_REQUESTS / PR_LIST */
/* ============================================================================= */

.list-group-item:hover {
  background-color: var(--bg-muted);
}

.badge {
  font-size: 0.75rem;
}