From ed29328aff0ed399c3a1d852124ae6ad98c518fe Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Tue, 4 Jun 2002 06:54:26 +0000
Subject: [PATCH] Formatting of teacher links

---
 user/index.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/user/index.php b/user/index.php
index 99aa0af2243..5b56b5d2965 100644
--- 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>";