From dd8c18f89aff76b580c8e26a60cea436c91af5d8 Mon Sep 17 00:00:00 2001
From: Andrew McMillan <debian@mcmillan.net.nz>
Date: Fri, 10 Nov 2006 13:43:31 +1300
Subject: [PATCH] Better styling of menus.

---
 docs/website/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/website/style.css b/docs/website/style.css
index df365bf5..365229c4 100644
--- a/docs/website/style.css
+++ b/docs/website/style.css
@@ -40,7 +40,7 @@ hr {
   font-family: helvetica, arial, sans-serif;
   font-size: 8pt;
   font-size: 80%;
-  padding-top: 60px;
+  padding-top: 64px;
   padding-right: 5px;
   }