diff --git a/design.inc.php b/design.inc.php index 748548ac..1a0ccbf7 100644 --- a/design.inc.php +++ b/design.inc.php @@ -11,7 +11,7 @@ function page_header($title) {