martin 11d87ec680 Slight tweak to allow completely blank headers (no arguments to ... print_header will now give a blank header). Useful for help pages.		2002-08-11 14:21:27 +00:00
..
config.php	Slight color changes	2002-02-27 10:09:02 +00:00
favicon.ico	Edited icon for consistency	2002-03-10 09:17:26 +00:00
footer.html	Took code out of footer.html (it's in print_footer() instead)	2002-08-11 05:06:00 +00:00
header.html	Slight tweak to allow completely blank headers (no arguments to	2002-08-11 14:21:27 +00:00
styles.css	New "highlight" class (eg for search results)	2002-06-11 06:28:56 +00:00