Provide a smaller font

diff --git a/src/infodrom.css b/src/infodrom.css
index 5e3c364..4b48fd2 100644 (file)
--- a/src/infodrom.css
+++ b/src/infodrom.css
@@ -27,6 +27,9 @@ a:visited {
 .font {
   font-size: 13px;
 }
 .font {
   font-size: 13px;
 }

+.smallfont {
+  font-size: 11px;
+}

 .height {
   line-height: 15px;
 }
 .height {
   line-height: 15px;
 }