From ca7f108cebeb033798a9d360dceb05bad0ff1e9f Mon Sep 17 00:00:00 2001 From: Alec Warner Date: Wed, 23 Mar 2011 00:14:58 +0000 Subject: Revert "revert previous changes, since they didn't do anything" This reverts commit 2096052846ff14b1dc3fe3a8503b7f185b9dd335. --- xml/htdocs/css/main.css | 6 ++++++ 1 file changed, 6 insertions(+) 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%; -- cgit v1.2.3-65-gdbad