From 674e803c906f127f91c843bf4ce3fb6fa6bcb32a Mon Sep 17 00:00:00 2001
From: Joey Schulze <joey@infodrom.org>
Date: Thu, 2 Nov 2006 13:52:50 +0000
Subject: [PATCH] Use a smaller font size

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

diff --git a/src/infodrom.css b/src/infodrom.css
index 3d53d25..4ece082 100644
--- a/src/infodrom.css
+++ b/src/infodrom.css
@@ -33,7 +33,7 @@ a:visited {
 h3.bar {
   padding-left: 5px;
   padding-bottom: 2px;
-  font-size: 16px;
+  font-size: 15px;
   background: #d8e1f6;
 }
 img.border {
-- 
2.20.1