From f164b0e3eb974b9c2410997c71420fe507d01ed0 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Sun, 13 Apr 2025 08:12:10 -0700 Subject: [PATCH] style: Adjust font size of numbers in leaderboard bars --- aider/website/docs/leaderboards/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/aider/website/docs/leaderboards/index.md b/aider/website/docs/leaderboards/index.md index d6d6991c5..cdcb5fd17 100644 --- a/aider/website/docs/leaderboards/index.md +++ b/aider/website/docs/leaderboards/index.md @@ -138,7 +138,7 @@ Aider works best with high-scoring models, though it [can connect to almost any background-color: rgba(255, 255, 255, 0.7); /* Semi-transparent white background */ padding: 0 4px; /* Add padding around the text */ border-radius: 3px; /* Rounded corners for the text background */ - font-size: 16px; /* Increase font size for the numbers */ + font-size: 14px; /* Adjust font size for the numbers */ } .toggle-details { color: #888; /* Make toggle symbol more subtle */