diff options
| author | Omar Polo <op@omarpolo.com> | 2021-10-09 17:09:56 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-10-09 17:09:56 +0000 |
| commit | 679d5d1a61353b6dee4fda67ab35fabb7f4fba09 (patch) | |
| tree | a855e57bcf435a38e2881774b8bc02531aa21dce /site/mdoc2html.sh | |
| parent | 35340c9f1e87672e883da1df0f83a3882ecb94b1 (diff) | |
tweak the style for the manpage exported in HTML
Diffstat (limited to 'site/mdoc2html.sh')
| -rwxr-xr-x | site/mdoc2html.sh | 11 |
1 files changed, 10 insertions, 1 deletions
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" <<EOF /<style> 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 |