From 1aeb2c1bf660bd98077e913604e559fef5e09977 Mon Sep 17 00:00:00 2001
From: Damjan Georgievski <gdamjan@gmail.com>
Date: Sun, 22 Jul 2018 17:27:40 +0200
Subject: [PATCH] smaller font in footer

---
 src/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/style.css b/src/style.css
index ba79082..cc50398 100644
--- a/src/style.css
+++ b/src/style.css
@@ -1,6 +1,6 @@
 body {background-color: #282f34; color: #aeb9a6; font-family:monospace; font-size:10.5pt;}
 a { color: #adad9d; }
-footer a {color: darkgray; text-decoration: none;}
+footer a {color: darkgray; text-decoration:none; font-size:smaller}
 h1 {margin-bottom: 0}
 table td:nth-child(2) {text-align:right}
 table {