/* text-diff-checker: styles only it uses, split out of site.css by scripts/split-css.mjs. */
.diff-view { border: 1px solid var(--line-strong); border-radius: var(--r-control); overflow: auto; max-height: 520px; font-family: var(--mono); font-size: 0.86rem; background: #FBFCFE; }
.diff-view:empty { display: none; }
.diff-line { display: grid; grid-template-columns: 56px minmax(0, 1fr); }
.diff-num { padding: 2px 10px; text-align: right; color: var(--slate-2); border-right: 1px solid var(--line); user-select: none; }
.diff-text { padding: 2px 12px; white-space: pre-wrap; overflow-wrap: anywhere; }
.diff-add .diff-num { color: var(--good); }
.diff-del .diff-num { color: var(--bad); }
.diff-del .diff-text { text-decoration: line-through; text-decoration-color: rgb(196 53 43 / 0.4); }