From 859c46a1fda3961b479bb2d08dcb28128a6c215e Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 4 Sep 2003 19:30:15 +0000
Subject: [PATCH] Make the redundent portion of the lower navigation area
 disappear from the printed version for browsers that support "@media print"
 in CSS.

---
 Doc/html/style.css    | 8 ++++++++
 Doc/perl/l2hinit.perl | 8 +++++---
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index e0cb736065..bd7942793a 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 cbf1e41d00..41b2f94f93 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";
-- 
2.50.1