From 11d87ec68023b717463ecd907d5602da92ddbb5b Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sun, 11 Aug 2002 14:21:27 +0000
Subject: [PATCH] Slight tweak to allow completely blank headers (no arguments
 to print_header will now give a blank header).  Useful for help pages.

---
 theme/standard/header.html      | 2 +-
 theme/standardblue/header.html  | 2 +-
 theme/standardgreen/header.html | 2 +-
 theme/standardred/header.html   | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/theme/standard/header.html b/theme/standard/header.html
index 5191319795..b2f8df6b76 100644
--- a/theme/standard/header.html
+++ b/theme/standard/header.html
@@ -28,7 +28,7 @@
 <?  print_navigation("$navigation"); ?>
     </B></FONT></TD></TR></TABLE>
     <IMG SRC="<?=$CFG->wwwroot?>/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
-<?  } else { ?>
+<?  } else if ($heading) { ?>
     <HR SIZE=1 NOSHADE>
 <?  } ?>
 <!-- END OF HEADER -->
diff --git a/theme/standardblue/header.html b/theme/standardblue/header.html
index d882d42048..8a685c4120 100644
--- a/theme/standardblue/header.html
+++ b/theme/standardblue/header.html
@@ -28,7 +28,7 @@
 <?  print_navigation("$navigation"); ?>
     </B></FONT></TD></TR></TABLE>
     <IMG SRC="<?=$CFG->wwwroot?>/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
-<?  } else { ?>
+<?  } else if ($heading) { ?>
     <HR SIZE=1 NOSHADE>
 <?  } ?>
 <!-- END OF HEADER -->
diff --git a/theme/standardgreen/header.html b/theme/standardgreen/header.html
index d882d42048..8a685c4120 100644
--- a/theme/standardgreen/header.html
+++ b/theme/standardgreen/header.html
@@ -28,7 +28,7 @@
 <?  print_navigation("$navigation"); ?>
     </B></FONT></TD></TR></TABLE>
     <IMG SRC="<?=$CFG->wwwroot?>/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
-<?  } else { ?>
+<?  } else if ($heading) { ?>
     <HR SIZE=1 NOSHADE>
 <?  } ?>
 <!-- END OF HEADER -->
diff --git a/theme/standardred/header.html b/theme/standardred/header.html
index d882d42048..8a685c4120 100644
--- a/theme/standardred/header.html
+++ b/theme/standardred/header.html
@@ -28,7 +28,7 @@
 <?  print_navigation("$navigation"); ?>
     </B></FONT></TD></TR></TABLE>
     <IMG SRC="<?=$CFG->wwwroot?>/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
-<?  } else { ?>
+<?  } else if ($heading) { ?>
     <HR SIZE=1 NOSHADE>
 <?  } ?>
 <!-- END OF HEADER -->
-- 
2.39.5