From bbe0d8675289c98d8184cfdddd0dfc324dd6be42 Mon Sep 17 00:00:00 2001
From: Anno Knierim <anno.knierim@tu-dortmund.de>
Date: Sun, 27 Aug 2023 20:22:42 +0200
Subject: [PATCH] Use fontawesome chevron up for backtotop button

---
 css/custom.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/css/custom.css b/css/custom.css
index 9ff8480e..0911d209 100644
--- a/css/custom.css
+++ b/css/custom.css
@@ -242,11 +242,12 @@ pre.highlight {
 }
 
 #backtotop-button a:after {
+  font-family: "Font Awesome 5 Free";
   outline: none;
-  content: "🡑";
+  font-weight: 600; content: "\f077";
   position: relative;
   display: block;
-  top: 55%;
+  top: 50%;
   transform: translate(0,-55%);
 }