From 43a193caf31bdb106283fbe3135f2b5e1d6c08d4 Mon Sep 17 00:00:00 2001
From: "Anatoly A. Kazantsev" <anatoly@gnu.org>
Date: Sun, 23 Nov 2008 18:29:02 +0100
Subject: CSS improvements.

---
 local.css | 49 ++++++++++++++++++++++++++++++++++++++++++-------
 1 file changed, 42 insertions(+), 7 deletions(-)

(limited to 'local.css')

diff --git a/local.css b/local.css
index 519d0555..966ddcd9 100644
--- a/local.css
+++ b/local.css
@@ -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
-- 
cgit v1.2.3