fix: <remote-source-code> element
All checks were successful
continuous-integration/drone/push Build is passing

This commit is contained in:
Baoshuo Ren 2023-02-06 14:52:15 +08:00
parent 4905ecd6f6
commit e377ad2539
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A

View File

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