skins: Make border style of <pre> more subtle for common skins

This changes the border style for skins using skins/common
(Vector and Monobook by default) to be less promiment.

From a dashed dark blue line to a solid line in a lighter shade
of grey.

Bug: 27047
Change-Id: Iea3592508b585c5160cf7f2c2d4c31dd5db43b7a

diff --git a/skins/common/commonElements.css b/skins/common/commonElements.css
index 9feb973..76ec4af 100644 (file)
--- a/skins/common/commonElements.css
+++ b/skins/common/commonElements.css
@@ -178,7 +178,7 @@ code {
 }
 pre, .mw-code {
        padding: 1em;
-       border: 1px dashed #2f6fab;
+       border: 1px solid #ddd;
        color: black;
        background-color: #f9f9f9;
 }