From 40d4f7362a59fc184d0f435214d2c4c91773053b Mon Sep 17 00:00:00 2001
From: defacer <defacer>
Date: Mon, 31 Jan 2005 01:00:21 +0000
Subject: [PATCH] Removing <font> tags. I didn't add any styles because there
 was no visible difference in text size after the removal.

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

diff --git a/user/index.php b/user/index.php
index d2bab5fac8..a0f206c3bb 100644
--- a/user/index.php
+++ b/user/index.php
@@ -290,9 +290,9 @@ function print_user_table($users, $isteacher) {
 
             $table->data[] = array ($picture,
                 "<b><a href=\"$CFG->wwwroot/user/view.php?id=$user->id&amp;course=$course->id\">$fullname</a></b>",
-                "<font size=\"2\">$user->city</font>",
-                "<font size=\"2\">$user->country</font>",
-                "<font size=\"2\">$lastaccess</font>");
+                $user->city,
+                $user->country,
+                $lastaccess);
         }
         print_table($table);
 }
-- 
2.39.5