User smaller line-height

[infodrom.org/infocon.infodrom.org] / src / infocon.css

diff --git a/src/infocon.css b/src/infocon.css
index aec12a6..b3380a2 100644 (file)
--- a/src/infocon.css
+++ b/src/infocon.css
@@ -32,6 +32,8 @@ h3#pagetitle {
   border: 1px solid black;
   background: white;
   padding: 0 0.5em;
+  padding-bottom: 2px;
+  padding-top: 1px;
   display: inline;
 }
 
@@ -46,7 +48,7 @@ div#content {
   padding-right: 30px;
   margin-top: -1em;
   font-size: 13px;
-  line-height: 20px;
+  line-height: 110%;
 }
 
 div.date {