Krinkle has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/75643


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

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 dashed dark blue line to a solid line in a lighter shade of
grey.

Bug: 27047
Change-Id: Iea3592508b585c5160cf7f2c2d4c31dd5db43b7a
---
M skins/common/commonElements.css
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/43/75643/1

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

-- 
To view, visit https://gerrit.wikimedia.org/r/75643
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iea3592508b585c5160cf7f2c2d4c31dd5db43b7a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to