From: Ralf Jung <post@ralfj.de>
Date: Thu, 24 Jul 2025 14:54:25 +0000 (+0200)
Subject: shrink footnotes
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/5d4a889d31bb09e8732c90af9f9675ce48c7b60e?hp=0da44baaf9421a8d549f1144755cc48e7be6cc0a

shrink footnotes
---

diff --git a/personal/_sass/_base.scss b/personal/_sass/_base.scss
index 765e459..7e0d5bf 100644
--- a/personal/_sass/_base.scss
+++ b/personal/_sass/_base.scss
@@ -1,6 +1,6 @@
 
 /* General Fonts */
-html, body, div, p {
+html, body {
     font-family: DejaVu Sans, Verdana, Arial, sans-serif;
     font-size: 12pt;
     color: $text-color;
@@ -81,6 +81,9 @@ li > p {
 .comment {
     margin-top: 1.5em;
 }
+.footnotes {
+    font-size: 90%;
+}
 
 table td, table th {
     border: 1px solid $light-text-color;