From ec4e4126e3ca8dc174fb7d965fe62d880fecf96a Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Wed, 11 Oct 2023 10:38:18 -0700 Subject: [PATCH] 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. --- doc/nasmdoc.css | 13 ++++++++++++- doc/rdsrc.pl | 4 +++- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/doc/nasmdoc.css b/doc/nasmdoc.css index 49dc3a40..e2aba555 100644 --- a/doc/nasmdoc.css +++ b/doc/nasmdoc.css @@ -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 { diff --git a/doc/rdsrc.pl b/doc/rdsrc.pl index 1fc99f61..037ac183 100644 --- a/doc/rdsrc.pl +++ b/doc/rdsrc.pl @@ -992,6 +992,7 @@ sub html_preamble { print "\n"; # Navigation bar + print "
\n"; print "
\n"; - print "
\n"; + print "
\n"; + print "
\n"; } sub html_postamble {