diff --git a/design.inc.php b/design.inc.php index 07f8c374..25813c8a 100644 --- a/design.inc.php +++ b/design.inc.php @@ -6,8 +6,9 @@ function page_header($title) {