From a1789ddde42033f1b05cc4929491214ee6e79383 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 17 Dec 2015 09:15:42 +0100
Subject: Update to MediaWiki 1.26.0

---
 extensions/WikiEditor/modules/jquery.wikiEditor.less | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'extensions/WikiEditor/modules/jquery.wikiEditor.less')

diff --git a/extensions/WikiEditor/modules/jquery.wikiEditor.less b/extensions/WikiEditor/modules/jquery.wikiEditor.less
index 18adf867..96e133eb 100644
--- a/extensions/WikiEditor/modules/jquery.wikiEditor.less
+++ b/extensions/WikiEditor/modules/jquery.wikiEditor.less
@@ -8,7 +8,7 @@
 	position: relative;
 	clear: both;
 	width: 100%;
-	background-color: #E0EEf7;
+	background-color: #e0eef7;
 
 	textarea {
 		width: 100%;
@@ -39,7 +39,7 @@
 
 	.wikiEditor-ui-right {
 		float: right;
-		background: #F3F3F3;
+		background: #f3f3f3;
 		overflow: hidden;
 	}
 }
@@ -74,7 +74,7 @@
 			display: inline-block;
 			padding: 0 0.75em;
 			line-height: 2.5em;
-			color: #0645AD;
+			color: #0645ad;
 		}
 
 		&.current {
@@ -82,7 +82,7 @@
 			background-color: white;
 
 			a {
-				color: #333333;
+				color: #333;
 
 				&:hover {
 					text-decoration: none;
-- 
cgit v1.2.2