From 56f5a8c642f1e0f65935a0acbdd432b0ba511430 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Thu, 5 Jun 2008 20:01:21 +0200
Subject: [PATCH] Have a more reasonable inter-paragraph marging.

---
 pub/style/style.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 2181b4c..08f0d81 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -11,7 +11,8 @@ body {
 }
 
 html > body {
-  font-size: 9pt;
+  /* font-size: 9pt; */
+  font-size: 0.7em;
 }
 
 acronym, .titleTip {
@@ -224,7 +225,7 @@ li ul {
 
 
 #main-copy p {
-  margin: 1em 1ex 2em 1ex;
+  margin: 1em 1ex 1em 1ex;
   padding: 0;
 }