CSS tweak

darcs-hash:20071228020558-62b54-9cbfa244d5493257ab1c8cf26077950684a5cca4.gz

diff --git a/defaultPages/StyleSheet/Default.xml b/defaultPages/StyleSheet/Default.xml
index 757e5f930c8a03dc91d050f9c3eb68d1a9eee8df..3355d28f3c46f05dd9e7c9ba2f1d8e6d6ba3d222 100644 (file)
--- a/defaultPages/StyleSheet/Default.xml
+++ b/defaultPages/StyleSheet/Default.xml
@@ -58,6 +58,10 @@
 }
 
 /* spacing ********************************************************************/
+input[type="button"] {
+    padding: 0px;
+}
+
 .title {
     padding: 5px 20px;
 }
@@ -221,6 +225,10 @@ td {
     background-color: #fafafa;
 }
 
+p {
+    text-indent: 1em;
+}
+
 .title {
     background-color: #fafafa;
 
@@ -265,15 +273,18 @@ a:hover {
 }
 
 input[type="button"] {
-    background-color: #eeeeee;
+    background-color: #f5f5f5;
+    color: #000055;
 
-    border-color: #fafafa #dddddd #dddddd #fafafa;
+    border-color: #dddddd;
     border-width: 2px;
     border-style: solid;
+
+    border-radius: 10px;
+    -moz-border-radius: 10px;
 }
 input[type="button"]:active {
-    background-color: white;
-    border-color: #dddddd #fafafa #fafafa #dddddd;
+    background-color: #999999;
 }
 
 .header, .footer, .sideBar {
@@ -300,6 +311,10 @@ input[type="button"]:active {
     color: #666666;
 }
 
+.sideBar p {
+    text-indent: 0;
+}
+
 .sideBar .recentUpdates p,
 .sideBar .trackbacks p {
     font-size: 90%;
@@ -325,6 +340,9 @@ input[type="button"]:active {
 .sideBar li {
     padding: 3px 5px;
     background-color: #f5f5f5;
+
+    border-radius: 10px;
+    -moz-border-radius: 10px;
 }
 
 .sideBar .recentUpdates li, .sideBar .trackbacks li {
@@ -453,15 +471,19 @@ img {
 }
 
 .redirection input[type="button"] {
-    background-color: inherit;
+    color: inherit;
+    background-color: #fcfcfc;
 
-    color: #008800;
-    
-    border-width: 0;
+    border-width: 1px;
+
+    border-radius: 5px;
+    -moz-border-radius: 5px;
+
+    margin-left: 0.8em;
 }
 
-.redirection input[type="button"]:hover {
-    color: #880000;
+.redirection input[type="button"]:active {
+    background-color: #eeeeee;
 }
 </textData>
 </page>

diff --git a/js/redirection.js b/js/redirection.js
index c8653204d8b354218971b8994c29335f4efe6bf7..1a0c99b0bf4aceac2dabd0e286bceb81166d4c0a 100644 (file)
--- a/js/redirection.js
+++ b/js/redirection.js
@@ -15,15 +15,14 @@ $(document).ready(function () {
         var editButton
             = $.INPUT({className: "editButton",
                        type:      "button",
-                       value:     from,
-                       title:     "Edit the page"});
+                       value:     "Edit the page"});
         $(editButton).click(function () {
             Rakka.editPage(from);
         });
 
         var box
             = $.P({className: "redirection"},
-                  "This page is redirected from", editButton);
+                  "This page has been redirected from “" + from + "”.", editButton);
 
         $("div.title").after(box);
     }