From 3ff30bf75538e5e113d1060ce4502f89737d9f26 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 26 Jul 2020 22:56:23 -0400
Subject: make #footer smaller

---
 local.css | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'local.css')

diff --git a/local.css b/local.css
index 31524b81..dc6c5548 100644
--- a/local.css
+++ b/local.css
@@ -6,6 +6,8 @@
 
 video { max-width: 100% }
 
+#footer { font-size: 0.9em }
+
 .pagecopyright, .pagelicense { font-style: normal }
 .pagecopyright + .pagelicense { margin-top: 0.5em }
 .pagecopyright p { margin-bottom: 0; line-height: 1.2 }
-- 
cgit v1.2.3