Submissions.php: better highlighting.

Bug430-Eden2
Lan Hui 2023-08-26 20:02:19 +08:00
parent 24131d3500
commit ad32a71cd9
1 changed files with 5 additions and 5 deletions

View File

@ -83,22 +83,22 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
?> ?>
<br> <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 --> <!-- Nav tabs -->
<ul class="nav nav-tabs" id="myTab"> <ul class="nav nav-tabs" id="myTab">
<li class="nav-item"> <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>
<li class="nav-item"> <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>
<li class="nav-item"> <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>
<li class="nav-item"> <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> </li>
</ul> </ul>
<div class="tab-content"> <div class="tab-content">