* (bug 1714) Tweaks, reducing the margin to 0.33em and applying it to #wpDiff

  as well.

diff --git a/skins/monobook/main.css b/skins/monobook/main.css
index 8452a83..61ea653 100644 (file)
--- a/skins/monobook/main.css
+++ b/skins/monobook/main.css
@@ -1148,6 +1148,6 @@ ul#filetoc {
 }
 
 /* @bug 1714 */
-#wpSave {
-       margin-right: 1em;
+input#wpSave, input#wpDiff {
+       margin-right: 0.33em;
 }