From 9175084398cede01c55df5f9be1273e74bec9793 Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Mon, 6 Feb 2023 16:31:06 +0800
Subject: [PATCH] fix: e377ad2539654d10ce64a60a0e411f2a426ffc58

---
 web/app/libs/uoj-html-lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/app/libs/uoj-html-lib.php b/web/app/libs/uoj-html-lib.php
index 864a155..fde3e40 100644
--- a/web/app/libs/uoj-html-lib.php
+++ b/web/app/libs/uoj-html-lib.php
@@ -433,7 +433,7 @@ class JudgmentDetailsPrinter {
 			$language = $node->getAttribute("language");
 			echo '<div class="border-bottom p-3 copy-button-container">';
 			echo '<div class="fw-bold mb-2">源代码</div>';
-			echo '<pre><code class="language-', $language, ' bg-light mb-0 rounded p-3">';
+			echo '<pre class="mb-0"><code class="language-', $language, ' bg-light rounded p-3">';
 			$this->_print_c($node);
 			echo "</code></pre>";
 			echo '</div>';