revert previous changes, since they didn't do anything

1 files changed, 0 insertions, 6 deletions

diff --git a/xml/htdocs/css/main.css b/xml/htdocs/css/main.css
index 15cb609c..e0e9bc0a 100644
--- a/xml/htdocs/css/main.css
+++ b/xml/htdocs/css/main.css
@@ -107,11 +107,6 @@ 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
@@ -119,7 +114,6 @@ 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%;