change Diff to output <ins>, <del>

2023-08-31 03:20:20 +00:00
parent 6ed9d4554a
commit efda16b039
4 changed files with 14 additions and 5 deletions
@@ -0,0 +1,8 @@
+del {
+    background-color: var(--hl3);
+}
+
+ins {
+    text-decoration: underline; /* shouldn't be needed, but Chromium doesn't copy to clipboard without it */
+    background-color: var(--hl5);
+}