From 74f8859aa29dab9da38d3e2881d50353a63d2bfc Mon Sep 17 00:00:00 2001
From: TLSM <duolsm@outlook.com>
Date: Wed, 25 May 2022 03:26:33 -0400
Subject: [PATCH] Leaderboard: add fixed back-to-top button.

---
 files/templates/leaderboard.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/files/templates/leaderboard.html b/files/templates/leaderboard.html
index 8e4bf02f5..1891d2b3e 100644
--- a/files/templates/leaderboard.html
+++ b/files/templates/leaderboard.html
@@ -498,4 +498,8 @@
 
 
 </pre>
+<a id="leader--top-btn" href="#leaderboard-contents" role="button"
+		style="position: fixed; bottom: 5rem; right: 2rem; font-size: 3rem;">
+	<i class="fas fa-arrow-alt-circle-up"></i>
+</a>
 {% endblock %}
\ No newline at end of file