diff --git a/design.inc.php b/design.inc.php index c2ff75d8..f314065a 100644 --- a/design.inc.php +++ b/design.inc.php @@ -9,7 +9,7 @@ function page_header($title) {