Make the redundent portion of the lower navigation area disappear from the
printed version for browsers that support "@media print" in CSS.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index e0cb736..bd79427 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -140,3 +140,11 @@
* the top of modules.
*/
.availability .platform { font-weight: bold; }
+
+
+/*
+ * Some specialization for printed output.
+ */
+@media print {
+ #bottom-navigation-panel { display: none; }
+ }
diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl
index cbf1e41..41b2f94 100644
--- a/Doc/perl/l2hinit.perl
+++ b/Doc/perl/l2hinit.perl
@@ -227,14 +227,16 @@
sub top_navigation_panel() {
- return "\n"
+ return "\n<div id='top-navigation-panel'>\n"
. make_nav_panel()
- . "<br /><hr />\n";
+ . "<br /><hr /></div>\n";
}
sub bot_navigation_panel() {
- return "\n<p></p><hr />\n"
+ return "\n<div id='bottom-navigation-panel'>\n"
+ . "<p></p><hr />\n"
. make_nav_panel()
+ . "</div>\n"
. "<hr />\n"
. get_version_text()
. "\n";