Shrink the footer fine print to 80% of regular font size

diff --git a/src/local.css b/src/local.css
index 4e0f15ef1654aec325e40e1444bca1620f4494e8..6369c551e4b2d9c2a6c1cbfc92ced1b5e9375be0 100644 (file)
--- a/src/local.css
+++ b/src/local.css
@@ -10,6 +10,10 @@ h1, .header, #footer {
   margin-left: -8%;
 }
 
+#footer {
+  font-size: 80%;
+}
+
 h2,h3,h4,h5,h6 {
   margin-left: -4%;
 }