From 1c948418ac9e61a76f06e042618ae0c3fa1a791d Mon Sep 17 00:00:00 2001 From: Jost Migenda Date: Mon, 7 Apr 2025 16:14:54 +0100 Subject: [PATCH] add scroll-margin-top for navbar to footnote links --- static/assets/stylesheet.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/static/assets/stylesheet.css b/static/assets/stylesheet.css index 704188de2..d00957c7a 100644 --- a/static/assets/stylesheet.css +++ b/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;