From 400a72a3eb0e23adbb4fc8435482be6990fbc9ef Mon Sep 17 00:00:00 2001
From: Hannes Magnusson <bjori@php.net>
Date: Sun, 31 Aug 2008 11:58:59 +0000
Subject: [PATCH] Remove the header bottom margin

---
 styles/style_uncompressed.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/styles/style_uncompressed.css b/styles/style_uncompressed.css
index 7d74f2796..10e46cd6d 100644
--- a/styles/style_uncompressed.css
+++ b/styles/style_uncompressed.css
@@ -1077,6 +1077,9 @@
 #root {
   margin: 0;
 }
+#header {
+  margin-bottom: 0;
+}
 /***** }}} *****/
 /***** {{{ Additional styling, mostly for the manual *****/
 #main-column .tip {