Revert "revert previous changes, since they didn't do anything"

This reverts commit 2096052846ff14b1dc3fe3a8503b7f185b9dd335.

1 files changed, 6 insertions, 0 deletions

diff --git a/xml/htdocs/css/main.css b/xml/htdocs/css/main.css
index e0e9bc0a..15cb609c 100644
--- a/xml/htdocs/css/main.css
+++ b/xml/htdocs/css/main.css
@@ -107,6 +107,11 @@ a img {border:none; text-decoration:none; vertical-align:text-bottom;}
 .header-menu {
 	font-weight: bold;
 	font-family: sans-serif, Verdana, Arial, Helvetica;
+	/* increase size a bit, remember that it's relative to the size
+	 * specified by the container around it, so 0.8em is 80% of the
+	 * already specified 0.8em of the surrounding container. thus we
+	 * want to increase it a bit so that it looks more like g.org */
+	font-size: 1.0em;
   color: white;
   /* Because blocks are rendered vertically along the left-boundary of the
    * containing block we need this block to render in inline mode such that
@@ -114,6 +119,7 @@ a img {border:none; text-decoration:none; vertical-align:text-bottom;}
   display: inline-block;
   /* Offset our text from the Gentoo Logo */
   margin-left: 1.0em;
+  padding-left: 1.0em;
   /* We set line-height to reproduce old looks in the header bar.
    * We set vertical-align for the same reason. */
   line-height: 120%;