fix dropdown

leanprover-community · Nov 21, 2023 · 8f6eea7 · 8f6eea7
1 parent 4a6c567
commit 8f6eea7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/src/Tools.tsx b/client/src/Tools.tsx
@@ -8,7 +8,7 @@ const Tools: React.FC = () => {
   const handleClose = () => setOpen(false);
 
   return (
-    <span>
+    <>
       <span className="nav-link" onClick={handleOpen}>
         <FontAwesomeIcon icon={faHammer} /> Tools: Version
       </span>
@@ -28,7 +28,7 @@ const Tools: React.FC = () => {
             <p><code>#package_version</code></p>
           </div>
         </div> : null}
-    </span>
+    </>
   )
 }