/* as sorcery's diffs: rows tinted by what happened to them, markers in their own column */
pre.diff {
  padding: 8px 0;
}
pre.diff span {
  display: block;
  min-height: 1lh;
  padding: 0 16px;
}
pre.diff i {
  display: inline-block;
  width: 1ch;
  margin-right: 0.75ch;
  font-style: normal;
  user-select: none;
}
pre.diff .add {
  background: color-mix(in srgb, var(--added) 9%, transparent);
}
pre.diff .add i {
  color: var(--added);
}
pre.diff .del {
  background: color-mix(in srgb, var(--removed) 9%, transparent);
}
pre.diff .del i {
  color: var(--removed);
}
pre.diff .hunk {
  color: var(--muted);
  background: var(--raised);
}

.tool-body .command pre.code .ln {
  color: var(--accent);
}

.tool-body .exit {
  font-family: var(--mono);
  font-size: var(--text-small);
  color: var(--error);
}