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 e0cb7360652bcbbfc198c447ccff6437348b1c1a..bd7942793aa1afa35306454105aa912e0d54de89 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -140,3 +140,11 @@ div.note .label         { margin-right: 0.5em;
  * 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 cbf1e41d008f2b1789886b90b3fd3aa03ecb8db2..41b2f94f935d7f097c72fb3f13ed877f05ddc5bc 100644 (file)
--- a/Doc/perl/l2hinit.perl
+++ b/Doc/perl/l2hinit.perl
@@ -227,14 +227,16 @@ sub get_version_text() {
 
 
 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";