pre::highlight(risk-low) {
  background-color: var(--color-slate-200);
}
pre::highlight(risk-medium) {
  background-color: var(--color-orange-200);
}
pre::highlight(risk-high) {
  background-color: var(--color-rose-200);
}
pre::highlight(risk-critical) {
  background-color: var(--color-rose-300);
}
pre::highlight(remediated) {
  background-color: var(--remediation-bg-emphasis);
}
pre::highlight(search) {
  background-color: var(--search-highlight);
}

.dark pre::highlight(risk-low) {
  background-color: var(--color-slate-700);
}
.dark pre::highlight(risk-medium) {
  background-color: var(--color-orange-900);
}
.dark pre::highlight(risk-high) {
  background-color: var(--color-rose-900);
}
.dark pre::highlight(risk-critical) {
  background-color: var(--color-rose-800);
}
