make #footer smaller

1 files changed, 2 insertions, 0 deletions

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 }