Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: brian (git@myr.sh)
Date: Wed Sep 20 23:58:21 2023 -0300
Parent: 557a540
Adjusted pre
diff --git a/update-repo-tree b/update-repo-tree
index 98b483c..2203be1 100755
--- a/update-repo-tree
+++ b/update-repo-tree
@@ -30,8 +30,9 @@ createfilepage() {
color: gray;
content: counter(list-item, decimal-leading-zero) " "
}
+ ol {margin: 0}
pre {
- white-space: nowrap;
+ line-height: 0.65;
font-family: monospace;
background: lightgray;
padding: 8px;