dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-06-01 02:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

style: Adjust tear line height and position in leaderboard table

Browse source
This commit is contained in:
Paul Gauthier (aider) 2025-04-13 13:54:37 -07:00
parent e38be2f280
commit 11d2b7ca98
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
aider/website/_includes/leaderboard_table.js
View file

@ -231,8 +231,10 @@ document.addEventListener('DOMContentLoaded', function() {
const tearLine = document.createElement('div'); const tearLine = document.createElement('div');
tearLine.style.position = 'absolute'; tearLine.style.position = 'absolute';
tearLine.style.left = '85%'; tearLine.style.left = '85%';
tearLine.style.top = '0'; // Center the tear line vertically and make it 1.5x as tall as the bar
tearLine.style.height = '100%'; 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.width = '2px';
tearLine.style.backgroundColor = 'white'; tearLine.style.backgroundColor = 'white';
tearLine.style.borderLeft = '2px dashed rgba(0, 0, 0, 0.3)'; tearLine.style.borderLeft = '2px dashed rgba(0, 0, 0, 0.3)';