From e377ad2539654d10ce64a60a0e411f2a426ffc58 Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Mon, 6 Feb 2023 14:52:15 +0800
Subject: [PATCH] fix: `<remote-source-code>` element

---
 web/app/libs/uoj-html-lib.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/app/libs/uoj-html-lib.php b/web/app/libs/uoj-html-lib.php
index 05302ec..864a155 100644
--- a/web/app/libs/uoj-html-lib.php
+++ b/web/app/libs/uoj-html-lib.php
@@ -431,9 +431,9 @@ class JudgmentDetailsPrinter {
 			echo '</tr>';
 		} elseif ($node->nodeName == 'remote-source-code') {
 			$language = $node->getAttribute("language");
-			echo '<div class="border-bottom p-3">';
+			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">';
+			echo '<pre><code class="language-', $language, ' bg-light mb-0 rounded p-3">';
 			$this->_print_c($node);
 			echo "</code></pre>";
 			echo '</div>';