Turn down the fontsize on foot a little

diff --git a/states/foot/files/foot.ini b/states/foot/files/foot.ini
index c3cb8201b2bfd9f7fa20cac739308dcaf41799ca..8c7677ed1848854d5f687b39060f9a6c2c858c30 100644 (file)
--- a/states/foot/files/foot.ini
+++ b/states/foot/files/foot.ini
@@ -8,7 +8,7 @@
 # title=foot
 # locked-title=no
 
-font=monospace:size=12
+font=monospace:size=10
 # font-bold=<bold variant of regular font>
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>