From f8721a4388cced86e2aa3af7e3a845045ebcade4 Mon Sep 17 00:00:00 2001
From: Guido Cossu <guido.cossu@ed.ac.uk>
Date: Thu, 15 Mar 2018 17:48:45 +0000
Subject: [PATCH] Font size on the web

---
 _sass/_page.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_sass/_page.scss b/_sass/_page.scss
index 1c822397..b8847b68 100644
--- a/_sass/_page.scss
+++ b/_sass/_page.scss
@@ -56,7 +56,7 @@
   }
 
   p, li, dl {
-    font-size: 1em;
+    font-size: 0.8em;
   }
 
   /* paragraph indents */