Make the redundent portion of the lower navigation area disappear from the

printed version for browsers that support "@media print" in CSS.

2 files changed, 13 insertions, 3 deletions

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 @@ 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 cbf1e41..41b2f94 100644
--- 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";