From a7a33e14004673a4b5ca146989cfbced46360f28 Mon Sep 17 00:00:00 2001 From: Lan Hui Date: Fri, 11 Aug 2023 21:53:55 +0800 Subject: [PATCH] Remove unused CSS class definitions. Make spacing better. --- Course.php | 6 +++--- Header.php | 7 ------- 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/Course.php b/Course.php index bc54479..ee5a012 100644 --- a/Course.php +++ b/Course.php @@ -163,7 +163,7 @@ include 'Header.php'; if($att4!=""){ $full_link= $full_link."| $att4"; } - echo "
+ echo "
$title
($Marks Marks, $type)

$ins

Attachments: $full_link

Posted: $posted    Deadline: $deadline

@@ -226,7 +226,7 @@ Lab_Report_ID not in (select Lab_Report_ID from lab_report_submissions where (St $full_link= $full_link."| $att4"; } - echo "
MISSED
$title
($marks Marks)

$ins

+ echo "
MISSED
$title
($marks Marks)

$ins


Posted: $posted     Deadline: $deadline          
Attachments: $full_link


"; @@ -408,7 +408,7 @@ where Lab_Report_ID=$lab_repo_id and (lab_report_submissions.Student_id='$studen } - echo "
+ echo "
$title
($marks marks out of $Originalmarks)

Lecturer feedback $notes    $remarking

Submitted files: "; $Sub_result = mysqli_query($con,"SELECT `Submission_ID`, `Submission_Date`, lab_report_submissions.Lab_Report_ID, lab_report_submissions.Student_id sub_std, lab_report_submissions.Course_Group_id, `Attachment1`, diff --git a/Header.php b/Header.php index cc094e5..dc33ba6 100644 --- a/Header.php +++ b/Header.php @@ -35,13 +35,6 @@ if (mysqli_connect_errno()) {