From 5d4a889d31bb09e8732c90af9f9675ce48c7b60e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 24 Jul 2025 16:54:25 +0200
Subject: [PATCH] shrink footnotes

---
 personal/_sass/_base.scss | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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;
-- 
2.39.5