From ad32a71cd94474a46e3095a50ad0c60cef0b3f6e Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Sat, 26 Aug 2023 20:02:19 +0800
Subject: [PATCH] Submissions.php: better highlighting.

---
 Submissions.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Submissions.php b/Submissions.php
index d7e83a3..cabc053 100644
--- a/Submissions.php
+++ b/Submissions.php
@@ -83,22 +83,22 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
             ?>
 
 	    <br>
-            <p class="text-muted">Total submissions (<?php echo $count_subs; ?>)</p>
+            <p class="text-muted"><b>Total submissions (<?php echo $count_subs; ?>)</b></p>
             <!-- Nav tabs -->
             <ul class="nav nav-tabs" id="myTab">
                 <li class="nav-item">
-                    <a class="nav-link active" href="#menu1">Unmarked submissions<b> (<?php echo $count_unmarked; ?>)</b></a>
+                    <a class="nav-link active" href="#menu1">Unmarked submissions (<?php echo $count_unmarked; ?>)</a>
                 </li>
                 <li class="nav-item">
-                    <a class="nav-link" href="#menu2">Marked submissions <b>(<?php echo $count_marked; ?>)</b></a>
+                    <a class="nav-link" href="#menu2">Marked submissions (<?php echo $count_marked; ?>)</a>
                 </li>
 
                 <li class="nav-item">
-                    <a class="nav-link" href="#menu3">Remarking requests <b>(<?php echo $count_remark; ?>)</b></a>
+                    <a class="nav-link" href="#menu3">Remarking requests (<?php echo $count_remark; ?>)</a>
                 </li>
 
                 <li class="nav-item">
-                    <a class="nav-link" href="#menu4">Course groups <b>(<?php echo $count_group; ?>)</b></a>
+                    <a class="nav-link" href="#menu4">Course groups (<?php echo $count_group; ?>)</a>
                 </li>
             </ul>
             <div class="tab-content">