rdelaage
/
gmid
mirror of https://github.com/omar-polo/gmid.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tweak the style for the manpage exported in HTML

This commit is contained in:
Omar Polo 2021-10-09 17:09:56 +00:00
parent 35340c9f1e
commit 679d5d1a61
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
site/mdoc2html.sh
View File

@ -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