add scroll-margin-top for navbar to footnote links (#1088)

Author: JostMigenda

static/assets/stylesheet.css

@@ -331,6 +331,10 @@ tt {
   font-size: 13pt !important;
 }
 
+/* Leave space for navbar above footnote links */
+.footnote-number {
+  scroll-margin-top: 4rem;
+}
 
 .nav .btn {
   /*display: none;*/
@@ -350,12 +354,11 @@ tt {
   left: 40vw;
 }
 
-
 :not(ref) > .superscript {
   font-variant-position: super;
+  scroll-margin-top: 4rem;
 }
 
-
 ul {
   list-style: none;
   padding-left: 0;