From 21d34c32150ab1a21c67377435172c5fcc7b7d64 Mon Sep 17 00:00:00 2001
From: philip <philip.sargent@gmail.com>
Date: Sat, 17 Feb 2018 20:26:46 +0000
Subject: [PATCH] smaller font

---
 noinfo/make-folklist.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/noinfo/make-folklist.py b/noinfo/make-folklist.py
index 9d4a6df22..8337fc27a 100755
--- a/noinfo/make-folklist.py
+++ b/noinfo/make-folklist.py
@@ -49,7 +49,7 @@ for r in lines[1:]:
 		else:
 			output += '<td></td>'
         # print number of expos, non-caving in red. Only print numbers > 0
-        output += '<td style="text-align: right; width:35px">'
+        output += '<td style="text-align: right; width:35px; font-size:72%">'
 	if(expos_notcaving):
                 if(expos_caving):
                         output += '%d + <span class="didntcave">%d</span>' % (expos_caving, expos_notcaving)