doc: add a few tags to the html output format

It may be possible to generate the printed documentation from the
HTML, with a suitable combination of print-only CSS. Definitely not
there yet, though.
This commit is contained in:
H. Peter Anvin 2023-10-11 10:38:18 -07:00
parent 8917088988
commit ec4e4126e3
2 changed files with 15 additions and 2 deletions

View File

@ -73,10 +73,21 @@ li.toc2 {
display: none;
}
}
@media print {
@media only print {
a {
color: inherit;
}
ul.navbar div.title {
display: none !important;
}
div.index {
-webkit-column-gap: 2em;
-moz-column-gap: 2em;
column-gap: 2em;
-webkit-column-count: 2;
-moz-column-count: 2;
column-count: 2;
}
}
@media only screen {
div.contents {

View File

@ -992,6 +992,7 @@ sub html_preamble {
print "<body>\n";
# Navigation bar
print "<div class=\"header\">\n";
print "<ul class=\"navbar\">\n";
if (defined($html_nav_last)) {
my $lastf = html_filename($html_nav_last);
@ -1009,7 +1010,8 @@ sub html_preamble {
print "<h1>", $metadata{'title'}, "</h1>\n";
print '<span class="subtitle">', $metadata{'subtitle'}, "</span>\n";
print "</div>\n";
print "<div class=\"contents\"\n>\n";
print "</div>\n";
print "<div class=\"contents\">\n";
}
sub html_postamble {