Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: blmayer (bleemayer@gmail.com)
Date: Tue Oct 3 14:35:12 2023 -0300
Parent: b4f4475
Adjusted spacing
diff --git a/aux.sh b/aux.sh
index 4d8b69d..846abc3 100755
--- a/aux.sh
+++ b/aux.sh
@@ -22,7 +22,7 @@ pagehead() {
font-family: sans-serif;
}
pre {
- overflow-x: auto
+ overflow-x: auto;
font-family: mono,monospace;
font-weight: bold;
background: lightgray;
@@ -30,7 +30,7 @@ pagehead() {
border-radius: 8px;
}
file > pre {
- line-height: 0.5;
+ line-height: 0.8;
}
table {width: 100%}
th {text-align: left}