list

scripts

Repo containing scripts to be used with dovel, and git hooks that powers our web interface.

curl https://dovel.email/scripts.tar tar

a6ab7e5

Author: brian (git@myr.sh)

Date: Mon Sep 25 00:24:41 2023 -0300

Parent: 58a3d3f

Improved pre

Diff

diff --git a/aux.sh b/aux.sh
index 8c374c4..f8681ca 100755
--- a/aux.sh
+++ b/aux.sh
@@ -28,12 +28,13 @@ pageheader() {
padding: 8px;
border-radius: 8px;
}
-		table {width: 100%}
-		th {text-align: left}
file > pre {
-			line-height: 0.65;
+			white-space: pre;
+			line-height: 0.6;
overflow-x: auto
}
+		table {width: 100%}
+		th {text-align: left}
ol li {padding-bottom: 10px}
li::marker {
color: gray;