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 {