style: reduce font size for footnotes

kimminss0 · Oct 29, 2024 · 6db148b · 6db148b
1 parent f801d41
commit 6db148b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/css/default.css b/css/default.css
@@ -47,6 +47,10 @@ p {
   margin-block-end: 1.3em;
 }
 
+.footnotes {
+  font-size: 85%;
+}
+
 .footnotes p {
   margin-block-start: 0.5em;
   margin-block-end: 0.5em;