From 5ba25e7294f500d27d8ad66b8f3b9c3623d07b84 Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Tue, 22 Aug 2023 19:39:41 +0800
Subject: [PATCH] Header.php: show user name in bold face.

---
 Header.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Header.php b/Header.php
index 1ad62da..e65dd63 100644
--- a/Header.php
+++ b/Header.php
@@ -135,7 +135,7 @@ if (mysqli_connect_errno()) {
 			<a class="nav-link" href="#">
 			    <?php
 			    if (isset($_SESSION["user_fullname"])) {
-				echo $_SESSION['user_fullname'];
+                    echo "<b>" . $_SESSION['user_fullname'] . "</b>";
 			    }
 			    ?>
 
@@ -144,9 +144,9 @@ if (mysqli_connect_errno()) {
 			    <?php
 			    $c_date =  date("Y-m-d H:i");
 			    if (isset($_SESSION['user_student_id']))
-				echo "(" . $_SESSION['user_type'] . " - " . $_SESSION['user_student_id'] . ")   ";
+                    echo "(" . $_SESSION['user_type'] . " ID: " . $_SESSION['user_student_id'] . ")   ";
 			    elseif (isset($_SESSION['user_type']))
-				echo "(" . $_SESSION['user_type'] . ")   ";
+                    echo "(" . $_SESSION['user_type'] . ")   ";
 			    ?>
 			</a>