From 2096052846ff14b1dc3fe3a8503b7f185b9dd335 Mon Sep 17 00:00:00 2001 From: nightmorph Date: Tue, 22 Mar 2011 15:20:55 -0700 Subject: revert previous changes, since they didn't do anything --- xml/htdocs/css/main.css | 6 ------ 1 file changed, 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%; -- cgit v1.2.3-65-gdbad