diff --git a/index.html b/index.html
index ac882a9..6621903 100644
--- a/index.html
+++ b/index.html
@@ -405,7 +405,8 @@ <h2 class="title is-3"><span class="dvima">Discovering New Proofs</span></h2>
                     <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h2>
                     
                     <p>We build a <a target="_blank" href="https://github.com/lean-dojo/LeanDojoChatGPT">LeanDojo ChatGPT plugin</a> that enables ChatGPT to prove theorems by interacting with Lean. </p>
-                    
+                    <br />
+
                     <div class="columns">
                         <div class="column has-text-left video-column">
                             <video controls muted autoplay loop width="100%">