.verso-search-results .suggestion-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .lake-toml-field-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .env-var-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .lake-option-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .config-file-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .section-domain {
  font-family: var(--verso-structure-font-family);
  font-style: normal;
  font-weight: bold;
}

.verso-search-results .example-def {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .tactic-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: bold;
}

.verso-search-results .lake-toml-table-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .lake-command-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .elan-option-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .doc-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .doc-option-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .conv-tactic-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: bold;
}

.verso-search-results .syntax-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .tech-term-domain {
  font-family: var(--verso-text-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .elan-command-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}

.verso-search-results .error-explanation-domain {
  font-family: var(--verso-code-font-family);
  font-style: normal;
  font-weight: normal;
}