From 11d2b7ca9821014d8290703a5665238f4557bd5b Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <paul@aider.chat>
Date: Sun, 13 Apr 2025 13:54:37 -0700
Subject: [PATCH] style: Adjust tear line height and position in leaderboard
 table

---
 aider/website/_includes/leaderboard_table.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/aider/website/_includes/leaderboard_table.js b/aider/website/_includes/leaderboard_table.js
index 99cc655e8..7d5c76609 100644
--- a/aider/website/_includes/leaderboard_table.js
+++ b/aider/website/_includes/leaderboard_table.js
@@ -231,8 +231,10 @@ document.addEventListener('DOMContentLoaded', function() {
         const tearLine = document.createElement('div');
         tearLine.style.position = 'absolute';
         tearLine.style.left = '85%';
-        tearLine.style.top = '0';
-        tearLine.style.height = '100%';
+        // Center the tear line vertically and make it 1.5x as tall as the bar
+        tearLine.style.top = '50%';
+        tearLine.style.transform = 'translateY(-50%)';
+        tearLine.style.height = '54px'; // 1.5x the bar height (36px)
         tearLine.style.width = '2px';
         tearLine.style.backgroundColor = 'white';
         tearLine.style.borderLeft = '2px dashed rgba(0, 0, 0, 0.3)';