scripts

fe0d874

Author: blmayer (bleemayer@gmail.com)

Date: Tue Oct 3 14:13:40 2023 -0300

Parent: acfddc9

Adjusted tags

Diff

aux.sh

diff --git a/aux.sh b/aux.sh
index 128d1b0..06222fa 100755
--- a/aux.sh
+++ b/aux.sh
@@ -22,21 +22,18 @@ pagehead() {
 			font-family: sans-serif;
 		}
 		pre {
-			font-family: monospace;
-			white-space: pre-line;
+			font-family: mono monospace;
 			font-weight: bold;
 			background: lightgray;
 			padding: 8px;
 			border-radius: 8px;
 		}
 		file > pre {
-			white-space: pre;
 			line-height: 0.5;
 			overflow-x: auto
 		}
 		table {width: 100%}
 		th {text-align: left}
-		ol li {padding-bottom: 10px}
 		li::marker {
 			color: gray;
 			content: counter(list-item, decimal-leading-zero) " "

post-receive

diff --git a/post-receive b/post-receive
index fd295de..0243214 100755
--- a/post-receive
+++ b/post-receive
@@ -198,7 +198,7 @@ filepage() {
 	# print file
 	while IFS= read -r l
 	do
-		printf "<li>%s</li>\n" "$(echo "$l" | escapehtml)"
+		printf "<li>%s</li>\n" "$(printf "%s" "$l" | escapehtml)"
 	done < "$OUT/tree/$1"
 
 	echo "</ol>\n</pre>\n</file>\n</body>\n</html>"