From 028771fcabeb97df4165f13c7a3e05c1c9815072 Mon Sep 17 00:00:00 2001
From: Jeremy Ashkenas <jashkenas@gmail.com>
Date: Wed, 25 Jan 2012 14:34:57 -0500
Subject: [PATCH] spacing out the headers a bit more

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 43eabeef..4f4e09a3 100644
--- a/index.html
+++ b/index.html
@@ -144,7 +144,7 @@
       }
     b.header {
       font-size: 20px;
-      line-height: 30px;
+      line-height: 35px;
     }
     span.alias {
       font-size: 14px;