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

feat: Add dashed tear line to leaderboard bar transition

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

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

@ -226,6 +226,18 @@ document.addEventListener('DOMContentLoaded', function() {
// Add diagonal stripes with CSS background // Add diagonal stripes with CSS background
darkSection.style.backgroundImage = 'repeating-linear-gradient(45deg, rgba(255,255,255,0.3), rgba(255,255,255,0.3) 5px, transparent 5px, transparent 10px)'; darkSection.style.backgroundImage = 'repeating-linear-gradient(45deg, rgba(255,255,255,0.3), rgba(255,255,255,0.3) 5px, transparent 5px, transparent 10px)';
bar.parentNode.appendChild(darkSection); bar.parentNode.appendChild(darkSection);
// Add a dashed "tear line" at the transition point
const tearLine = document.createElement('div');
tearLine.style.position = 'absolute';
tearLine.style.left = '85%';
tearLine.style.top = '0';
tearLine.style.height = '100%';
tearLine.style.width = '2px';
tearLine.style.backgroundColor = 'white';
tearLine.style.borderLeft = '2px dashed rgba(0, 0, 0, 0.3)';
tearLine.style.zIndex = '2'; // Above the bar
bar.parentNode.appendChild(tearLine);
} }
} else { } else {
// Set width to 0 if cost is 0 or negative // Set width to 0 if cost is 0 or negative