From 24131d35009cebc5253ac22a8451d05b9dd7090f Mon Sep 17 00:00:00 2001
From: Lan Hui <lanhui@zjnu.edu.cn>
Date: Sat, 26 Aug 2023 19:59:50 +0800
Subject: [PATCH] Submissions.php: more space above Total submissions.

---
 Submissions.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Submissions.php b/Submissions.php
index de6ddfc..d7e83a3 100644
--- a/Submissions.php
+++ b/Submissions.php
@@ -82,7 +82,8 @@ echo "<div><a href='Courses.php?course=$url'> $header </a></div>";
 
             ?>
 
-            <p class="text-muted">Assignment submissions (<?php echo $count_subs; ?>)</p>
+	    <br>
+            <p class="text-muted">Total submissions (<?php echo $count_subs; ?>)</p>
             <!-- Nav tabs -->
             <ul class="nav nav-tabs" id="myTab">
                 <li class="nav-item">