Merge pull request #161 from trishullab/george

Fixed leaderboard (typo in html).
trishullab · Jul 17, 2024 · be04cd9 · be04cd9
2 parents 36618ea + ba98b16
commit be04cd9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -153,10 +153,7 @@ <h1 class="title is-1 publication-title">PutnamBench: A Multilingual Competition
               <span class="link-block">
                 <a href="https://trishullab.github.io/PutnamBench/leaderboard.html"
                    class="external-link button is-normal is-rounded is-dark">
-                  <span class="icon">
-                      <i class="fab fa-github"></i>
-                  </span>
-                  <span>Leaderboard</span>
+                  <span>🏆 Leaderboard</span>
                   </a>
               </span>
             </div>

diff --git a/docs/leaderboard.html b/docs/leaderboard.html
@@ -156,7 +156,7 @@ <h3 class="fw-light text-nowrap">
         </div>
       </div>
       <div id="notes">
-        <h3 style="font-size: 10px;">📝 Notes</h3>
+        <h3>📝 Notes</h3>
         <div class="inline-block mt-3">
           <ol>
             <li>
@@ -171,7 +171,7 @@ <h3 style="font-size: 10px;">📝 Notes</h3>
     </div>
 
     <script>
-      const LeanTable = document.getElementById("lean,");
+      const LeanTable = document.getElementById("lean");
       const IsabelleTable = document.getElementById("isabelle");
       const CoqTable = document.getElementById("coq");
       const benchmarkRadio = document.getElementById("Benchmark");