<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* Show diffs */

.diff-add { background-color: #99ff99 }
.diff-del { background-color: #ff9999; text-decoration: line-through }
.diff-chg { background-color: #ffff99 }
.diff-off {  }

span.diff-chg:before,
span.diff-chg:after {
content: "";
}

div.diff-chg:before,
div.diff-chg:after {
content: "";
}

p.element-syntax-chg { border: solid thick yellow; background-color: #ff99ff }

div.example-chg { border: solid thick yellow; background-color: #40e0d0; padding: 1em }
</pre></body></html>