.categoryTag {
  font-weight: bold;
  font-size: 0.8rem;
  padding: 0.1rem 0.2rem;
  border-radius: 0.2rem;
  white-space: nowrap;
}

.categoryTag a:link {
  color: inherit;
}
.categoryTag a:visited {
  color: inherit;
}
.searchBar {
  display: flex;
  font-weight: bold;
  font-size: 0.8rem;
  padding: 0.1rem 0.2rem;
  border-radius: 0.2rem;
  margin-bottom: 0.4rem;
  white-space: nowrap;
}
.searchBar input {
  display: flex;
  background-color: var(--ifm-background-color);
  color: inherit;
  font-weight: bold;
  font-size: 0.8rem;
  padding: 0.1rem 0.2rem;
  border: none;
  border-bottom: 0.1rem solid var(--ifm-table-border-color);
}
.searchBar select {
  display: flex;
  background-color: var(--ifm-background-color);
  color: inherit;
  font-weight: bold;
  font-size: 0.8rem;
  padding: 0.1rem 0.2rem;
  border: none;
  border-bottom: 0.1rem solid var(--ifm-table-border-color);
}

/* The Wasm and per-implementation "only" filters are the same widget, so they share one pair of
   classes: grey when off, green when on. */
.filterToggle {
  cursor: pointer;
  user-select: none;
  background-color: slategrey;
  color: white;
  font-weight: bold;
  font-size: 0.8rem;
  padding: 0.1rem 0.2rem;
  margin-left: 0.4rem;
  border-radius: 0.2rem;
}
.filterToggleOn {
  background-color: seagreen;
}