shrink footnotes

diff --git a/personal/_sass/_base.scss b/personal/_sass/_base.scss
index 765e45962da6c481ac382552bfe46db6a2b5a382..7e0d5bfbc8e53329ac837d6f76b94762b058ad46 100644 (file)
--- a/personal/_sass/_base.scss
+++ b/personal/_sass/_base.scss
@@ -1,6 +1,6 @@
 
 /* General Fonts */
 
 /* General Fonts */

-html, body, div, p {
+html, body {

     font-family: DejaVu Sans, Verdana, Arial, sans-serif;
     font-size: 12pt;
     color: $text-color;
     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;
 }
 .comment {
     margin-top: 1.5em;
 }

+.footnotes {
+    font-size: 90%;
+}

 
 table td, table th {
     border: 1px solid $light-text-color;
 
 table td, table th {
     border: 1px solid $light-text-color;