From 1c54907b30d2ee12795f22f44598eeb03c22e203 Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <paul@aider.chat>
Date: Sun, 13 Apr 2025 08:38:13 -0700
Subject: [PATCH] style: Improve leaderboard controls appearance with CSS
 styling

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

diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md
index 9037f9c31..4763d60d2 100644
--- a/aider/website/docs/leaderboards/index.md
+++ b/aider/website/docs/leaderboards/index.md
@@ -111,6 +111,22 @@ Aider works best with high-scoring models, though it [can connect to almost any
       display: none;
     }
   }
+
+  /* --- Control Styles --- */
+  #controls-container {
+    margin-bottom: 20px; /* Add some space below controls */
+  }
+
+  #editSearchInput, #view-mode-select {
+    padding: 8px 12px; /* Consistent padding */
+    border: 1px solid #ccc; /* Slightly softer border */
+    border-radius: 4px;
+    font-size: 14px; /* Match table font size */
+    height: 38px; /* Match height */
+    box-sizing: border-box; /* Include padding/border in height */
+  }
+
+
   .bar-cell {
     position: relative; /* Positioning context for the bar */
     padding: 8px;