Remove unnecessary <p> from top navigation bar.

freddrake · freddrake · commit 72e5a901c2b1 · 1999-02-10T17:35:41.000Z
diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl
@@ -129,7 +129,7 @@ sub make_nav_panel{
 sub top_navigation_panel {
     "<div class=navigation>\n"
       . make_nav_panel()
-      . '<br><hr><p></div>';
+      . '<br><hr></div>';
 }
 
 sub bot_navigation_panel {
