Slight tweak to allow completely blank headers (no arguments to

print_header will now give a blank header).  Useful for help pages.

diff --git a/theme/standard/header.html b/theme/standard/header.html
index 5191319795a13939474c8d1ab93025f41d8a2ca3..b2f8df6b769350832ff159d89f703d0e148eaa49 100644 (file)
--- 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 d882d4204823ecd096d0657dd9f4e70ea570f676..8a685c4120be07411f798c88b74c13233ea956f0 100644 (file)
--- 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 d882d4204823ecd096d0657dd9f4e70ea570f676..8a685c4120be07411f798c88b74c13233ea956f0 100644 (file)
--- 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 d882d4204823ecd096d0657dd9f4e70ea570f676..8a685c4120be07411f798c88b74c13233ea956f0 100644 (file)
--- 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 -->