diff options
Diffstat (limited to 'xml/htdocs/css/main.css')
-rw-r--r-- | xml/htdocs/css/main.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/xml/htdocs/css/main.css b/xml/htdocs/css/main.css index aa44b0f9..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,8 +119,9 @@ 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 virtical-align for the same reason. */ + * We set vertical-align for the same reason. */ line-height: 120%; vertical-align: 60%; } |