doc: add a few tags to the html output format

H. Peter Anvin · H. Peter Anvin · commit ec4e4126e3ca · 2023-10-11T10:38:18.000-07:00
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.
diff --git 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
@@ -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 {

Original file line number	Diff line number	Diff line change
`@@ -73,10 +73,21 @@ li.toc2 {`
`73`	`73`	`display: none;`
`74`	`74`	`}`
`75`	`75`	`}`
`76`		`-@media print {`
	`76`	`+@media only print {`
`77`	`77`	`a {`
`78`	`78`	`color: inherit;`
`79`	`79`	`}`
	`80`	`+ ul.navbar div.title {`
	`81`	`+ display: none !important;`
	`82`	`+ }`
	`83`	`+ div.index {`
	`84`	`+ -webkit-column-gap: 2em;`
	`85`	`+ -moz-column-gap: 2em;`
	`86`	`+ column-gap: 2em;`
	`87`	`+ -webkit-column-count: 2;`
	`88`	`+ -moz-column-count: 2;`
	`89`	`+ column-count: 2;`
	`90`	`+ }`
`80`	`91`	`}`
`81`	`92`	`@media only screen {`
`82`	`93`	`div.contents {`