Merge pull request #1089 from ndw/diff-fixes

Tweaks for diff markup
xproc · Apr 12, 2024 · 956d958 · 956d958
2 parents ce40a31 + 107626c
commit 956d958
Show file tree

Hide file tree

Showing 3 changed files with 448 additions and 3 deletions.
diff --git a/src/main/resources/css/autodiff.css b/src/main/resources/css/autodiff.css
@@ -0,0 +1,34 @@
+.autohide {
+    visibility: hidden;
+    background-color: white;
+    padding: 2px;
+    font-weight: bold;
+    z-index: 2;
+    opacity: 0;
+    transition: visibility 0s 4s, opacity 4s linear;
+}
+.autoshow {
+    visibility: visible;
+    background-color: white;
+    padding: 2px;
+    font-weight: bold;
+    z-index: 2;
+    opacity: 1;
+}
+.diffinfo {
+    border: 2px solid #777777;
+    background-color: #eeee55;
+    border-radius: 1em;
+}
+body {
+    margin-top: 1in;
+}
+#_autodiff_buttons {
+    width: 50em;
+    background-color: white;
+    border-top: none;
+    border-left: none;
+    border-right: none;
+    border-bottom: 1px dotted black;
+}
+
diff --git a/src/main/resources/css/xproc.css b/src/main/resources/css/xproc.css
@@ -120,14 +120,14 @@ code.comment  { font-style: italic; }
 .revision-inherited {
                     }
 
-.revision-deleted   { background-color: #FF9999;
+.revision-deleted   { background-color: rgb(255, 85, 85, 0.3);
                       text-decoration: line-through;
                     }
 
-.revision-added     { background-color: #FFFF99;
+.revision-added     { background-color: rgb(144, 238, 144, 0.3);
                     }
 
-.revision-changed   { background-color: #99FF99;
+.revision-changed   { background-color: #FFFF99;
                     }
 
 a.difflink {