Upgrade gradio; remove some padding

README.md

@@ -4,7 +4,7 @@ emoji: 🔍
 colorFrom: red
 colorTo: red
 sdk: gradio
-sdk_version: 4.22.0
+sdk_version: 6.4.0
 app_file: app.py
 pinned: false
 short_description: Efficient quantized retrieval over Wikipedia

app.py

@@ -117,7 +117,7 @@ def search(
 <div style=\"border: 1px solid var(--border-color-primary, #e0e0e0); border-radius: 10px; padding: 10px 12px; margin-bottom: 10px; background-color: var(--block-background-fill, transparent); color: inherit;\">
     <div style=\"display: flex; align-items: flex-start; justify-content: space-between; gap: 8px; margin-bottom: 4px;\">
         <div style=\"font-size: 16px; font-weight: 600; min-width: 0;\">
-            <a href=\"{url}\" target=\"_blank\" style=\"text-decoration: none; color: var(--link-text-color, #1f6feb);\">{title}</a>
+            <a href=\"{url}\" target=\"_blank\" style=\"text-decoration: none; color: var(--link-text-color, #1f6feb); padding-left: 0;\">{title}</a>
         </div>
         <div style=\"font-size: 12px; color: var(--body-text-color-subdued, #586069); text-align: right; white-space: nowrap;\">
             Score: {score_str} • Rank: {rank_str} • Binary rank: {binary_rank_str}