From 443d76b639439ec2d50f58233da75c45c3852ac0 Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Mon, 31 Jul 2023 17:10:53 +0800
Subject: [PATCH] Make Header.php look better

---
 Header.php | 327 ++++++++++++++++++++++++++---------------------------
 1 file changed, 163 insertions(+), 164 deletions(-)

diff --git a/Header.php b/Header.php
index 9268f16..1bb45e9 100644
--- a/Header.php
+++ b/Header.php
@@ -8,215 +8,214 @@ $con = mysqli_connect("localhost", $mysql_username, $mysql_password, "lrr");
 
 // Check database connection
 if (mysqli_connect_errno()) {
-  echo "Failed to connect to MySQL: " . mysqli_connect_error();
+    echo "Failed to connect to MySQL: " . mysqli_connect_error();
 }
-
 ?>
 
 <!DOCTYPE html>
 
 <html>
 
-<head>
+    <head>
 
-  <title>LRR - Lab Report Repository</title>
-  <link href="./css/bootstrap.min.css" rel="stylesheet" type="text/css" />
-  <link href="./font-awesome/css/font-awesome.min.css" rel="stylesheet" type="text/css" />
-  <!-- *this css file can be used across all the websites 
-  and any new css class can be added there.
-  * The reason is to make the css code reusable.
-  * the css file is used by submissions.php
--->
-  <link href = "./css/main.css" rel = "stylesheet" type = "text/css" />
+	<title>LRR - Lab Report Repository</title>
+	<link href="./css/bootstrap.min.css" rel="stylesheet" type="text/css" />
+	<link href="./font-awesome/css/font-awesome.min.css" rel="stylesheet" type="text/css" />
+	<!-- *this css file can be used across all the websites 
+	     and any new css class can be added there.
+	     * The reason is to make the css code reusable.
+	     * the css file is used by submissions.php
+	-->
+	<link href = "./css/main.css" rel = "stylesheet" type = "text/css" />
 
-  <script src="./css/jquery.min.js" type="text/javascript"></script>
-  <script src="./css/bootsrap.min.js" type="text/javascript"></script>
-  <script src="./css/jquery.datetimepicker.min.js" type="text/javascript"></script>
+	<script src="./css/jquery.min.js" type="text/javascript"></script>
+	<script src="./css/bootsrap.min.js" type="text/javascript"></script>
+	<script src="./css/jquery.datetimepicker.min.js" type="text/javascript"></script>
 
 
-  <style>
-    .nav-item {
-      border-color: #00ff66;
-    }
+	<style>
+	 .nav-item {
+	     border-color: #00ff66;
+	 }
 
-    .nav-tabs {
-      border-color: #00ff66;
-    }
+	 .nav-tabs {
+	     border-color: #00ff66;
+	 }
 
-    .btn-default {
-      border: 2px solid #00ff66;
-      width: 100%;
-      text-align: left;
-      margin: 3px auto;
-      font-weight: bold;
-      font-size: 13pt;
-    }
+	 .btn-default {
+	     border: 2px solid #00ff66;
+	     width: 100%;
+	     text-align: left;
+	     margin: 3px auto;
+	     font-weight: bold;
+	     font-size: 13pt;
+	 }
 
-    .table-bordered {
-      padding: 5px !important;
-    }
+	 .table-bordered {
+	     padding: 5px !important;
+	 }
 
-    .alert {
-      font-weight: bold;
-    }
+	 .alert {
+	     font-weight: bold;
+	 }
 
-    h1,
-    h2,
-    h3,
-    h4 {
-      color: #03407B;
-    }
+	 h1,
+	 h2,
+	 h3,
+	 h4 {
+	     color: #03407B;
+	 }
 
-    a {
-      color: #03407B;
-    }
+	 a {
+	     color: #03407B;
+	 }
 
-    .break-word {
-      word-wrap: break-word;
-      white-space: -moz-pre-wrap !important;
-      /* Mozilla, since 1999 */
-      white-space: -pre-wrap;
-      /* Opera 4-6 */
-      white-space: -o-pre-wrap;
-      /* Opera 7 */
-      white-space: pre-wrap;
-      /* css-3 */
-      word-wrap: break-word;
-      /* Internet Explorer 5.5+ */
-      white-space: -webkit-pre-wrap;
-      /* Newer versions of Chrome/Safari*/
-      word-break: break-all;
-      white-space: normal;
-    }
+	 .break-word {
+	     word-wrap: break-word;
+	     white-space: -moz-pre-wrap !important;
+	     /* Mozilla, since 1999 */
+	     white-space: -pre-wrap;
+	     /* Opera 4-6 */
+	     white-space: -o-pre-wrap;
+	     /* Opera 7 */
+	     white-space: pre-wrap;
+	     /* css-3 */
+	     word-wrap: break-word;
+	     /* Internet Explorer 5.5+ */
+	     white-space: -webkit-pre-wrap;
+	     /* Newer versions of Chrome/Safari*/
+	     word-break: break-all;
+	     white-space: normal;
+	 }
 
