diff options
-rw-r--r-- | local.css | 49 |
1 files changed, 42 insertions, 7 deletions
@@ -30,8 +30,7 @@ body { font-family: "Bitstream Vera Sans", sans-serif; - margin: 2px; - padding: 1em; + padding: 0.5em; } p @@ -44,10 +43,7 @@ hr height: 1px; border-style: none; background-color: black; - /* No idea, if this is ``just'' a Firefox bug (looks fine without the - * following statement in konqueror), but it for sure inhibits the `hr's from - * being shifted to the right. */ - margin-left: 0px; + margin-left: 0; } pre @@ -57,6 +53,16 @@ pre padding: 0.5em; } +a +{ + text-decoration: none; +} + +a:hover +{ + border-bottom: 1px dotted blue; +} + /* Put these elements side by side. */ .pagedate, .pagecopyright, @@ -86,9 +92,38 @@ pre background-color: #f0f0f0; } -.actions +.pageheader .actions +{ + background-color: #e7e7e7; + padding: 0em 0.5em 0.3em 0.5em; + border-top: 1px solid #999999; +} + +.pageheader .actions ul +{ + border: none; + padding-top: 0.7em; +} + +.pageheader .actions li +{ + padding: 0.7em 0.7em 0.4em 0.7em; + border: 1px solid #e7e7e7; + border-top: 1px solid #999999; +} + +.pageheader .actions li:hover { background-color: #f0f0f0; + border: 1px solid #999999; + border-top: 1px solid #f0f0f0; + -moz-border-radius-bottomleft: 0.8em; + -moz-border-radius-bottomright: 0.8em; +} + +#content +{ + padding: 0.5em; } #sidebar |