Smaller font

diff --git a/course/view.php b/course/view.php
index edd300f6e29934cd3e18abb8a3b744e5e17e4472..a92676b05e7dd0cce2508b9b8ff126f3bb989aab 100644 (file)
--- a/course/view.php
+++ b/course/view.php
@@ -53,7 +53,7 @@
 
     $courseword = get_string("course");
 
-    $loggedinas = "<font size=2>".user_login_string($course, $USER)."</font>";
+    $loggedinas = "<font size=1>".user_login_string($course, $USER)."</font>";
 
     print_header("$courseword: $course->fullname", "$course->fullname", "$course->shortname", "search.search", "", true,
                   update_course_icon($course->id), $loggedinas);