-    .ui-widget-content.ui-dialog {
-      border: 2px solid #03488B;
+	 .ui-widget-content.ui-dialog {
+	     border: 2px solid #03488B;
 
-    }
+	 }
 
-    .ui-dialog>.ui-widget-header {
-      background: #03488B;
-      color: white
-    }
+	 .ui-dialog>.ui-widget-header {
+	     background: #03488B;
+	     color: white
+	 }
 
-    .ui-button {
-      background: #03488B;
-      color: white
-    }
+	 .ui-button {
+	     background: #03488B;
+	     color: white
+	 }
 
-    /* [ Login Button ]*/
-    .btn-primary {
-      color: white;
-      border-radius: 5px;
-      text-shadow: 0 1px 1px rgba(0, 0, 0, 0.2);
-      background: rgb(75, 184, 240);
-      padding:5px 100px;
-      font-family: Poppins-Regular;
-      font-size: 23px;
-      line-height: 1.5;
-    }
+	 /* [ Login Button ]*/
+	 .btn-primary {
+	     color: white;
+	     border-radius: 5px;
+	     text-shadow: 0 1px 1px rgba(0, 0, 0, 0.2);
+	     background: rgb(75, 184, 240);
+	     padding:5px 100px;
+	     font-family: Poppins-Regular;
+	     font-size: 23px;
+	     line-height: 1.5;
+	 }
 
-    #footer{
-      position:fixed;
-      bottom:0;
-      left:0;
-      background-color:#03417C;
-      color:#FFF;
-      text-align:center;
-      width:100%;
-    }
+	 #footer{
+	     position:fixed;
+	     bottom:0;
+	     left:0;
+	     background-color:#03417C;
+	     color:#FFF;
+	     text-align:center;
+	     width:100%;
+	 }
 
-    .txt1 {
-      font-family: Poppins-Regular;
-      font-size: 18px;
-      line-height: 1.5;
-      color: #666666;
-    }
+	 .txt1 {
+	     font-family: Poppins-Regular;
+	     font-size: 18px;
+	     line-height: 1.5;
+	     color: #666666;
+	 }
 
-    .txt2 {
-      font-family: Poppins-Regular;
-      font-size: 19px;
-      line-height: 1.5;
-      color: #2471A3;
-    }
+	 .txt2 {
+	     font-family: Poppins-Regular;
+	     font-size: 19px;
+	     line-height: 1.5;
+	     color: #2471A3;
+	 }
 
 
-  </style>
+	</style>
 
-</head>
+    </head>
 
-<body>
+    <body>
 
-  <nav class="navbar navbar-expand-lg navbar-dark bg-dark" style="padding-left:150px;padding-right:150px;margin:auto;">
-    <a class="navbar-brand" href="~\..\index.php"> <img src="logo.png" style="width:30px;height:30px;"> LRR </a>
-    <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarColor02" aria-controls="navbarColor02" aria-expanded="false" aria-label="Toggle navigation">
-      <span class="navbar-toggler-icon"></span>
-    </button>
+	<nav class="navbar navbar-expand-lg navbar-dark bg-dark" style="padding-left:150px;padding-right:150px;margin:auto;">
+	    <a class="navbar-brand" href="~\..\index.php"> <img src="logo.png" style="width:30px;height:30px;"> LRR </a>
+	    <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarColor02" aria-controls="navbarColor02" aria-expanded="false" aria-label="Toggle navigation">
+		<span class="navbar-toggler-icon"></span>
+	    </button>
 
-    <div class="collapse navbar-collapse" id="navbarColor02">
+	    <div class="collapse navbar-collapse" id="navbarColor02">
 
