smaller font in tables

diff --git a/css/screen.css b/css/screen.css
index b1af60f4bee18daf164c810d0d9c59125067e1d2..54dfd94a39572c881d50d658a30100cb85cfa5fe 100644 (file)
--- a/css/screen.css
+++ b/css/screen.css
@@ -304,8 +304,9 @@ div.download {
       text-align: left; }
 
 table {
-  margin-top: 0.5rem;
-  margin-bottom: 0.5rem; }
+    font-size: 0.9rem;
+    margin-top: 0.5rem;
+    margin-bottom: 0.5rem; }
   table thead {
     border-bottom: 2px solid #ffaa00; }
     table thead tr.header {