Formatting of teacher links

diff --git a/user/index.php b/user/index.php
index 99aa0af22431e0c21c24a1c3d2c28de4a90c4d64..5b56b5d2965ebbd0a7bd5189624fe4cf8a954b31 100644 (file)
--- a/user/index.php
+++ b/user/index.php
@@ -78,11 +78,11 @@ function print_user($user, $course, $teacherlinks) {
     if ($teacherlinks) {
         $tt = getdate(time());
         $today = mktime (0, 0, 0, $tt["mon"], $tt["mday"], $tt["year"]);
-        echo "<A HREF=\"../course/user.php?id=$course->id&user=$user->id\">Contributions</A><BR><BR>";
+        echo "<A HREF=\"../course/user.php?id=$course->id&user=$user->id\">Contributions</A><BR>";
         echo "<A HREF=\"../course/log.php?id=$course->id&user=$user->id&date=$today\">Today's logs</A><BR>";
-        echo "<A HREF=\"../course/log.php?id=$course->id&user=$user->id\">All logs</A><BR><BR>";
+        echo "<A HREF=\"../course/log.php?id=$course->id&user=$user->id\">All logs</A><BR>";
         if (isstudent($course->id, $user->id)) {
-            echo "<A HREF=\"../course/loginas.php?id=$course->id&user=$user->id\">Login as</A><BR><BR>";
+            echo "<A HREF=\"../course/loginas.php?id=$course->id&user=$user->id\">Login as</A><BR>";
         }
     }
     echo "<A HREF=\"view.php?id=$user->id&course=$course->id\">Full profile...</A>";