-      <ul class="navbar-nav mr-auto">
-        <li class="nav-item active">
-          <?php
-            if (isset($_SESSION["user_fullname"])) {
-                echo "       <a class='nav-link' href='~\..\Courses.php'><i class='fa fa-book'></i> Courses <span class='sr-only'>(current)</span></a>";
-          ?>
-        </li>
-      </ul>
+		<ul class="navbar-nav mr-auto">
+		    <li class="nav-item active">
+			<?php
+			if (isset($_SESSION["user_fullname"])) {
+			    echo "       <a class='nav-link' href='~\..\Courses.php'><i class='fa fa-book'></i> Courses <span class='sr-only'>(current)</span></a>";
+			?>
+		    </li>
+		</ul>
 
-      <form class="form-inline my-2 my-lg-0" style="color:#fff;">
-        Welcome &nbsp;
-        <b> <?php echo $_SESSION['user_fullname']; ?> </b>
-        &nbsp;
+		<form class="form-inline my-2 my-lg-0" style="color:#fff;">
+		    Welcome &nbsp;
+		    <b> <?php echo $_SESSION['user_fullname']; ?> </b>
+		    &nbsp;
 
-        <?php
-          $c_date =  date("Y-m-d H:i");
-          if (isset($_SESSION['user_student_id']))
-            echo "(" . $_SESSION['user_type'] . " - " . $_SESSION['user_student_id'] . ")   ";
-          else
-            echo "(" . $_SESSION['user_type'] . ")   ";
-        ?>
+		    <?php
+		    $c_date =  date("Y-m-d H:i");
+		    if (isset($_SESSION['user_student_id']))
+			echo "(" . $_SESSION['user_type'] . " - " . $_SESSION['user_student_id'] . ")   ";
+		    else
+			echo "(" . $_SESSION['user_type'] . ")   ";
+		    ?>
 
-        <?php
-          if ($_SESSION['user_type'] == "Lecturer") { // Show Admin link
-              echo "&nbsp;&nbsp;&nbsp;  <i class=\"fa fa-cog\" style=\"color:#fff;\"> </i>";
-              echo "&nbsp;<a style='color:#fff !important' href=\"~\..\Admin.php\" id=\"admin_tab\">Admin</a>";
-          }
-        ?>
+		    <?php
+		    if ($_SESSION['user_type'] == "Lecturer") { // Show Admin link
+			echo "&nbsp;&nbsp;&nbsp;  <i class=\"fa fa-cog\" style=\"color:#fff;\"> </i>";
+			echo "&nbsp;<a style='color:#fff !important' href=\"~\..\Admin.php\" id=\"admin_tab\">Admin</a>";
+		    }
+		    ?>
 
 
-        &nbsp;&nbsp;&nbsp; <i class="fa fa-user" style="color:#fff;"> </i>
-        &nbsp;<a href="#" style='color:#fff !important' onclick="updatePass(<?php echo $_SESSION['user_id']; ?>)">Update password</a>
+		    &nbsp;&nbsp;&nbsp; <i class="fa fa-user" style="color:#fff;"> </i>
+		    &nbsp;<a href="#" style='color:#fff !important' onclick="updatePass(<?php echo $_SESSION['user_id']; ?>)">Update password</a>
 
 
-        &nbsp;&nbsp;&nbsp; <i class="fa fa-lock" style="color:#fff;"> </i>
-        &nbsp;<a style='color:#fff !important' href="~\..\logout.php">Logout </a>
+		    &nbsp;&nbsp;&nbsp; <i class="fa fa-lock" style="color:#fff;"> </i>
+		    &nbsp;<a style='color:#fff !important' href="~\..\logout.php">Logout </a>
 
-      <?php
-        }  // Confusing.  What is this for?
-      ?>
-      </form>
+			<?php
+			}  // Confusing.  What is this for?
+			?>
+		</form>
 
-    </div>
-  </nav>
+	    </div>
+	</nav>
 
 
-  <script>
-    function updatePass(id) {
+	<script>
+	 function updatePass(id) {
 
-      var pass = prompt("Enter your new password : ", "Enter a strong password");
+	     const pass = prompt("Enter your new password : ", "Enter a strong password");
 
-      if (!confirm('Are you sure you want to reset your password?')) {
-        return;
-      }
+	     if (!confirm('Are you sure you want to reset your password?')) {
+		 return;
+	     }
 
-      window.location.href = "\Script.php\?action=passchange&uid=" + id + "&pass=" + pass;
-    }
+	     window.location.href = "\Script.php\?action=passchange&uid=" + id + "&pass=" + pass;
+	 }
 
-    function blockUser(id, status) {
-      if (!confirm('Are you sure you want to change user status?')) {
-        return;
-      }
-      window.location.href = "\Script.php\?action=statuschange&uid=" + id + "&status=" + status;
-    }
-  </script>
+	 function blockUser(id, status) {
+	     if (!confirm('Are you sure you want to change user status?')) {
+		 return;
+	     }
+	     window.location.href = "\Script.php\?action=statuschange&uid=" + id + "&status=" + status;
+	 }
+	</script>