From 984688b1108bac17d69f6ef2477b95239d7cd4a8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Tue, 21 Jun 2005 15:41:45 +0000
Subject: [PATCH] * (bug 1714) Tweaks, reducing the margin to 0.33em and
 applying it to #wpDiff   as well.

---
 skins/monobook/main.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/skins/monobook/main.css b/skins/monobook/main.css
index 8452a83e62..61ea653eec 100644
--- 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;
 }
-- 
2.20.1