Deploying to gh-pages from @ 5fee150 🚀

xproc · Aug 20, 2024 · 83e5e58 · 83e5e58
1 parent 67d0bf1
commit 83e5e58
Show file tree

Hide file tree

Showing 56 changed files with 45,672 additions and 0 deletions.
diff --git a/pr/1106/overview/css/autodiff.css b/pr/1106/overview/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;
+}
+