diff options
| -rw-r--r-- | xml/htdocs/css/main.css | 6 |
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%; |