From e9228e0ed853083762e82e76f821565dc2610fed Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sat, 4 May 2024 10:22:53 -0700
Subject: [PATCH] Update leaderboard chart with new label and style.

---
 docs/leaderboard.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/leaderboard.md b/docs/leaderboard.md
index 782675dba..4fb26775e 100644
--- a/docs/leaderboard.md
+++ b/docs/leaderboard.md
@@ -38,7 +38,7 @@ it will work best with models that score well on the code editing benchmark.
   </tbody>
 </table>
 
-<canvas id="leaderboardChart" width="800" height="450"></canvas>
+<canvas id="leaderboardChart" width="800" height="450" style="margin-top: 20px"></canvas>
 <script src="https://cdn.jsdelivr.net/npm/chart.js"></script>
 <script>
   document.addEventListener('DOMContentLoaded', function () {
@@ -46,6 +46,7 @@ it will work best with models that score well on the code editing benchmark.
     var leaderboardData = {
       labels: [],
       datasets: [{
+        label: 'Percent correct',
         data: [],
         backgroundColor: 'rgba(54, 162, 235, 0.2)',
         borderColor: 'rgba(54, 162, 235, 1)',
@@ -66,7 +67,6 @@ it will work best with models that score well on the code editing benchmark.
           yAxes: [{
             scaleLabel: {
               display: true,
-              labelString: 'Percent correct'
             },
             ticks: {
               beginAtZero: true