From 01cf0c43a0a2eaa392ef34b5b91a2b798c384267 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Fri, 3 May 2024 17:21:04 -0700
Subject: [PATCH] layout

---
 docs/leaderboard.md | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/docs/leaderboard.md b/docs/leaderboard.md
index ad7710336..1efebad24 100644
--- a/docs/leaderboard.md
+++ b/docs/leaderboard.md
@@ -19,19 +19,19 @@ it will work best with models that score well on the code editing benchmark.
 <table style="width: 90%; max-width: 800px; margin: auto; border-collapse: collapse; box-shadow: 0 2px 4px rgba(0,0,0,0.1);">
   <thead style="background-color: #f2f2f2;">
     <tr>
-      <th style="padding: 8px; text-align: left;">Model</th>
-      <th style="padding: 8px; text-align: left;">Percent correct</th>
-      <th style="padding: 8px; text-align: left;">Command</th>
-      <th style="padding: 8px; text-align: left;">Edit format</th>
+      <th style="padding: 4px; text-align: left;">Model</th>
+      <th style="padding: 4px; text-align: left;">Percent correct</th>
+      <th style="padding: 4px; text-align: left;">Command</th>
+      <th style="padding: 4px; text-align: left;">Edit format</th>
     </tr>
   </thead>
   <tbody>
     {% for row in site.data.leaderboard %}
       <tr style="border-bottom: 1px solid #ddd;">
-        <td style="padding: 8px;">{{ row.model }}</td>
-        <td style="padding: 8px;">{{ row.second }}%</td>
-        <td style="padding: 8px;"><pre style="overflow-x: auto; white-space: pre-wrap;">{{ row.command }}</pre></td>
-        <td style="padding: 8px;">{{ row.format }}</td>
+        <td style="padding: 4px;">{{ row.model }}</td>
+        <td style="padding: 4px;">{{ row.second }}%</td>
+        <td style="padding: 4px;"><pre style="overflow-x: auto; white-space: pre-wrap;">{{ row.command }}</pre></td>
+        <td style="padding: 4px;">{{ row.format }}</td>
       </tr>
     {% endfor %}
   </tbody>