Spiff up the JS message a little bit

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0c2513e..ea83f64 100644 (file)
--- 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 8c10c54..8edea60 100644 (file)
--- 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;
+}