From 965540c522019c523eb7249afc756feb7d939fe4 Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Fri, 11 Aug 2023 21:55:56 +0800
Subject: [PATCH] Remove unused CSS class definitions.

---
 Header.php | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/Header.php b/Header.php
index dc33ba6..9313a28 100644
--- a/Header.php
+++ b/Header.php
@@ -45,14 +45,6 @@ if (mysqli_connect_errno()) {
 	     font-size: 14pt;
 	 }
 
-	 .table-bordered {
-	     padding: 5px !important;
-	 }
-
-	 .alert {
-	     font-weight: bold;
-	 }
-
 	 h1,
 	 h2,
 	 h3,