ul.backtrace {
  font: var(--monospace-font);
  background: var(--dtext-code-background);
  padding: 1em;
  margin-bottom: 1em;
}