From 4e9de4d51baf5f3b479c7685ec56b2488573710e Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <paul@aider.chat>
Date: Mon, 14 Apr 2025 14:08:52 -0700
Subject: [PATCH] style: Add margin below leaderboard title for better spacing

---
 aider/website/docs/leaderboards/index.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md
index f446a092e..98d5b69b3 100644
--- a/aider/website/docs/leaderboards/index.md
+++ b/aider/website/docs/leaderboards/index.md
@@ -96,6 +96,9 @@ human intervention.
 </table>
 
 <style>
+  #leaderboard-title {
+    margin-bottom: 20px; /* Add space below the title */
+  }
   tr.selected {
     color: #0056b3;
   }