This commit is contained in:
Baoshuo Ren 2023-02-06 16:31:06 +08:00
parent e377ad2539
commit 9175084398
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A

View File

@ -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>';