From a298cfb5f776ba8d07f9d8f2b5fdfc040fd81dde Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Fri, 22 Jun 2007 18:27:06 +0000
Subject: [PATCH] Spiff up the JS message a little bit

---
 includes/DefaultSettings.php | 2 +-
 skins/common/shared.css      | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0c2513e342..ea83f64694 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1183,7 +1183,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '76';
+$wgStyleVersion = '77';
 
 
 # Server-side caching:
diff --git a/skins/common/shared.css b/skins/common/shared.css
index 8c10c541dd..8edea60ac2 100644
--- a/skins/common/shared.css
+++ b/skins/common/shared.css
@@ -7,4 +7,9 @@
 .texvc { direction: ltr; unicode-bidi: embed; }
 /* Stop floats from intruding into edit area in previews */
 #toolbar, #wpTextbox1 { clear: both; }
-div#mw-js-message { margin: 2em 5%; }
+div#mw-js-message {
+	margin: 1em 5%;
+	padding: 0.5em 2.5%;
+	border: solid 1px #ddd;
+	background-color: #fcfcfc;
+}
-- 
2.20.1