Better footnote navigation

master
Quentin Duchemin 2023-07-04 15:39:49 +02:00
parent a1e72e7fd3
commit be2c65823d
Signed by: Chosto
GPG Key ID: 96AB8AE7DFEA3D74
1 changed files with 15 additions and 0 deletions

View File

@ -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%;