Raphael Graf wrote:
> The diff inserts some space above the footer.
> This improves readability and makes it similar to the other output formats.
>
> Here is an example found in the wild, demonstrating the problem:
> https://webassembly.github.io/wabt/doc/wasm-objdump.1.html
okay, now that other arguments have settled down, do we still want this? I
think we've decided not to polish this style too much, but this does help
quite a bit. The builtin style should have "parity" with bare text output,
imo, and so there should be a bit of separation before the footer.
>
>
>
> Index: html.c
> ===================================================================
> RCS file: /cvs/src/usr.bin/mandoc/html.c,v
> retrieving revision 1.117
> diff -u -p -u -p -r1.117 html.c
> --- html.c 15 Dec 2018 23:33:20 -0000 1.117
> +++ html.c 20 Dec 2018 13:38:14 -0000
> @@ -183,6 +183,8 @@ print_gen_head(struct html *h)
> t = print_otag(h, TAG_STYLE, "");
> print_text(h, "table.head, table.foot { width: 100%; }");
> print_endline(h);
> + print_text(h, "table.foot { margin-top: 3em; }");
> + print_endline(h);
> print_text(h, "td.head-rtitle, td.foot-os { text-align: right; }");
> print_endline(h);
> print_text(h, "td.head-vol { text-align: center; }");
>
>
