Fix source code display (#1492)

Author: sy-records

downloads.php

@@ -211,8 +211,6 @@ function option(string $value, string $desc, $attributes = []): string
 <h2>Instructions</h2>
 <div id="instructions" class="instructions">
 <?php $instructionsShown = include 'downloads-get-instructions.php'; ?>
-</div>
-
 <?php if (!$instructionsShown): ?>
 
 <h2>Source Code</h2>
@@ -229,10 +227,10 @@ function option(string $value, string $desc, $attributes = []): string
 <?php gpg_key_show_keys(true /* activeOnly */); ?>
 
 <p>
-  <a href="gpg-keys.php">
-    A full list of GPG keys used for current and older releases is also
-    available.
-  </a>
+    <a href="gpg-keys.php">
+        A full list of GPG keys used for current and older releases is also
+        available.
+    </a>
 </p>
 
 <h2>Binaries</h2>
@@ -254,6 +252,7 @@ function option(string $value, string $desc, $attributes = []): string
 </p>
 
 <?php endif; ?>
+</div>
 
     <script>
         let currentController = null;