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

freddrake · freddrake · commit 859c46a1fda3 · 2003-09-04T19:30:15.000Z
printed version for browsers that support "@media print" in CSS.
diff --git 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
@@ -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";
