From 679d5d1a61353b6dee4fda67ab35fabb7f4fba09 Mon Sep 17 00:00:00 2001 From: Omar Polo Date: Sat, 9 Oct 2021 17:09:56 +0000 Subject: [PATCH] tweak the style for the manpage exported in HTML --- site/mdoc2html.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/site/mdoc2html.sh b/site/mdoc2html.sh index fae8467..4cb718f 100755 --- a/site/mdoc2html.sh +++ b/site/mdoc2html.sh @@ -15,7 +15,16 @@ man -Thtml -l "$1" > "$2" exec ed "$2" < a - body { max-width: 960px; margin: 0 auto; } + body { + max-width: 960px; + margin: 0 auto; + padding: 0 10px; + font-size: 1rem; + } + + pre { + overflow: auto; + } . wq EOF