Update buttons

app.py

@@ -105,19 +105,19 @@ with gr.Blocks(css=custom_css, js=js_func, theme=gr.themes.Default(primary_hue=c
     <div style="text-align: center; margin-bottom: 15px;">
         <p style="margin-bottom: 15px;">Welcome to the TuRTLe Model Leaderboard! Use the filters below to explore different RTL benchmarks and models.</p>
         <a href="https://github.com/HPAI-BSC" target="_blank" style="text-decoration: none; margin-right: 10px;">
-            <button style="background: #333; color: white; padding: 10px 16px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
+            <button style="background: #333; color: white; padding: 10px 14px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
                 GitHub Repo 
             </button>
         </a>
 
         <a href="https://arxiv.org/" target="_blank" style="text-decoration: none; margin-right: 10px;">
-            <button style="background: #b31b1b; color: white; padding: 10px 16px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
+            <button style="background: #b31b1b; color: white; padding: 10px 14px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
                 arXiv Preprint
             </button>
         </a>
 
         <a href="https://github.com/HPAI-BSC" style="text-decoration: none;">
-            <button style="background: #00674F; color: white; padding: 10px 16px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
+            <button style="background: #00674F; color: white; padding: 10px 14px; border-radius: 8px; border: none; font-size: 16px; cursor: pointer;">
                 How to submit
             </button>
         </a>