Fix styles when editing front page

diff --git a/lib/weblib.php b/lib/weblib.php
index b6965314886a0f066df9c0fa16f6ec6bea717868..e06cb4fec8d580a05318f3f49591728edff3e62a 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1636,7 +1636,7 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
     if (substr($path, -1) == '/') {
         $path .= 'index';
     }
-    if (empty($path)) {
+    if (empty($path) or $path = '/index') {
         $pageid    = 'site-index';
         $pageclass = 'course course-'.SITEID;
     } else {