mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-30 01:04:59 +00:00
style: Add margin below leaderboard title for better spacing
This commit is contained in:
parent
a4e9539040
commit
4e9de4d51b
1 changed files with 3 additions and 0 deletions
|
@ -96,6 +96,9 @@ human intervention.
|
|||
</table>
|
||||
|
||||
<style>
|
||||
#leaderboard-title {
|
||||
margin-bottom: 20px; /* Add space below the title */
|
||||
}
|
||||
tr.selected {
|
||||
color: #0056b3;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue