/* Enricher */
body {
  background-color: #f8f9fa;
}
.navbar-brand {
  font-weight: 700;
}
.cursor-pointer {
  cursor: pointer;
}

/* Agent log table */
.agent-log {
  font-size: 0.82rem;
}
.agent-log td {
  vertical-align: middle;
}
.tool-badge {
  font-size: 0.72rem;
  font-weight: 500;
}