Merge branch 'main' into add_mambaforge

pep-dortmund · Aug 28, 2023 · c73a27e · c73a27e
2 parents 84cb403 + a8f32d4
commit c73a27e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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%);
 }