diff options
author | 2022-07-06 14:34:59 +0000 | |
---|---|---|
committer | 2022-07-06 14:34:59 +0000 | |
commit | d87fd9991b3f2008e4d248991fdf4d47390c4704 (patch) | |
tree | 2100b72c90aee9cbaa45f9e2b5adc7235674ee67 /configure.local.example | |
parent | 8bee07458b84a3c97d980af8bc26fbd8d9b72eab (diff) | |
download | mandoc-d87fd9991b3f2008e4d248991fdf4d47390c4704.tar.gz mandoc-d87fd9991b3f2008e4d248991fdf4d47390c4704.tar.zst mandoc-d87fd9991b3f2008e4d248991fdf4d47390c4704.zip |
While the HTML standard allows multiple <h1> elements in the same
document, <h1> is intended for top level headers, and most of the
sections in a manual page can hardly be considered top-level.
It is more usual to use <h1> only for the main title of the document
of for the site name.
Consequently, move .Sh/.SH from <h1> to <h2> and .Ss/.SS from <h2>
to <h3>, freeing <h1> for use by header.html in man.cgi(8).
Discussed with Anna Vyalkova <cyber at sysrq dot in>.
Diffstat (limited to 'configure.local.example')
0 files changed, 0 insertions, 0 deletions