From be2c65823d413a05670b56cd7d6ea8e97b4f4f2c Mon Sep 17 00:00:00 2001 From: Quentin Duchemin Date: Tue, 4 Jul 2023 15:39:49 +0200 Subject: [PATCH] Better footnote navigation --- themes/chosto/static/css/custom.css | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/themes/chosto/static/css/custom.css b/themes/chosto/static/css/custom.css index 0bd71dc..829eee6 100644 --- a/themes/chosto/static/css/custom.css +++ b/themes/chosto/static/css/custom.css @@ -14,6 +14,21 @@ backdrop-filter: blur(3px); } +/* Trick which changes nothing visually but makes the footnote anchors +virtually 40% lower. Otherwise the fixed navbar is just above the +footnote link when going back from the bottom. That way, either +footnotes or anchors are in the middle of the page, making +navigation easier */ +sup[id*=fn] { + padding-top: 40% !important; + margin-top: -40% !important; +} + +li[id*=fn] { + padding-top: 40% !important; + margin-top: -40% !important; +} + /* Useful to force cards to have the same height */ .has-equal-height { height: 100%;