From e21c3eb90394fa6f5398e73f79c8e534d47cbb32 Mon Sep 17 00:00:00 2001
From: Timo Tijhof <krinklemail@gmail.com>
Date: Wed, 24 Jul 2013 19:02:14 +0200
Subject: [PATCH] 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
---
 skins/common/commonElements.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/skins/common/commonElements.css b/skins/common/commonElements.css
index 9feb973911..76ec4af7d5 100644
--- 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;
 }
-- 
2.20.1