/* The rows table of the comparison benchmark pages, the same for every library */
.rows tr.selected td {
  font-weight: 700;
  background: var(--i-color-subtle-border);
}

.rows td {
  padding-block: 0.25rem;
}

.rows button {
  margin: 0;
}